李龙,刘全,张玉会,王辉

• 1:大庆石油学院计算机科学与工程学院

• 2:大庆油田有限责任公司采油工程研究院

• 3:大庆石油学院计算机科学与工程学院

• 4:大庆石油学院计算机科学与工程学院 黑龙江大庆 163318

摘要(Abstract)：

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

关键词(KeyWords)：带符号子句;多值tableau;极性;因子分解

Abstract:

Keywords:

基金项目(Foundation):

作者(Author):李龙,刘全,张玉会,王辉

Email:

参考文献(References)：

• [1] BeckertB,H¨ahnleR,ManyaF.Transformationsbetweensignedandclassicalclauselogic[J].IEEEPress,1999,8(2):248-255.

• [2] H¨ahnleR.Exploitingdatadependenciesinmany valuedlogics[J].JofApplNon ClassicalLogics,1996,6(1):49-69.

• [3] LuJ,MurrayN,RosenthalE.Aframeworkforreasoninginmultiple valuedlogics[J].JofAutomatedReasoning,1998,21(1):39-67.

• [4] BachmairL,GanzingerH.Orderedchainingcalculiforfirst ordertheoriesoftransitiverelations[J].JournaloftheACM,1998,45(6):1007-1049.