基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究-交通信息工程及控制专业论文.docxVIP

西南交通大学博士研究生学位论文 第 i 页 摘要 格是一类重要的代数结构，现实挝界中的很多现象都可以规格来刻画，尤 其是不可比较役。市建立在格上的格筐逻辑系统把已有多傻逻辑的链状案值域 一 拓展到较一般的格上，既能处理全序性信怠，又能处理非全序性信息，从而更 有效地描述人类推理、判断和决策的不确定性。广义模态逻辑腐哲学逻辑部畴， 对于刻画事物的势态、人物的情态和过程的时态是一种十分有效的 工具。本文在格值命题逻辑系统 LP (X) 和格值一阶逻辑系统 LF (X) 的基础 上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其 α- 归结原理做 了初步探讨，主要在下述三个方离取得了研究成果 2 第一部分 z 关子格锺模态命题逻辑系统及其归结方法的研究 在此部分，把模态算子 N ( 必然〉和 P (可能〉引入格值命题逻辑系统 LP(X). 建立了新的格值模态命题逻辑系统 LMP(X). 并研究了它的话义刻画 及谱法结构，证明了在此话义解释和谱法框架下的系统仍是 α-可靠的和协调 的:在此基础上，进一步研究了基于格值模态命题逻辑系统 LMP(X) 的α 一归 结j原理，给出了计算 α 叩直接归结式和 α- 自归结式的规则，并总结出具体的归 结方法. 第二部分=关子格佳时态命题逻辑系统及其归结方法的研究 此部分的主要工作是在格值命题逻辑系统 LP(X) 中引进时态算子 E (曾 经)