基于格值逻辑的α-多元线性归结自动推理研究

发布时间：2025-03-20 05:56

　　人工智能领域中的一个极具有挑战性的研究方面是自动推理(定理机器证明),归结自动推理是自动推理的重要研究方向之一,其研究成果已被应用到很多重要领域,如人工智能、逻辑编程、问题求解、软件模型检测与测试、安全协议、程序自动验证、应答系统等方面。现实世界中经常遇到一些由于其多因素而产生不可比较性的问题,这类带有不可比较性信息的问题往往很复杂。基于格蕴涵代数的格值逻辑系统的归结自动推理是解决这类问题的有效方法之一。本文在其他学者的工作基础上,依据经典逻辑的归结推理方法,对基于格蕴涵代数的格值逻辑系统的α-多元线性归结自动推理的理论、方法、算法、程序展开研究。取得的研究成果主要有以下五个方面:第一部分,在基于Lukαsiewicz蕴涵代数Ln的格值命题逻辑系统LnP(X)中,得到了一类3阶不可分极简式(3-IESF)所有可能的形式,针对其中一类特别重要的3-IESF,给出了它与n-IESF(0≤n≤3)之间的α -可归结性。第二部分,在基于格值逻辑系统的α-多元归结原理的基础上,针对广义文字所有分类的分界广义文字,给出了它们之间任意三个广义文字的α-可归结性,进一步得到了格值逻辑系统中的α-多元归结...

【文章页数】：182 页

【学位级别】：博士

【部分图文】：

图４－２从＾到ａ－？的ａ－多元有序线性极小归结演绎流程图??ｉ５＇Ｊ?４．３．３?ｉ＾Ｃ，?＝ｘ－＾３；，?Ｃ２?＝（ｘ＾ｚｙ?ｖ（５＾－／），?Ｃ３＝ｙ＇＼／（ｙ－＾ｚ）＼／｛ｓ＾｛ａ４，ｂ＾Ｙ??

Ａ?＝?＾ｐ（ｏｇ－ａ）?（Ｄ３，Ｃ５）?＝?ａ〇??为了更直观的看到归结演绎过程，接下来给出ａ－多元有序线性极小归结演绎??的演绎流程图，如图４－２：??｛（Ｘ?一：）’ｖ（ｓ—??（ｎ）?ｖ（ｎ２）?ｖ（〇■广０?｝??？ｒ—ｖ?ｍ??（ａ７＾ｑ）ｖａ??Ｘ?（ｓ＾ｒｙ??（....

本文编号：4037487