论文摘要
关于不确定性信息处理的研究是人工智能领域的一类重要的研究内容.为处理某些不确定性信息的推理问题,建立在格值逻辑系统上的归结理论与方法得到了快速发展.另一方面,人类处理不确定性时常用自然语言描述不确定性或者在不确定性的环境中进行推理（即不确定性推理）,并基于此进行判断与决策,所以基于语言值的推理与决策成了非常引人关注的研究领域.本文基于国内外许多学者的研究工作,对语言真值格值逻辑系统的α-归结、α-归结自动推理方法以及相应的算法实现及基于语言值格蕴涵代数的决策方法进行了较系统深入的研究,并取得了如下五个方面的研究成果:一、关于语言真值格值命题逻辑系统LVLnx2P（X）上归结的研究1.给出了格值命题逻辑系统LP（X）上α-归结域的性质;2.给出了格值命题逻辑系统LP（X）上J-归结域的性质;3.给出了语言真值格值命题逻辑系统LVLnx2P（X）上α-归结和J-归结之间的关系.二、关于格值命题逻辑系统LnP（X）上α-归结域的研究给出了LnP（X）中0-IESF、1-IESF及部分2-IESF的α-归结域,得到了两个广义文字是α-归结对的条件.三、关于语言真值格值命题逻辑系统上的α-归结自动推理方法的研究1.提出了语言真值格值命题逻辑系统LVLnP（X）上的α-归结自动推理方法,给出了α-归结自动推理算法的流程图;2.提出了语言真值格值命题逻辑系统LVL9P（X）上的α-归结自动推理方法,给出了α-归结自动推理算法,证明了该算法的可靠性和完备性,并分析了算法的计算复杂度;3.提出了语言真值格值命题逻辑系统L2n+1P（X）的半正则广义文字M-归结自动推理方法,给出了M-归结自动推理算法,并证明了该算法的可靠性和完备性.四、关于格值一阶逻辑系统LF（X）中简单广义子句集寻找基例的算法的研究1.给出了格值一阶逻辑系统LF（X）上的合一算法;2.提出了格值一阶逻辑系统LF（X）中简单广义子句集查找基例的算法,并证明了该算法的可靠性和完备性.五、关于语言值格蕴涵代数在决策中的应用的研究1.给出了偏好信息集为语言值格蕴涵代数时的多目标决策方法;2.给出了偏好信息集为一般的语言值格时的多目标决策方法;3.给出了同时带有定量和定性信息的群决策方法.
论文目录
相关论文文献
标签：语言真值格蕴涵代数论文; 语言真值格值逻辑论文; 归结原理论文; 归结自动推理论文; 语言值决策论文;