Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

发布时间：2017-12-19 12:32

  本文关键词：Lukasiewicz n值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计　出处：《电子学报》2012年10期 　论文类型：期刊论文

  更多相关文章： Lukasiewicz n值逻辑系统 真度 不可靠度 真值状态 伪距离 近似推理

【摘要】：在Lukasiewiczn值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.
【作者单位】： 湘南学院数学系;
【基金】：湖南省重点建设学科资助项目 湖南省教育厅科学研究项目(No.10C1232)
【分类号】：O141.1
【正文快照】： 1引言数理逻辑是形式化的符号逻辑,在数理逻辑的推理证明中我们只关心其有效性,而不太关心其合法性,对推理的前提是否可靠并未考虑,这也就是说,任何前提推出的结论,只要推理过程的每一步骤都遵循正确的推理规则,所得到的结论都认为是有效的,这种单纯的形式推理似乎有一些不足

【参考文献】

中国期刊全文数据库 前7条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

3 左卫兵;;Boole语义的程度化方法[J];电子学报;2012年03期

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

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

6 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑:信息科学;2006年06期

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

【共引文献】

中国期刊全文数据库 前10条

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

2 亓正坤;王廷明;丁洁玉;;二值命题逻辑中限制逻辑等价关系及其应用[J];东北师大学报(自然科学版);2012年02期

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

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

5 王廷明;;二值命题逻辑中有限理论的相对偏差及其应用[J];德州学院学报;2010年02期

6 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

7 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

8 李骏;王国俊;;基于支持度理论的广义MP问题的形式化解[J];电子学报;2008年11期

9 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期

10 李璧镜;王国俊;;正则蕴涵算子所对应的逻辑伪度量空间[J];电子学报;2010年03期

中国重要会议论文全文数据库 前4条

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

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

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

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

中国博士学位论文全文数据库 前8条

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

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

3 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

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

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

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

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

8 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

中国硕士学位论文全文数据库 前10条

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

2 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

3 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年

4 王志明;WBR_0代数的研究[D];陕西师范大学;2011年

5 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年

6 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年

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

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

9 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年

10 折延宏;若干经典命题逻辑问题的拓扑刻画[D];陕西师范大学;2007年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期

3 王国俊,任燕;Lukasiewicz命题集的发散性与相容性[J];工程数学学报;2003年03期

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

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

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

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

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

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

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

【相似文献】

中国期刊全文数据库 前10条

1 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

2 茹永梅;;两个特殊逻辑系统G_n和Π_n中的相似度与伪距离[J];浙江工贸职业技术学院学报;2008年01期

3 崔美华;;逻辑系统Luk中公式间的伪距离[J];模糊系统与数学;2010年04期

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

5 宋庆燕,杨兴忠;命题逻辑公式集上的正则相似关系[J];陕西师范大学学报(自然科学版);2002年04期

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

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

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

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

10 马盈仓;张美;崔美英;;Frank三角范数的三值模糊逻辑系统的真度理论[J];广西师范大学学报(自然科学版);2011年03期

中国重要会议论文全文数据库 前10条

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

2 陈栋梁;王浩;姚宏亮;;一种支持向量机大规模数据集训练算法[A];中国仪器仪表学会第九届青年学术会议论文集[C];2007年

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

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

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

6 许春明;陈虹;夏勇;钱勇;;不同测试模式下典型系统可靠性分析[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年

7 付昌伟;冯波;黄芳;;武钢高炉风机励磁控制器的故障树诊断技术[A];全国冶金自动化信息网2011年年会论文集[C];2011年

8 王天荣;张洪泉;;α-Fe_2O_3气体传感器的可靠性分配[A];第六届全国气湿敏传感器技术学术交流会论文集[C];2000年

9 赵钢;邹彬;张剑;;基于模糊规则集的入侵检测模型——网络与信息安全事件处理[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

10 毛昭勇;宋保维;潘光;胡海豹;;基于故障树分析的贝叶斯可靠度近似评定方法[A];2006年全国机械可靠性学术交流会论文集[C];2006年

中国重要报纸全文数据库 前10条

1 王苏伊 王立嘉;想在北京买假名牌难了[N];市场报;2005年

2 小马;走近LCD[N];中国电脑教育报;2002年

3 金娜;皮装选购有诀窍[N];大众科技报;2000年

4 $$点评嘉宾 首都经贸大学经济研究所教授 $$吴少平 北大经济系教授 钟伟 $$本版采写 刘凌林;利润水分怎么挤？[N];中国企业报;2001年

5 吴挺;进军专业绘图市场[N];计算机世界;2003年

6 APC公司产品市场部;如何正确地选用和配置UPS[N];中国计算机报;2000年

7 耶鲁大学管理学院金融经济学教授 陈志武;学校如何办[N];南方周末;2011年

8 周燕虎 本报特约通讯员 项志明;信息技术让火炮“走”进实验室[N];解放军报;2005年

9 记者 齐中熙;会计五假太可怕[N];新华每日电讯;2001年

10 吕良韵;只要是电影，，咱都能放[N];中国计算机报;2004年

中国博士学位论文全文数据库 前7条

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

2 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

3 刘东;空间信息处理系统可靠性设计与分析关键技术研究[D];国防科学技术大学;2008年

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

5 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年

6 王谷亮;DNA聚合酶β在烷化剂MNNG引起的非定标性突变中的作用[D];浙江大学;2002年

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

中国硕士学位论文全文数据库 前10条

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

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

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

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

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

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

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

8 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

9 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

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

本文编号：1307998