模糊模态命题逻辑及其广义重言式（原版论文）.pdfVIP

辽宁9币范大学 硕士研究生学位论文 论文题日：模糊模态命题逻蝗技其广义重言式 钮究t：汗德冈 指导教9币：环圈云 #利#tk：应用数学 年 级：2002级 辽宁师范大学研究。t-部 模糊模态命题逻辑及其广义重言式 模糊模态命题逻辑及其广义重言式 研究生： 汪德刚 指导教师： 陈图云 学科专业： 应用数学 中文摘要 随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引 起人们的重视。本文首先讨论了广义泛代数理论，给出了变维运算和广义型的定义进而 给出了广义泛代数的定义。然后给出了模糊模态命题i窆辑的概念，定义了模糊模态命题 运算，在赋值格中定义了、，^，v，—÷，口，◇的运算，给出了—种模糊化的克里普克 语义，口—重言式和口—蕴涵的定义，在此基础上讨论了模糊模态命题逻辑的语义理论， 根据模糊关系R的不同情况分别讨论了相应的模糊模态命题逻辑公式的归约a然后以广 义泛代数理论为基础将三。，矿及矿系统进行了扩充。给出了勉。，膨矿及JjI册7系 统的定义，将王国俊教授在￡。，Ⅳ及形系统中的广义重言式理论推广到了MLn， J订矽及M妒系统，并讨论了相应系统中广义重言式的性质及其分类。在地系统中 只有—种口—重言式，即专—重言式；系统尬：。中只有—种口—重言式，即☆—重 言式；系统MW中只有三种不同的广义重言式，即}—重言式，{+—重言式和重言式： 系统JH旷中只；ff--种不同的广义重言式，即{—重言式，寻+—重言式和重言式。最后 讨论了系统肘旷中∑—广义重言式的性质。本文表明王国俊教授关于一维赋值格的模 糊命题逻辑广义重言式理论需要将命题逻辑代数进行扩充才能推广到模糊横态命题逻辑 中去，而且这种推广对于继续研究模糊模态命题逻辑的推理是有帮助的。 关键词t模糊命题逻辑；模糊模态命题逻辑：广：；(重言式 1引言 数学家I-littH-t说“数理逻辑是把数学上的形式化方法应用到逻辑领域的结果”。文 献【1】中指出“数理逻辑是一门纯数学，同时也是一门应用数学，一门边缘性的科学”， 按照文献[2】的划分，数理逻辑包括模型论，公理集合论，递归论和证明论四个部分一按 照文献口】将数理逻辑划分为五部分，即在以上四个之外再单独把逻辑演算提出来作为一 个单独的部分。 模糊模态命题逻辑及其广叉重吉式 在逻辑学的发展中，经典逻辑在公理化，形式化_方面的研究取得了很大的成功。但 在现实世界中大量的事物是不确定的，利用经典逻辑处理起来效果并不理想，这是因为 经典逻辑的真值域为{0，1)，这在处理问题时会丢掉大量有价值的信息，因此非经典逻 辑便应运而生。它的真值域突破了{O，1)的限制，更适用于处理不确定性信息。随着计 算机技术的发展，非经典数理逻辑越来越为人们所重视，并在人工智能，专家系统，知 识表示等领域取得了一定的成功。 非经典数理逻辑总体E可以分为两类，一类是对经典逻辑的语义进行扩展的多值逻 辑系统例如三值逻辑，无穷值逻辑，模糊逻辑和格值逻辑等，另一类是对经典逻辑的语 构进行扩充的逻辑系统如模态逻辑，时态逻辑和动态逻辑等。 多值逻辑的思想可咀追溯到古希腊时代，亚里士多德是第一个对排中律提出质疑的 人。随后许多数学家，逻辑学家都致力于对多值逻辑的研究，1920年，Lukasiewicz提 出了第—个三值系统14J；1921年E．Pose提出了有穷多值逻辑系统”Ji 1939年BochwrIbJ 提出了与语义悖论有关的三值逻辑系统；S．C．1(1ee∞I，1于1952年提出了强三值逻辑系统 和弱三值逻辑系统。1975年L．A．Zadah在他创立的模糊集合论的基础E，利用语言变量 提出并研究了广义模糊逻辑。1979年PavelkaHl对Goguen的格值逻辑系统进行了改进． 建立起了—个模糊逻辑系统。此后徐扬教授提出了格蕴涵代数p3的概念，对格值逻辑进 行了研究。王国俊教授在格值逻辑及一维赋值格上的模糊逻辑中作出了一系列重要的工 作。他提出了模糊逻辑系统r并证明了它的可靠性，完备性(参见文献[10--13])。王 国俊教授系统的研究了Lukasiewicz的三值系统厶