六元语言真值模态命题逻辑及其归结自动推理研究  

6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning

作　　者：王诗慧 王艳芳 崔晓松[3] 

机构地区：[1]辽宁师范大学,数学学院,辽宁 大连 [2]辽阳职业技术学院,计算机科学系,辽宁 辽阳 [3]辽宁师范大学,计算机与信息技术学院,辽宁 大连

出　　处：《计算机科学与应用》2022年第5期1413-1424,共12页Computer Science and Application

摘　　要：在日常生活中,人们通常使用自然语言进行推理和判断。为了将格值模态命题逻辑更好地应用于实际中,本文提出了以六元语言真值格蕴涵代数为真值域的六元语言真值模态命题逻辑系统,定义一个将公式集和可能世界集映射到六元语言真值格蕴涵代数上的赋值映射,讨论其运算及性质,并探讨该系统基于滤子的归结原理。提出计算归结式的规则以及基于滤子的归结方法,并通过一个例子说明该方法的合理性。该系统不仅可以处理全序性信息,也可以处理非全序性信息。In daily life, people usually use natural language to reason and judge. In order to better apply lattice-valued modal propositional logic in practice, a 6-element linguistic truth-valued modal propositional logic system with the 6-element linguistic truth-valued lattice implication algebra as the true value domain is proposed. An evaluation map that maps the set of formulas and the set of possible worlds to 6-element linguistic truth-valued lattice implication algebra is defined, and its operations and properties are analyzed. The resolution principle based on filter is discussed. The rules for calculating the resolution formulas and the resolution method based on filter are proposed, and an example is used to illustrate the rationality of the method. The system can process not only comparable information, but also incomparable information.

关 键 词：六元语言真值格蕴涵代数 模态命题逻辑 归结原理 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]