imtl逻系统及imtl-代数.pdfVIP

IMTL逻辑系统及IMTL一代数 马晓王五 摘要模糊逻辑作为非经典数理逻辑的一个重要分支是人工智能与信息科学等 许多领域中推理机制的基础．按L．A．Zadeh的观点，模糊逻辑有广义与狭义之分， 狭义模糊逻辑是对近似推理形式化所得出的逻辑系统，是多值逻辑系统的扩张．而 广义模糊逻辑则是指模糊集理论，它的范围显然要比狭义模糊逻辑要广得多．工程 技术界所说的模糊逻辑都是指广义模糊逻辑，但在理论性研究中则讨论狭义的模糊 逻辑．本文也与此相一致． 多年来，通过众多学者的努力研究，模糊逻辑得到了纵深发展，并伴随出现了一 些新的研究方法，为模糊逻辑的进一步繁荣提供了强而有力的工具．如代数方法， 即在研究逻辑系统的同时研究与之相应的代数结构，利用代数的一些研究成果去解 决逻辑中的问题，其中MV一代数及兄。一代数在证明各自相应逻辑系统完备性问题 上所发挥的作用，就是代数方法运用得比较成功的例子．另外，将t一模引入逻辑 中，形成一类基于t一模的逻辑系统，也是近年来模糊逻辑研究中常见到的方法． 由P．H矗jek提出的BL系统就是一类基于连续扣模的逻辑系统．它有三个常见的 模．但事实上，基于亡-模的逻辑系统所要求t-模满足的条件，左连续即可，不需要 连续．所以最近， based t-norm MTL(Monoidallogic)．而IMTL是MTL的一类扩张． 本文主要研究的是IMTL逻辑系统及与之相应的代数结构一1MTL代数，还 部分： 第一部分；这是本文的主体部分．先介绍了一些相关的预备知识，接着对IMTL 逻辑系统及IMTL-代数性质进行研究，给出了IMTL系统的一种等价公理体系， 代数，对其进行研究分析，并进而得到一种新的代数结构一R．代数，它是IMTL一 代数的一个扩张．由嘞一代数，以IMTL系统为基础，建立了与之相应的c，逻辑 系统． 系统中，重言式可由对非重言式进行有限次升级运算得到． 第三部分：研究了IMTL的另一个扩张一∥逻辑系统中的一些问题．在∥ 大MP滤子，并给出了刻划极大滤子的一个充分条件． II IMTL and IMTL一出gebra System Ma Xiaojue non-classical an branchof important Abstract：Fuzzylogic，as of aSartificialintelli— mechanism basisofinference the fields，such logics，is many etc．，L，A。Zadeh intobroad logic science，and distinguishedfuzzy gence，information and narrow istheextensionof narrowsenses．In logic sense，fuzzy