论文部分内容阅读
以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识，控制知识与事例知识分别统一到对象－类层次结构上，因此结构清晰，可重用性高。
一种基于事例推理的检索模型
【摘 要】
：
以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识，控制知识与事例知识分别统一到对象
【机 构】
：
中山大学计算机科学系
【出 处】
：
中山大学学报：自然科学版
【发表日期】
：
1999年2期
【基金项目】
：
国家自然科学基金
其他文献
随着网络技术的快速发展和普及,校园网已成为向学校师生提供教学、科研和综合信息服务的不可或缺的工具,借助于校园网,可以进行教学的互动与评价,为提高教学质量提供了一个公
通过分析当前我国经济发展过程中,耕地保护与耕地占补平衡方面存在的压力过大、耕地保护政策落实比较困难等问题,指出目前我国应在耕地内涵挖潜方面多做文章,并提出了严格规
本文通过对校园文化、图书馆文化和阅读推广概念的阐述，分析了在高职院校文化建设中开展阅读推广的必要性，以及他们之间相辅相成、不可或缺的关系，并提出了图书馆开展阅读推广的
设Ｆ是一个有界或无界的函数指标集。对几乎所有的样本序列，函数指标集上贝叶斯自助经验过程（ＢＢＥＰ）条件地依分布收敛到一个Ｐ－桥过程，即：在同一指标集上，ＢＢＥＰ和经验过程几乎肯定地有相同的极限分
综述非线性滞弹性内耗的主要实验规律和物理模型,结合中国科学院固体物理研究所内耗与固体缺陷开放研究实验室对Al-Mg合金中出现在室温附近的非线性滞弹性内耗峰的理论和实验
引入二层海的层化海模型及二阶水波的多色波作用机制，对层化海条件下的二阶多色波的绕射作用问题进行了分析.推导了二层海二阶绕射波的远场解式.指出了二层海条件下二阶绕射波
随着资产管理行业提出打破刚性兑付的监管要求,银行理财业务开始全面向非保本理财产品转变。银行在积极扩张该方面业务的同时,面临的风险也越来越大,研究风险类型并做好防范
银监会于2016年7月15日在其官网发布的《中国银行业信息科技"十三五"发展规划监管指导意见(征求意见稿)》里提出了构建"银行业互联网金融生态"的概念,同时提出了"大数据"、"
互联网信息技术已经应用到了各个行业的发展中,为各项工作的开展提供了便利,同时提高了工作质量和水平。高校会计工作在开展的过程中,也应用了互联网信息技术,促进了管理会计