论文部分内容阅读
基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向,能够对含有不可比较性信息进行有效地刻画；另外人们对事物进行推理、判断与决策时经常用语言值进行描述,因而基于语言值的智能信息处理理论与方法,也是目前较为活跃的一个研究领域。本文在已有关于基于经典逻辑的归结自动推理以及基于格值逻辑的归结自动推理的基础上,对基于格值逻辑的归结自动推理理论、方法、算法与程序进行了系统深入的研究,并取得了以下几个方面的研究成果：第一部分格值命题逻辑系统(Ln×L2)P(X)中广义文字的α-归结性。基于格值命题逻辑系统(Ln×L2)P(X)的真值域的结构特性,对归结水平α为对偶分子的情形,给出了(Ln×L2)P(X)中 0-IESF、1-IESF、2-IESF与其它广义文字之间的α-归结性。第二部分格值逻辑系统的α-语义归结自动推理。得到了格值命题逻辑系统LP(X)中几类广义子句集的性质,并建立了这几类广义子句集的α-语义归结方法,给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的α-语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑L(X)中相应归结水平的语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)的α-语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中α-语义归结与基于Lukasiewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的语义归结之间的等价转化性。第三部分格值逻辑系统的α-广义语义归结自动推理。建立了格值命题逻辑系统LP(X)中基于一般广义子句集的α-广义语义归结,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值命题逻辑系统LV(n×2)P(X)中的a-广义语义归结与基于Lukasiewicz蕴涵代数的格值命题逻辑LnP(X)中相应归结水平的广义语义归结的等价转化性；建立了格值一阶逻辑系统LF(X)中基于一般广义子句集的α-广义语义归结方法,并给出了其可靠性与条件完备性,相应地,给出了语言真值格值一阶逻辑系统LV(n×2)F(X)中基于一般广义子句集的α-广义语义归结与基于Luka-siewicz蕴涵代数的格值一阶逻辑LnF(X)中相应归结水平的广义语义归结之间的等价转化性。第四部分格值逻辑系统中归结方法的相容性。建立了格值一阶逻辑系统LF(X)中α-语义归结方法与删除策略的相容性以及格值一阶逻辑系统LF(X)中α-广义语义归结与广义删除策略的相容性,同时建立了格值一阶逻辑系统LF(X)中α-广义归结与支撑集归结在一定条件下的相容性。