Lukasiewicz三值命题逻辑系统中公式的概率真度理论

发布时间：2018-01-13 17:11

  本文关键词：Lukasiewicz三值命题逻辑系统中公式的概率真度理论　出处：《计算机工程与应用》2010年06期 　论文类型：期刊论文

  更多相关文章： 概率测度 概率真度 相似度 伪距离 孤立点

【摘要】：利用势为3的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架。
[Abstract]:Using the infinite product of 3 non uniform probability space, in the Lukasiewicz three value concept of probability truth degree formula introduced in propositional logic, proves that all probability formula truth value set has no isolated point in [0,1]; the definition of probability truth degree of probability similarity degree and pseudo distance, and then established the probability logical metric space, prove that this space has no isolated point, provides a possible framework for approximate reasoning theory three value proposition.

【作者单位】： 河南师范大学数学与信息科学学院;
【分类号】：O141.1
【正文快照】： 1引言关于区分公式可靠程度的思想早在1952年就由Rosser与Turquette提出[1],此后又有众多学者从不同的角度提出了公式的程度化真确度的方法。21世纪初,王国俊教授首先在经典二值命题逻中引入了公式的真度概念,随后又提出计量逻辑学,建立了一套近似推理理论模式。有关这方面的

【参考文献】

相关期刊论文 前9条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

4 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

5 ;Theory of truth degrees of propositions in the logic system L_n~*[J];Science in China(Series F:Information Sciences);2006年04期

6 李骏,兰倩,黎锁平;Lukasiewicz三值命题逻辑中命题的真度理论[J];模糊系统与数学;2004年04期

7 王国俊,王伟;逻辑度量空间[J];数学学报;2001年01期

8 李骏,黎锁平,夏亚峰;Lukasiewicz n值命题逻辑中命题的真度理论[J];数学学报;2004年04期

9 左卫兵;;Lukasiewicz三值命题逻辑在非均匀概率空间下命题的真度理论[J];郑州轻工业学院学报(自然科学版);2008年01期

【共引文献】

相关期刊论文 前10条

1 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期

2 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期

3 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期

4 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

5 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期

6 阚婷;张兴芳;马成芬;;带参数的L_p系统中的逻辑度量结构[J];燕山大学学报;2009年04期

7 张小红;祝峰;;Rough逻辑系统RSL与模糊逻辑系统Luk[J];电子科技大学学报;2011年02期

8 卢延鑫;;谓词逻辑在关系数据库中的应用[J];电脑知识与技术(学术交流);2007年17期

9 王廷明;;二值命题逻辑中Г-的蕴涵距离和近似推理[J];德州学院学报;2008年06期

10 袁彦莉;张兴芳;;G_n命题逻辑系统中绝对真度的理论研究[J];德州学院学报;2009年04期

相关会议论文 前6条

1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

5 张凤姣;张兴芳;李成允;;G銉del逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年

6 ;Graded Reasoning about Knowledge[A];Proceedings of 2007 International Symposium on Distributed Computing and Applications to Business, Engineering and Science(Volume Ⅰ)[C];2007年

相关博士学位论文 前10条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

3 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

4 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

5 吴茂念;基于分离的信念更新研究[D];贵州大学;2008年

6 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年

7 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年

8 潘小东;关于格值逻辑及其语言真值不确定性推理研究[D];西南交通大学;2010年

9 路强;面向功能的可视化创新概念设计方法研究[D];合肥工业大学;2010年

10 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年

相关硕士学位论文 前10条

1 许筱婷;基于本体论的知识表达[D];湘潭大学;2010年

2 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

3 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

4 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

6 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

7 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

8 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

9 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

10 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

【二级参考文献】

相关期刊论文 前10条

1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

3 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

4 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期

5 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑:技术科学;2002年01期

6 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

7 宋士吉,吴澄;模糊推理的反向三I算法[J];中国科学E辑:技术科学;2002年02期

8 裴道武,王国俊;形式系统L~*的扩张L_n~*及其完备性[J];中国科学E辑:技术科学;2003年04期

9 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

【相似文献】

相关期刊论文 前10条

1 关晓红;刘晓;;Lukasiewicz三值命题逻辑系统中公式的概率真度理论[J];计算机工程与应用;2010年06期

2 于西昌;胡凯;张兴芳;;命题逻辑中概率真度的相似度及伪距离[J];系统科学与数学;2009年12期

3 于西昌;陈怀进;谭桂梅;;公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年27期

4 关晓红;李骏;;标准序列逻辑系统S_3中公式的概率真度理论[J];模糊系统与数学;2009年06期

5 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

6 高荣荣;郭秀敏;王国俊;;n值Lukasiewicz逻辑中命题的条件真度理论[J];延安大学学报(自然科学版);2009年01期

7 李骏,兰倩,黎锁平,王柏岩;标准序列逻辑系统S_3中的相似度及伪距离[J];兰州理工大学学报;2004年05期

8 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

