随机模糊环境下的命题逻辑真度理论
本文关键词: 命题逻辑 随机模糊真度 随机模糊相似度 逻辑伪距离空间 极限定理 近似推理 出处:《模式识别与人工智能》2017年04期 论文类型:期刊论文
【摘要】:在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理.
[Abstract]:On the basis of the probability distribution of real unit interval [0 ~ 1], the concept of truth degree in the sense of random ambiguity of propositional logic formula is introduced. It is pointed out that random truth degree is a common generalization of various propositional logic truth degrees in existing literatures. By using random fuzzy truth degree to define random fuzzy similarity between formulas, a pseudo-distance of random fuzzy logic pseudo-distance on the set of all formulas is derived. It is proved that there are no isolated points in random fuzzy logic pseudo distance space. A limit theorem about random fuzzy truth degree is proved. The relation between various true degrees is studied. The continuity of logic operation in random logic pseudo distance space is proved. The basic theorem of probabilistic logic is extended to the most valued propositional logic and two different types of approximate reasoning models are proposed in the pseudo-distance space of stochastic logic and applied to the approximate reasoning of practical problems.
【作者单位】: 湘南学院数学与金融学院;
【基金】:湖南省自然科学基金项目(No.2017JJ2241,16JJ6138) 湖南省社会科学基金项目(No.16YBA329) 湖南省教育厅科学研究重点项目(No.2014A135,13A093) 湘南学院科学研究课题项目(No.2014XJ54) 湖南省重点建设学科资助~~
【分类号】:O141
【相似文献】
相关期刊论文 前10条
1 张兴芳,孟广武;模糊谓词逻辑公式的有限和可数解释真度理论[J];聊城大学学报(自然科学版);2004年04期
2 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期
3 张兴芳;王国俊;孟广武;;一阶模糊谓词逻辑公式的区间解释真度理论[J];模糊系统与数学;2006年02期
4 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期
5 于鹏;;真度方程组及其应用[J];计算机工程与应用;2012年07期
6 王国俊;;一类一阶逻辑公式中的公理化真度理论及其应用[J];中国科学:信息科学;2012年05期
7 秦晓燕;徐扬;刘熠;;二值谓词逻辑中公式的向量真度[J];模式识别与人工智能;2013年08期
8 张安英;李德胜;张兴芳;于西昌;;基于一阶模糊逻辑公式的有限解释真度的推理理论[J];聊城大学学报(自然科学版);2005年04期
9 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期
10 李璧镜;;模态逻辑公式的真度理论[J];计算机工程与应用;2013年03期
相关会议论文 前1条
1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
相关硕士学位论文 前10条
1 郝国平;几类模糊逻辑系统中真度及近似推理研究[D];延安大学;2015年
2 贺锦瑞;两种命题逻辑系统中的真度研究[D];延安大学;2016年
3 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年
4 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年
5 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年
6 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年
7 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年
8 李小兵;n值S-MTL系统中公式的矛盾度理论及理论的平均真度[D];兰州理工大学;2014年
9 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年
10 胡江山;几种逻辑系统中命题真度的研究[D];山东大学;2009年
,本文编号:1536605
本文链接:https://www.wllwen.com/kejilunwen/yysx/1536605.html