改进γ公式的表推演推理方法研究

• 作者: 于万钧 刘全 孙吉贵
• 来源期刊: 计算机应用研究
• 关键词: γ公式 表推演 实现
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 研究探讨
• 页码范围: 41-43,46
• 页数: 4页
• 分类号: TP181
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2005.01.013

摘要

表推演方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,因此成为目前最普及的自动推理方法之一.在表推演实现时,对γ规则应用次数的限制至关重要,限制次数直接影响表推演的推理效率.给出识别γ公式方法,提出了含γ公式的表推演推理的改进策略,并进行了理论证明和系统实现,该系统与leanTAP软件包进行了对比实验.通过对Pelletier问题的20个实例分析,可以看出γ公式不再需要实例化,大大缩短了表推演的证明过程,减少了搜索空间,提高了推理效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学与技术学院	134	2984	21.0	52.0
2	刘全	吉林大学计算机科学与技术学院	96	482	11.0	16.0
3	于万钧	吉林大学计算机科学与技术学院	7	73	6.0	7.0