一个命题逻辑机器证明专家系统的研究与开发

介绍了一个命题逻辑定理自动证明专家系统的设计与实现。对系统的整体结构，其中基于问题分解和图搜索策略的反向推理机、知识的表示与管理等关键部分所用算法与技术进行了重点论述。该专家系统已在ＭＬＣＡＩ中得到应用。