浏览全部资源
扫码关注微信
中山大学计算机科学系
纸质出版日期:1999,
网络出版日期:1999-3-25,
扫 描 看 全 文
印鉴, 李师贤. 一种基于事例推理的检索模型[J]. 中山大学学报(自然科学版)(中英文), 1999,38(2):2-6.
印鉴, 李师贤. 一种基于事例推理的检索模型[J]. 中山大学学报(自然科学版)(中英文), 1999,38(2):2-6. DOI:
DOI:
以计算逻辑为理论基础设计了1种对象检索模型以解决定理机器证明中的“同理可证”问题,该模型采用基于事例的推理方法来进行推理,并将领域知识、控制性知识与事例知识分别统一到对象 类层次结构上,因此结构清晰,可重用性高
定理机器证明计算逻辑同理可证基于事例的推理
0
浏览量
22
下载量
CSCD
关联资源
相关文章
相关作者
相关机构