导读:本文包含了广义格值模态逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:广义,逻辑,模态,代数,定理,蕴涵,原理。
李文江[1]（2002）在《基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究》一文中研究指出格是一类重要的代数结构，现实世界中的很多现象都可以用格来刻画，尤其是不可比较性。而建立在格上的格值逻辑系统把已有多值逻辑的链状真值域拓展到较一般的格上，既能处理全序性信息，又能处理非全序性信息，从而更有效地描述人类推理、判断和决策的不确定性。广义模态逻辑属哲学逻辑范畴，对于刻画事物的“势态”、人物的“情态”和过程的“时态”是一种十分有效的工具。本文在格值命题逻辑系统LP(X)和格值一阶逻辑系统LF(X)的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其α-归结原理做了初步探讨，主要在下述叁个方面取得了研究成果： 第一部分：关于格值模态命题逻辑系统及其归结方法的研究 在此部分，把模态算子N(必然)和P(可能)引入格值命题逻辑系统LP(X)，建立了新的格值模态命题逻辑系统LMP(X)，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是α-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统LMP(X)的α-归结原理，给出了计算α-直接归结式和α-自归结式的规则，并总结出具体的归结方法。 第二部分：关于格值时态命题逻辑系统及其归结方法的研究 此部分的主要工作是在格值命题逻辑系统LP(X)中引进时态算子E(曾经)、F(将会)及其对偶算子H(曾经总是)、G(将会总是)，提出了以时轴为语境的格值时态命题逻辑系统LTP(X)，并给出其具体的语义解释和语法结构，并讨论了它的一些性质，证明了该系统的可靠性和协调性。此外，研究了与时间有关的(α，t)-归结原理，给出了计算时态归结式的规则，并提出了时态归结的具体方法。 第叁部分：关于格值模态一阶逻辑系统及其归结原理的研究 第n页 西南交通大学博士研究生学位论文 这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广 并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF（）的a一归结原理进行了初步探讨．(本文来源于《西南交通大学》期刊2002-12-01）
[1].李文江.基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D].西南交通大学.2002
本文来源: https://www.lunwen66.cn/article/3a13f27dcaffe6f5ab7ea100.html