基于Tableau的定理机器证明系统TableauTAP

• 作者: 刘全 孙吉贵
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Tableau 定理机器证明 TableauTAP系统
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 博士论文
• 页码范围: 38-39,45
• 页数: 3页
• 分类号: TP18
• 字数: 3085字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.07.013

摘要

使用SWI-PROLOG语言在微机上设计实现了基于tableau的定理证明系统TableauTAP.该系统可以证明不含等词的经典逻辑公式和多值逻辑公式,通过预处理自动生成tableau规则,因此容易对其功能进行扩展.应用该系统对TPTP的400个逻辑问题进行证明,实验结果表明,TableauTAP在时间和空间效率上都是比较高的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘全	苏州大学计算机科学与技术学院	99	1053	16.0	29.0
3	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0