摘要
以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识、控制性知识与事例知识分别统一到对象类层次结构上，因此结构清晰。
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.
出处
《中山大学学报（自然科学版）》
CAS
CSCD
北大核心
1999年第2期1-5,共5页
Acta Scientiarum Naturalium Universitatis Sunyatseni
基金
国家自然科学基金
关键词
定理
机器证明
计算逻辑
基于事例推理
检索模型
mechanical theorem proving
computational logic
proving by the same methods
case based reasoning
