摘要
介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机、知识的表示与管理等关键部分所用算法与技术进行了重点论述。该专家系统已在ＭＬＣＡＩ中得到应用。
This paper gives design and implementation of an expert system mechanically proving statement logic Theorem. In this paper, the entire structure is presented , and the emphasis is attached to the algorithm and data structure used by backward reasoning on the basis of problem resolving and graph searching strategies, knowledge representation and management .The ES introduced in this paper has been already applied in MLICAI.
出处
《莱阳农学院学报》
1999年第3期214-217,共4页
Journal of Laiyang Agricultural College
关键词
定理机器证明
专家系统
反向推理
图搜索
mechanical theorem proving
expert system
backward reasoning
graph searching strategy
knowledge representation
statement formula
