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

• 作者: 于仁师 郭树蓉 陈龙猛
• 来源期刊: 莱阳农学院学报
• 学科: 工学
• 关键词: 定理机器证明 专家系统 反向推理 图搜索 知识表示 命题公式
• 年，卷（期）: 1999,（3）
• 页码范围: 214-217
• 页数: 4页
• 分类号: TP387
• 字数: 2764字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-148X.1999.03.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭树蓉		1	1	1.0	1.0