【摘 要】
：
本文以计算逻辑为理论基础 ,设计了一种对象检索模型以解决定理机器证明中的“同理可证”问题 ,该模型采用基于事例的推理方法来进行推理 .
Based on the computational log
【机 构】
：
中山大学计算机科学系!广州510275
论文部分内容阅读
本文以计算逻辑为理论基础 ,设计了一种对象检索模型以解决定理机器证明中的“同理可证”问题 ,该模型采用基于事例的推理方法来进行推理 .
Based on the computational logic theory, this paper designs an object retrieval model to solve the problem of “empathy” in proof of theorem machine. This model uses case-based reasoning to reason.
其他文献
小区建设水平的好坏直接影响着居民居住环境的优劣,而小区规划又是小区建设的先行,是影响小区建设水平的重要环节,因此.住宅小区居住环境的优劣,首先取决于规划方案的好坏.探
在硫酸与苯二甲酸介质 ( p H2 .0 )中 ,钛与二溴羟基苯基荧光酮及十六烷基三甲基溴化铵生成 1∶ 2∶ 3( W∶ W∶ W)的灰绿色配合物 ,其最大吸收波长在 62 0 nm处。摩尔吸光系
本文提出一种在图形显示设备上生成参数曲线的通用算法,使生成的曲线精确到象素级(即以象素逼近曲线上的点).本算法采用在曲线生成过程中动态调整步长的方法,调整步长的方法
通过对卧室、起居室、餐厅和厨房以及卫生间的设计进行分析,指出了室内设计应协调和简洁的观点.
按照全面建成小康社会和习近平总书记在延边调研时提出努力建设美丽乡村和农民幸福家园重要指示精神,立足我州民俗文化资源和乡村旅游资源,以民俗文化为灵魂,以乡村旅游为载
为了了解次黄嘌呤核苷酸脱氢酶(IMPDH)对猪链球菌2型GN061215致病力的影响机制,利用同源重组技术,敲除猪链球菌2型GN061215的impdh基因,重组后的GN061215命名为GN061215(△IM
如何对同一目标的多传感器获得的不同波段的图像数据进行有效融合 ,提高对检测目标检测的识别率 ,抑制每个传感器的检测噪声 ,降低检测信息不确定性 ,这是数据融合研究的重要
电液比例位置系统是一种典型的非线性时变系统,其参数具有非线性特性,常用的线性化模型基础上的经典控制器,难以取得满意的控制效果.笔者将模糊控制器应用于电液比例位置系统
在语音识别实验中,应用智能神经网络系统组成原理,研究了以简单、功能单一的网络为基础,构筑复杂、功能完善的智能神经网络系统的方法.同时,通过加入规则,提高了网络的识别能