转换成带符号子句的多值逻辑推理方法

摘要：

将经典逻辑中的结构保留子句转换方法应用到带符号的多值公式中,产生输入规模是线性的范式,并引入极性的概念,减少冗余子句的产生.利用多值子句tableau方法证明该方法,并对适合于经典子句的包含删除、分解子因子等策略修改后,应用到多值子句tableau,提高了该方法的推理效率.

关键词：带符号子句、多值tableau、极性、因子分解

所属期刊栏目：28

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2004-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：73-76