基于格蕴涵代数的格值逻辑中的近似推理研究-交通信息工程及控制专业论文.docxVIP

西南交通大学博士研究生学位论文 西南交通大学博士研究生学位论文 第1页 摘要 人的智能活动正是体现在对不确定性信息的获取、提炼、推理、判断 和决策上，其中不确定性推理是关键的环节。也自然成为计算机科学和人 工智能的核心问题之一．随着Zadeh的模糊推理的提出，许多不确定性推 理的方法和理论相继出现．自然，多值逻辑和模糊逻辑就成为不确定性推 理的逻辑基础。多值逻辑和模糊逻辑是经典逻辑的扩充和发展，其真值域 从经典逻辑的二值扩充为多值或无限值。但其链型值域又决定了它只能处 理有序的或可比较性的不确定性的信息。格是一种重要的代数结构，现实 世界的不可比较的现象可以用格来刻画．格值逻辑的真值域为格代数结 构，这样就既能处理全序性信息，又能处理非全序性信息，因而能更好地 处理可比较或不可比较信息的不确定性推理．徐扬提出格蕴涵代数，并以 格蕴涵代数为真值域讨论了一系列的格值逻辑系统，如：LPCX)，LF(X)，Lvpl 和Lvfl． 本文在基于格蕴涵代数的格值命题逻辑系统LP(X)，L，。1和格值一阶逻 辑系统LF(X)，L，n中，研究了不确定性推理的规则，广义量词及其推理规 则，初步探讨了语法性质和归结原理，主要工作为以下四个方面： 1．在格值命题逻辑系统LPCX)。Lvpl，和格值一阶逻辑系统LF(X)，Lvfl 中证明了FMP,FMT推理规则以及相应的还原性定理． 2．在格值一阶逻辑系