何兴兴;徐，杨;刘军;陈树伟 语言真值格值逻辑中α-锁解析方法的相容性。 （英语） Zbl 1255.03026号 软计算。 16，第4期，699-709（2012）. 摘要：本文重点研究了格序语言真值逻辑的基于高效解析的自动推理理论、方法和算法。首先，将语言真值格值逻辑中的α-锁分解与广义删除策略和α-线性分解相结合，提出了两种混合分解方法\一阶语言真值格值逻辑的（α）-锁解析{左}_{V（n次2）}F（X）等价地变换为命题逻辑的_{n} P（P）（十） \）大大降低了解决过程的复杂性。然后讨论了锁解析与广义删除策略和线性解析的相容性。最后，我们设计了一个用于（α）-线性半锁解析的算法，并提供了一些示例来说明所提出的理论和算法。这项工作为基于格值代数的语言真值逻辑中的自动推理方案提供了有效的支持，旨在建立符号自然语言处理的形式化工具。 引用于6文件 MSC公司： 03B35型 证明和逻辑操作的机械化 03B52号 模糊逻辑；模糊逻辑 68吨15 定理证明（演绎、解析等）（MSC2010） 68层37 人工智能背景下的不确定性推理 关键词：语言真值格值逻辑;\（\alpha\）-锁定分辨率;兼容性;广义删除策略;\（α）-线性分辨率;\（alpha）-线性半锁分辨率 PDF格式BibTeX公司 XML格式引用 \textit{X.He}等人，《软计算》。16，第4号，699--709（2012；Zbl 1255.03026） 全文： 内政部 参考文献： [1] Baaz M，Fermvller CG（1995）多值逻辑的基于分辨率的定理证明。符号计算杂志19（4）：353–391·Zbl 0839.68091号 ·doi:10.1006/jsco.1995.1021 [2] Boyer R（1971）《锁定：分辨率的限制》。德克萨斯大学奥斯汀分校博士论文 [3] Chang CL，Lee RCT（1997）符号逻辑与机械定理证明。美国学术出版社 [4] Constable R，Moczydlowski W（2009）从命题演算的完备性证明中提取解析算法。Ann Pure应用日志161（3）：337–348·Zbl 1221.03015号 ·doi:10.1016/j.apal.2009.07.008 [5] Degtyareva A、Nieuwenhuisb R、Voronkov A（2003）分层决议。符号计算杂志36（1-2）：79–99·Zbl 1024.03013号 ·doi:10.1016/S0747-7171（03）00036-1 [6] Fermvller CG、Leitsch A、Hustadt U、Tammet T（2001）《决议决策程序》。在：《自动推理手册》，第1791–1849页·Zbl 0993.68119号 [7] Galmiche D（2000）线性逻辑和证明网构造中的连接方法。计算机科学理论232（1-2）：231–272·Zbl 0951.03055号 ·doi:10.1016/S0304-3975（99）00176-0 [8] 何XX，刘J，徐Y，马丁内斯L，阮D（2011a）关于有限格值命题逻辑的{（α）}可满足性及其{（alpha）}锁分解。对数J IGPL。doi:10.1093/jigpal/jzr007（印刷前Epub）·Zbl 1257.03036号 [9] 何XX，徐毅，刘杰，阮D（2011b）{\（\alpha\）}-格值一阶逻辑的锁分解方法。工程应用Artif Intell 24（7）：1274–1280·doi:10.1016/j.engappai.2011.07.003 [10] 赖JJ，徐Y（2010）基于语言真值格蕴涵代数的语言真值格子命题逻辑系统LP（X）。《信息科学》180（10）：1990–2002·Zbl 1198.03031号 ·doi:10.1016/j.ins.2010.01.021 [11] 刘晓华（1994）基于分解方法的自动推理。北京科学出版社 [12] Liu XH，Yang YP（1991）线性半锁分辨率。中国科学牛36（9）：778–781·Zbl 0737.68073号 [13] 刘杰，阮德，徐毅，宋志明（2003）基于格值逻辑的类解析策略。IEEE Trans Fuzzy系统11（4）：560-567·doi:10.1109/TFUZZ.2003.814859 [14] 马J，李文杰，阮德，徐勇（2007a）格值命题逻辑LP（X）的基于滤波器的分解原理。信息科学177（4）：1046–1062·Zbl 1114.03019号 ·doi:10.1016/j.ins.2006.07.027 [15] Ma J，Ruan D，Xu Y，Zhang G（2007b）多准则决策中处理语言术语确定性和一致性的模糊集方法。国际J近似原因44（2）：165–181·Zbl 1115.68144号 ·doi:10.1016/j.ijar.2006.07.007 [16] 裴Z，阮德，刘杰，徐勇（2009）基于语言价值的智能信息处理：理论、方法和应用。亚特兰蒂斯出版社，巴黎·Zbl 1204.68232号 [17] Mundici D，Olivetti N（1998）$${\（\backslash\）L}$$ukasiewicz的无穷值微积分的分解与建模。计算机科学理论200（1-2）：335–366·Zbl 0921.03013号 ·doi:10.1016/S0304-3975（98）00012-7 [18] 秦坤，徐毅（1994）格值命题逻辑（II）。西南交通大学学报2（1）：22–27·Zbl 0824.03009号 [19] Robinson JA（1965）基于归结原理的面向机器的逻辑。美国临床医学杂志12（1）：23–41·Zbl 0139.12303号 ·数字对象标识代码：10.1145/321250.321253 [20] Tammet T（1991）决策问题的解决方法和有限模型构建。Balt计算机科学502:33–64·Zbl 1412.68264号 ·doi:10.1007/BFb0019355 [21] Tammet T（1994）线性逻辑中的证明策略。J Autom原因12（3）：273–304·Zbl 0821.03004号 ·doi:10.1007/BF00885763 [22] Xu Y（1993）格蕴涵代数。西南交通大学学报89（1）：20–27（中文）·Zbl 0784.03035号 [23] 徐毅，秦凯（1993）格值命题逻辑（I）。西南交通大学学报1（2）：123–128·Zbl 0807.03020号 [24] 徐毅，阮德，凯尔·EE，刘J（2000）基于格值命题逻辑LP（X）的{（\alpha\）}分解原理。信息科学130（1-4）：195–223·Zbl 0987.03010号 ·doi:10.1016/S0020-0255（00）00069-4 [25] 徐毅，阮德，克里·EE，刘J（2001）基于一阶格值逻辑LF（X）的{（\alpha\）}分解原理。《信息科学》132（1-4）：221–239·Zbl 0997.03006号 ·doi:10.1016/S0020-0255（01）00065-2 [26] Xu Y，Ruan D，Qin KY，Liu J（2003）格值逻辑——一种处理模糊性和不可比性的替代方法。斯普林格·弗拉格，海德堡·Zbl 1048.03003号 [27] Xu Y，Chen SW，Ma J（2006a）语言真值格蕴涵代数及其性质。In:IMACS系统应用计算工程多会议，第1413-1418页 [28] Xu Y，Liu J，Ruan D，Lee TT（2006b）关于格值一阶逻辑LF（X）上规则基的一致性。国际情报系统杂志21（4）：399–424·Zbl 1156.68581号 ·doi:10.1002/int.20129 [29] Xu Y，Liu J，Ruan D，Li XB（2011）格值一阶逻辑LF（X）中{（α）}-分辨率的确定。《信息科学》181（10）：1836–1862·兹比尔1239.03007 ·doi:10.1016/j.ins.2010.03.024 [30] 王XX，胡XH（1999）基于语言真值的{\（\alpha\）}-算子近似推理。模糊集系统105（3）：401–407·Zbl 0935.68102号 ·doi:10.1016/S0165-0114（97）00242-X [31] Zadeh LA（1975）语言变量的概念及其在近似推理中的应用。信息科学I 8（3）：199–249·Zbl 0397.68071号 ·doi:10.1016/0020-0255（75）90036-5 [32] Zadeh LA（1975）语言变量的概念及其在近似推理中的应用。信息科学II 8（4）：310–357·Zbl 0404.68074号 [33] Zadeh LA（1975）语言变量的概念及其在近似推理中的应用。信息科学III 9（1）：43–80·Zbl 0404.68075号 ·doi:10.1016/0020-0255（75）90017-1 [34] Zadeh LA，Kacprzyk J（1999）《信息/智能系统中的文字计算：基础》。柏林斯普林格-Verlag·Zbl 0931.00022号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。