Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计.pdfVIP

第10期 电 子 学 报 V01．40№。10 2012年10月 A口1AⅡ正amDNICASINICA Oct．2012 Lukasiewicz n值命题逻辑系统中公式的 一般真度和形式推演结论的不可靠度估计 张家录，吴霞 (湘南学院数学系，湖南郴州423000) 摘要：在hlka8iewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质，说明一般真度满足 有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和．通过不可靠度在全体公式集上建立逻 辑伪距离空间，证明逻辑伪距离空间中没有孤立点，利用逻辑伪距离在全体公式集F(s)中提出两种不同形式的近似 推理模式． 关键词： 幽ewicz n值逻辑系统；真度；不可靠度；真值状态；伪距离；近似推理 中图分类号： 0142 文献标识码： A 文章编号： 0372．2112(2012)10-2085．06 电子学报uRL：lIt【p：／／www．ejo哪!a1．org．cnDOI：10．3969伍i咖．0372．2112．2012．10．030 The Truth OfFormulasin门-VaIuedLukasiE≥wicz GeneraIIy DegreeS andtheEstimationof ofConcIusionin Logic UncenaintyDegree ZHANGJia．1u，可ⅢⅪa (及印删矿胍概如，施啪‰毋，凸幽，‰423000，踟m) A|筠t旧cI：Thisin虮油lces iIln-、词l湖b妇siewicz paper tl硷c0I：Iceptof蛐de伊e瞄of班0posi6∞s l蟛calsy姗nby 0n 删of恤砌hli伦咖of删tynle池蛐．Bydisl：11s她恤删郫of叽m 畔痂螂we呻鸭Ⅱlat恤姒蛐degI∞0f洲蛐islessm粕0r of eVery田湎∞锄dits蹦踟僦n骼s 0n psI：udo-疵唧Ice 鼬set，aIld印ved衄龇姆c凹心n州cspacellas呶i删咖．№，we n圮fomlIdasset． re部∞jl培m融iIl wDrcIs：h妇曲丽czn-vdhle r％一 Key s0IliI培 正是在上述背景下提出来的【3_114|．在概率逻辑学中， 1引言 对推理的前提集中的各公式(即命题)而言，要考虑其 数理逻辑是形式化的符号逻辑，在数理逻辑的推理 证明中我们只关心其有效性，而不太关心其合法性，对 征的，这个数值是由1减去该命题为真的概率而得的． 推理的前提是否可靠并未考虑，这也就是说，任何前提 推出的结论，只要推理过程的每一步骤都遵循正确的推 结合，通过诸前提的不可靠度估计出其结论的不可靠度 理规则，所得到的结