| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于布尔剪枝的多值广义量词Tableau推理规则简化方法 |
| 作者 | 刘全1) 孙吉贵2) 崔志明1) |
| 作者单位 | 1)(苏州大学计算机科学与技术学院 苏州 215006) 2) (吉林大学计算机科学与技术学院 长春 130012) |
| 发表年份 | 2005 |
| 发表月份 | 9期(1514—1518) |
| 文章摘要 | 摘要 Tableau作为自动推理的有效方法之一在许多领域中有重要的应用．该文作者在已提出的布尔剪枝方法基础上，对含广义量词(交和并)规则的简化方法进行研究，建立了一套含广义量词的一阶多值逻辑公式的简化Tableau推理方法．通过实例分析，对简化前后结果对比表明，改进后的Tableau方法，在推理效率上有很大的提高． 关键词 布尔剪枝；多值逻辑；广义量词；Tableau；集合的上集／下集 中图法分类号 TP301 |