Lukasiewicz三值命题逻辑中命题的真度理论

发布时间：2018-09-05 15:32

【摘要】：利用势为 3的均匀概率空间的无穷乘积在 L ukasiewicz三值命题逻辑中引入了公式的真度概念 ,证明了全体公式的真度值之集在 [0 ,1 ]上是稠密的 ,并给出真度的表达式 ;利用真度定义公式间的相似度 ,进而导出全体公式集上的一种伪距离 ,为三值命题的近似推理理论提供一种可能的框架。
[Abstract]:The concept of true degree of formula is introduced in L ukasiewicz ternary propositional logic by the infinite product of uniform probability space with potential 3. It is proved that the set of true degree values of all formulas is dense on [0 ~ 1], and the expression of truth degree is given. By using the truth degree to define the similarity between formulas, a pseudo-distance on the set of all formulas is derived, which provides a possible framework for the approximate reasoning theory of ternary propositions.
【作者单位】： 兰州理工大学理学院 兰州理工大学土木工程学院 兰州理工大学理学院
【基金】：兰州理工大学优秀青年基金资助项目
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

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

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

【共引文献】

相关期刊论文 前10条

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

2 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

3 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

4 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

5 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

6 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

7 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

8 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

9 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

10 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

相关会议论文 前10条

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

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

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

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

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

8 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

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

10 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年

相关博士学位论文 前10条

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

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

3 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

4 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年

5 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

6 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

7 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

8 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

9 于海田;民航安全分析与管理研究[D];上海大学;2011年

10 岳立柱;模糊结构元理论拓展及其决策应用[D];辽宁工程技术大学;2011年

相关硕士学位论文 前10条

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年

7 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

8 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

9 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

10 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

【二级参考文献】

相关期刊论文 前5条

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

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

3 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

4 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

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

【相似文献】

相关期刊论文 前10条

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

2 王廷明;严文海;;二值命题逻辑中基于前提信息的近似推理理论[J];模糊系统与数学;2009年02期

3 韩邦合;李永明;;计量逻辑学中的误差累计理论[J];计算机工程与应用;2009年23期

4 刘华文;王国俊;张诚一;;几种逻辑系统中的近似推理理论[J];山东大学学报(理学版);2007年07期

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

6 王廷明;王爱青;;二值命题逻辑中伪距离的真度表示及其应用[J];青岛理工大学学报;2008年03期

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

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

9 李骏;夏亚峰;兰倩;;n值标准序列逻辑系统中的近似推理理论[J];兰州理工大学学报;2006年02期

10 李骏;王国俊;周艳;;n值逻辑系统MTL_n中命题的程度化方法[J];计算机工程与应用;2007年21期

相关会议论文 前10条

1 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 徐扬;;基于格值命题逻辑L_(vpl)的近似推理[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

4 程里春;;近似推理的几个定理[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

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

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

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

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

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

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

相关重要报纸文章 前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];市场报;2005年

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

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

相关博士学位论文 前10条

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

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

3 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

4 孙燕;基于机器学习技术的《伤寒论》方证分析方法研究[D];北京中医药大学;2007年

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

6 白治江;基于遗传算法的模糊系统研究[D];华东师范大学;2006年

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

8 林琳;直觉模糊集在近似推理与决策中的应用[D];大连理工大学;2006年

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

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

相关硕士学位论文 前10条

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

2 谢晶晶;L_n系统和L_n*系统中的真度理论[D];陕西师范大学;2012年

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

4 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

5 李海亚;n值SMTL系统中命题的∑-（[α，β]-真度）理论[D];兰州理工大学;2012年

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

7 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

8 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

9 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年

10 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

，

本文编号：2224696