作　　者： ; ;

机构地区： 中山大学信息科学与技术学院计算机科学系

出　　处： 《中山大学学报（自然科学版）》 1999年第2期1-5,共5页

摘　　要： 以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识、控制性知识与事例知识分别统一到对象类层次结构上，因此结构清晰。 Based on a computational logic,an object retrieval model is presented, and is used to solve the problem of “proving by the same methods”. This model adopts inferences by using the case based reasoning method,and unifies the field knowledge, control knowledge, and case knowledge to the object class level respectively, so it is clear in structure,and easy to reuse.

关 键 词： 定理 机器证明 计算逻辑 基于事例推理 检索模型

领　　域： [自动化与计算机技术] [自动化与计算机技术] [理学] [理学]