基于布尔剪枝的多值广义量词Tableau推理规则简化方法

• 作者: 刘全 孙吉贵 崔志明
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 布尔剪枝 多值逻辑 广义量词 Tableau 集合的上集/下集
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1514-1518
• 页数: 5页
• 分类号: TP301
• 字数: 4019字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2005.09.013

摘要

Tableau作为自动推理的有效方法之一在许多领域中有重要的应用.该文作者在已提出的布尔剪枝方法基础上,对含广义量词(交和并)规则的简化方法进行研究,建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法.通过实例分析,对简化前后结果对比表明,改进后的Tableau方法,在推理效率上有很大的提高.

作者信息

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