舆论摘要：命题论理公式集上的正则一致联系和一种新式的I算法

　　Zadeh L．A．于1973年提出了Fuzzy推导的思维并给出了驰名的CRI 算法ˉ【1】。因为Fuzzy推导实用于含有朦胧性的不决定性推导而且逼近生人的思想模 式ˉ【2,3】，以是Fuzzy推导已经提出，就遭到了普遍的关心，很快就展示出一大量理 论性的与运用性的接洽功效ˉ【4,5】。但是Fuzzy推导远较典范论理学中的二值推导复 杂。从运用的观点看，犹如很难找到一种一致实用于百般各别运用范围的Fuzzy 推导本领。从表面的观点看，Zadeh的CRI算法及其演化ˉ【5】的推导体制也犹如有若 干犯得着商量之处．大概这恰是引导1993年美利坚合众国人为智能年会上那场商量的因为所 在【6-9】。为试验给Fuzzy推导奠定比拟庄重的论理普通，帝国俊先后提出了情势系 统￡ˉ*以及对于Fuzzy推导的三I算法ˉ［10-12］，遭到了学术界的关心，并获得了充溢 与兴盛ˉ［13-16］。 妇孺皆知，数理论理被公觉得是最为精细的科学，从这一意旨上看， 【17】中在几种典范论理学中为Fuzzy推导所创造的情势化表面不妨说是对文[6] 最有力的异议。但是犯得着提防的是，[1 7]并未在￡ˉ*体例中为Fuzzy推导创造基 于根的表面的情势化表面。 其余，好像推导并不确定要与朦胧集表面相接洽，比方，帝国俊熏陶在其专 著《非典范数理论理与好像推导》的积分语义塾一章所提出的好像推导的主体部 分就不依附于朦胧集表面。并且，帝国俊熏陶迩来又在文[2 8]中鉴于平均几率的 思维在典范二值命题论理中提出了一种不依附于朦胧集表面的好像推导的框架。 但是文【28】顶用以导出隔绝进而举行好像推导的东西──一致联系从表面上看似 乎仍有不及之处。 正文的手段恰是在乎提出一种新式的三I算法表面，并经过在￡ˉ*中创造相映 的根的表面而将其情势化，该当说进一步实行与完备[1 7]的表面，为Fuzzy推 理奠定坚韧的论理普通。进而最后将其归入人为智能的接洽范围是一个迷人的研 究课题。其余，对准文[2 8]所设置的一致联系在表面上的不及之处，正文提出正 则一致联系的观念为【28】中好像推导表面的打开赋予了更好的东西。 正文的重要实质如次： 　　第一局部 用B表白一个布尔代数，Ω表白从B到{O，1}的一切布尔同态的构 成的汇合且μ为Ω上的一个几率猜想．本章将运用μ来设置B中元素的衡量和任 意两个元素之间的一致度观念，从而还导出了B上的一种襟怀。本章为下一章接洽 命题论理公式集上的一致联系和伪隔绝供给了基础的思维本领和表面框架，形成 了正文的普通。 第二局部 将第一章襟怀布尔代数的思维本领和表面框架应用于Lindenbaum 代数B_L=F（S）／≈．这边F（S）表白命题论理公式集，“≈"是论理等价联系（同声 不妨表明“≈”也是同余联系），Q是F（S）的赋值映照的理想。计划了二值命题 论理公式集F（S）上命题的真度，两个命题之间的一致度和伪隔绝并证领会这种伪 隔绝与其余两种伪隔绝的等价性．为二值命题论理中好像推导的接洽供给了较好 的东西。 第三局部 从朦胧集表面的观点计划了好像推导，在鉴于朦胧集思维的Fuzzy 推导中提出了“大半确凿”规则，并证领会R_0-型三角模恰为可实行这一规则的 三角模．在此普通上，将Fuzzy推导中的大、小基础作了矫正进而唾弃了不确凿 的推导因素，提出了一种新式的三I算法（Triple I）ˉ*。接洽了论理体例￡ˉ*中的情势 化推导体制，鉴于根的表面为新式三I算法奠定了庄重的论理普通。