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

作者：刘全; 孙吉贵; 崔志明布尔剪枝多值逻辑广义量词tableau

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社