n值s-mtl逻辑系统中命题的borel概率真度理论 theory of probabilistic truth degree of propositions in n-valued s-mtl logic system.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2014 ，50（2） 39 n 值S -MTL 逻辑系统中命题的Borel概率真度理论 李 骏，郑 刚 LI Jun, ZHENG Gang 兰州理工大学 理学院，兰州 730050 School of Science, Lanzhou University of Technology, Lanzhou 730050, China LI Jun, ZHENG Gang. Theory of probabilistic truth degree of propositions in n -valued S -MTL logic system. Com- puter Engineering and Applications, 2014, 50（2）：39-43. Abstract ：The present paper introduces the notion of probabilistic truth degree of formulas in the unified framework of n-valued S-MTL logic by means of Borel probability measures on the space of all valuations endowed with the usual product topology. The integral expression of truth degree of formulas is given, similarity degree and pseudo metric between formulas are introduced based on the probabilistic truth degree of formulas, this makes it possible to construct a kind of model behaved both randomly and globally for approximate reasoning in the unified framework of n-valued S-MTL logic. Key words ：quantitative logic; Borel probability measure; pseudo metric; approximate reasoning 摘 要：在 n 值 S - MT L 逻辑系统的统一框架下，通过视全体赋值之集为通常乘积拓扑空间，给出了命题的Borel 概 率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式，进而利用命题的Borel概率真度在该 逻辑系统中引入公式间的相似度及其伪距离，使得在 n 值 S -MT L 逻辑系统的统一框架下搭建起融随机性和整体性 于一体的近似推理模型成为可能。 关键词：计量逻辑学；Borel概率测度；伪距离；近似推理 文献标志码：A 中图分类号：O141.1 doi ：10.3778/j.issn.1002-8331.1206-0001 1 引言 限多个公式展开的，而命题逻辑中的公式却是无限多 2002 年，王国俊教授基于均匀概率的思想在经典二 的，所以概率逻辑学理论似乎只具有局部性而缺乏整体 值命题逻辑中引入了命题的真度概念[1] ，提出了计量逻 性。那么能否同时取概率逻辑学和计量逻辑学的优点 辑学理论[2-3] ，建立了一套近似推理模式之后，国内外 而又能弥补它们各自的不足从而使它们达到融合与统 同行展开了广泛的研究，相似的结果被推广到各种 n 一呢?文献[11]就以上述问题为出发点，利用赋值空间上 值命题逻辑系统中并得到了许多重要结果（可参看文 的Borel概率测度在二值命题逻辑系统中引入了公式的 献[2-11]）。计量逻辑学从整体上引入公式的真度概念， 概率真度概念，这样既克服了计量逻辑学要求赋值集上 但是在该真度意义下，每个原子公式的真度都是0.5 ，而 的概率测度必须为均匀概率测度的无穷可数乘积的局 且它们相互独立。然而现实世界中各种简单命题成立