9 张美;马盈仓;;Frank三角范数的一类模糊逻辑系统的真度理论[J];计算机工程与应用;2011年02期

10 刘艳,郑慕聪;Lukasiewicz多值逻辑系统中的相似度及伪距离[J];西安科技大学学报;2005年02期

相关会议论文 前10条

1 李娆娆;雷沛霖;黄兰岚;原思通;刘营;;芫花药材高效液相指纹图谱研究[A];中华中医药学会四大怀药与地道药材研究论坛暨中药炮制分会第二届第五次学术会与第三届会员代表大会论文集[C];2007年

2 张虎;郭玉翠;宫尚宝;;移动Ad-hoc网络中基于第三方观察机制的信任管理研究[A];第十六届全国青年通信学术会议论文集（上）[C];2011年

3 王志松;;决策树中数据遗失值填充方法的研究[A];2001年中国智能自动化会议论文集（下册）[C];2001年

4 汤丽华;赵吴静;金菊良;张明;;基于熵的水质综合评价的相似插值模型[A];第八届中国管理科学学术年会论文集[C];2006年

5 王娟;;一种基于粗糙集理论的操作风险判别方法[A];科学发展观与系统工程——中国系统工程学会第十四届学术年会论文集[C];2006年

6 刘晓林;郁滨;;基于相似度的遗传算法模式理论研究[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

7 金保华;高湘飞;柳雪环;张磊;;基于XML框架与CBR智能预案管理的研究[A];2009年中国智能自动化会议论文集（第二分册）[C];2009年

8 王超;许方;;一种基于奇异值分解的印刷体数字识别算法[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年

9 麦智毅;杨春玲;;基于结构相似度的H.264帧内预测快速算法[A];通信理论与信号处理新进展——2005年通信理论与信号处理年会论文集[C];2005年

10 李增扬;李兵;何克清;;本体中复杂网络特性的发现[A];2006全国复杂网络学术会议论文集[C];2006年

相关重要报纸文章 前10条

1 证券时报记者　 韩如冰;基金投资相似度趋高[N];证券时报;2006年

2 聂磊 曹进 罗国安;中药指纹图谱相似度评价方法各有千秋[N];中国医药报;2006年

3 孟祥宁　张亚萌 郭青剑;山寨文化：是一种什么样的文化[N];中国艺术报;2009年

4 聂磊；曹进；罗国安;中药指纹图谱相似度评价方法作用各一[N];中国医药报;2005年

5 海潮;俄研究发现妊娠中毒症疑与夫妇HLA基因相似度有关[N];中国医药报;2007年

6 栾海;妊娠中毒症可能与夫妇 HLA基因相似度有关[N];医药经济报;2007年

7 沈阳药科大学药学院 孙国祥;中药指纹图谱研究新进展[N];中国中医药报;2007年

8 记者 李学梅;研究证实：父亲“偏爱”与自己相像的孩子[N];新华每日电讯;2009年

9 小新;妊娠中毒症与夫妇HLA基因相似度有关[N];中国医药报;2007年

10 天相投顾 王聃聃;投资同质化 基金繁荣背后的痛[N];证券时报;2007年

相关博士学位论文 前10条

1 顾本柏;客体相似性表征的认知和发展机制研究[D];西南大学;2011年

2 刘磊;概念内涵属性计算研究[D];上海交通大学;2011年

3 杜方;复杂网络系统间相似性识别及其应用[D];浙江大学;2010年

4 游扬声;一般分布模式下GIS位置数据的不确定性研究[D];武汉大学;2005年

5 孙平;高科技品牌延伸的评价模型与消费者评价实证研究[D];山东大学;2008年

6 张旭秀;盲源分离及其在脑电信号处理中应用的研究[D];大连理工大学;2006年

7 刘晓东;面向无线传感器网络数据传输与查询的节能算法与理论研究[D];中国海洋大学;2009年

8 刘建华;粒子群算法的基本理论及其改进研究[D];中南大学;2009年

9 马群;安宫牛黄丸生产过程质量评价方法研究[D];北京中医药大学;2007年

10 李江源;高分辨SAR干扰机理与高效干扰方法研究[D];电子科技大学;2007年

相关硕士学位论文 前10条

1 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

2 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

3 石安磊;基于文本相似度评分的中医案例分析系统研究与实现[D];西北大学;2011年

4 闵江;基于语义网的本体相似度算法研究[D];华东交通大学;2011年

5 裴运亮;基于切词和语义的中文相似度研究与应用[D];电子科技大学;2011年

6 乔善磊;中药色谱指纹图谱相似度评价研究[D];第二军医大学;2004年

7 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

8 毛治佳;基于属性相似度的报警关联系统的研究与实现[D];西安电子科技大学;2011年

9 吴波;改进的编辑距离算法的研究及其在电子政务中的应用[D];电子科技大学;2011年

10 毛丹;青少年儿童对中国和美国国民及国家的社会表征[D];华中师范大学;2005年

，

本文编号：1419753