一种基于事例推理的检索模型

摘要

以计算逻辑为理论基础设计了１种对象检索模型以解决定理机器证明中的“同理可证”问题，该模型采用基于事例的推理方法来进行推理，并将领域知识，控制知识与事例知识分别统一到对象－类层次结构上，因此结构清晰，可重用性高。