lukasieicz区间值逻辑的广义重言式及其真度理论.pdf

摘要 制模型及其系统研究。 王国俊教授f30】最早就是在Lukasiewicz系统里面建立了积分语义学，有了相似度、 伪距离、发散度和近似推理等一系列的概念。以后又将这种方法推广到了系统￡和r， 建立起了计量逻辑学，因此Lukasiewicz系统一直是逻辑研究的重点。重言式理论是各 逻辑系统的一个重要组成部分。在区间值逻辑系统中，如果简单沿用经典二值逻辑系统 中重言式的定义，即仅把对任意赋值1，而言恒有v(么)=T的公式称为重言式，那么这种 重言式就可能很少。因此在区间值逻辑系统中，引入并研究赋值大于或等于某一区间真 值万的这类公式，并称之为万一重言式。与重言式理论关系密切的是真度理论，真度是 衡量一个公式的真实程度的新指标，它所考虑到的问题是所有v共同作用于彳时的整体 效果。由此可见，区间值逻辑系统中的重言式理论比经典二值逻辑系统中的重言式理论 有更加丰富的内容值得研究。 Lukasiewicz区间值命题逻辑的广义重言式和真度理论。主要创新点如下： 上进一步给出了Lukasiewicz区间值逻辑代数及其广义重言式的定义。同时由一类特殊 的公式序列Ak，k=-I…2一证明了可达万一重言式类类不空和类类互异定理在 Lukasiewicz区间值命题逻辑中也成立。 (2)把概率测度和概率空间的概念拓展到区间值上，在此基础定义了有限值区间逻 辑测度，给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中， 引入命题的万一真度概念，证明了区间值真度MP规则和区间值真度HS规则，并讨论 了其性质。 (3)在万一真度的基础上，引入了万一相似度概念，导出公式集F(S)上的一种伪距 离，这使得在Lukasiewicz区间值命题逻辑系统中展开近似推理成为可能。 关键词：区间值命题逻辑，Lukasiewic．z区间值命题逻辑，区间值概率测度，广义重言 式，真度 Ⅱ ABSTRACT Henan TMSdissertationcomesfrom“TheNatureScienceFoundmionof Province“Researchon Theoriesof ofInterval 11 Scientificand Flexibility Logic”(NOand‘TheKey Technological ofHenanProvince‘ResearchonFlexibleControlModelandits on basedInterval Project System 1022101 Structure’fNO．09249)． Atearliestthe semanticsinLukasiewiczwasbuiltProf aseries integral logic by WangGuojun[301，then of suchas and were concepts similaritydegree，pseudo-distance，divergentdegreeapproximate reasoning method introduced．Thiswas toL the of wasbuilt．So logic