命题逻辑的随机真度理论及其应用-模式识别与人工智能.pdfVIP

第26 卷摇 第 3 期摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 模式识别与人工智能摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Vol.26摇 No.3 摇 2013年3月摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 PR AI摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 Mac摇 摇 2013 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 摇 命题逻辑的随机真度理论及其应用* 1 2 刘晓玲 摇 摇 张家录 1(湘南学院计算机科学系摇 郴州423000) 2(湘南学院数学系摇 郴州423000) 摘摇 要摇 引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一 般化,证明全体公式的随机真度之集在[0,1]中没有孤立点. 利用随机真度定义公式间的随机相似度,进而导出 全体公式集上的一种伪距离———随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点. 指出随机真度是已有 文献中各种命题逻辑真度的共同推广. 利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟 通了已有各种真度之间的联系. 证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到 多值命题逻辑. 在随机逻辑伪距离空间中提出两种不同类型的近似推理模式. 关键词摇 命题逻辑,随机真度,随机相似度,随机逻辑伪距离空间,近似推理 中图法分类号摇 TP 181;O 142 Random Truth Theory of Proposition Logic and Its Application 1 2 LIU Xiao鄄Ling ,ZHANGJia鄄Lu 1 (Department of Computer Science,Xiangnan University,Chenzhou423000) 2(Department of Mathematics,Xiangnan University,Chenzhou423000) ABSTRACT In thispaper,theconceptofrandomtruthdegreeof propositionformulasbasedonarandomvariable sequence is introduced,which is a common generalization of various concepts of truth degree existing in references,and the set of random truth degree of all logicformulasisproved to have no isolated point in [0,1]. The random similarity degree and random pseudo鄄metric space between two logic formulas are definedbymeansofrandomtruthdegrees,andtherandomlogicpseudo鄄metricspaceisprovedtohaveno isolated point. The random truth degree of proposition logic is a generation of various truth degr