直觉含糊命题逻辑系统的语义.pdfVIP

点薏模糊命题逻辑系统的语义 蛊觉模糊命题逻睾簿系统的语义 研究生：昊凤干 指导教绎：陈强云教授 专 韭：建璃数拳 研究方患： 数理遘楗技嫠母靖箨钒蟪应焉 中文摘瑟： 本文蓠先通过定义新的蕴涵冀子一，，建立一个新的直觉模糊命题逻辑系 统(露，一，V，一，)，讨论既蕴涵葬予静髋璇，研究系统瑶上的f1‘义接重吉式，它菸分为 五稚不阉的广义拙重蠢式：8，蛰一搋重富式，毡，{)+一搬重亩式，鬯，∞一拟羹言戏， 8，o)+一搂重言式弱氇◇一羧重害式，将王雷整教授懿广义燕意式磺究成果“3麸一维 推广到箍个二维赢觉模糊命题代数上。在此基础上，通过对公式进行露中的部分赋值， 到蠲曩态燮按擎期对称表示娥僖懿的方法，分*l章雩论了系统珐帮系绞f嘉+l上游广义 授鬟言式乏闻静关系，iF黉类亘彝定露它与文[2]髓类类互舅定理不一样，它在满越定 理2．4．3条件时，只在每个小壤会内类类受异：网时，在广义拟夔赛式之嘲建立了一嵇 秀缀算法，获箨越采越囊浆《这承重言式，甚至褥爨蕊国一搬重蠢式，戢嚣，剩磺概 率浚方法定义壹赏模凝奔趣逻辑系统的褰凌，磷究群一囊发与秘一重言式乏闻的关蕊 同时，讨论恁，莉+～MP簸瑙，e，÷)+一而薛麓捌帮8一交捺理蕊剩，并研究赢浅值 在fo，11中的分布． 关键词： 模糊逻辑：命题逻辑：直觉模糊命题避辑：广义拟重裔式：真度 引 言 逶麓怒研究入娄惩维蕊律鲍辩学，蔼现代遂瓣就是掰数学(符母他，公理诧，澎式化) 的方法来研究这些规律的。1，它包括辨证逻辑和数理逻辑，数理避辑是用数学的方法来 磷突推理戆毒嘻学，数瑾逻辑懿发壤经掰了三太除段”，第一除袋骚究出逻辑{℃鼗耱关 系逻辑：第二阶段研究出檠合论，公理方法，逻辑演算和证明论：第三阶段提出了数理逻 直觉模糊命题逻辑系统的话叉 辑的五个主要方面：逻辑演算，证明论，公理集台论，递归论和模型论． 数琏逻辑最翅是罨拜究经典逻辑黪，经典逻辑赝搓遴瓣人类愚维懑凌主要是一耱“囊 假”分鹗的思维活动，讴现实生活中，恐维往往还趣耩难班判断真德的不确定性，这样 就产生了非经典逻辑，非经典逻辑包括多值逻辑，模糊逻辑等等，其中应用最广，且发 展较为迅速的是模糊逻辑，模糊逻辑的一些思想可以追溯到本世纪50年代以前的无限 值逻辑，但明确地提出了模糊逻辑和模糊推理的应归功于Zadeh．模糊推理一经提出， 立琵g|越了工糕爨静关注，镀盔爝予王12控裁与家露产菇戆铡遥中，敬褥了疆大戆戏功， 但在理论t并非无懈可击，它还未妇A严密的逻辑系统之中，在1993年就爆发了一场 关于模糊逻辑的争论”。“，由此可见，模糊推理方法的理论基础问题的确是值得商榷的． 人们认识到它对非经舆逻辑的研究具有重要意义，模糊逻辑与推理的研究得到了迅速的 发展． 文[1]研究_『一维赋值格上修正的kleene系统中的重言式理论，文[12-15]分别研究 他们所定义的序关系是缘陛序，这使其理论结果应用受到很大限制+ Atanassov于1986年提山直觉模糊集“…，随后又研究了直觉模糊逻辑，它从具有和 不具有概念所刻画的性质这样两个角度，即用一组有序数来衡量—个命题，并且其真度 假度之和是小于等于1的，这使得直觉模糊逻辑更符合人类思维的习惯，更能充分体现 人类思维的复杂性． 文[2]研究了二维Atanassov直觉主义命题逻辑系统，并在其最大子代数上讨论了 广义拟重言式理论 本文通道定义与文[2]不同的蕴涵算子，建立一个新的商觉模糊命题逻辑系统“”，讨 论了此系统上的广义拟重言茂理论，将王国俊教授戆广义熏蠢式蓦}}究虞票敞一维接广到 整个二维蠢鬣模赣命题代数土；霞对，在壬颡俊教授懿一缝斌值捂上模襁逻罄粪度理论 的基础上，利用概率论方法研究二维直觉横糊命题公式的真殿．本文分为两犬部分’第 一部分：引裔，介绍数理逻辑的发展，模糊逻辑的重要性阻疑点觉模糊命题逻辑的现实 价值，并阐遴了本文_1_：=作的背景和意义：第二二部分：论文主体，分三章：第一章，分为 嚣小节，分潮囊}}究了壹甏模翻惫蘧逻辑豹臻一蕴涵篓子ig广义攘重言式及箕分类：第二 章，分为四小节，分别研究了祭统e与部分赋值，C的对称袭示