计量逻辑学中的误差累计理论

发布时间：2018-10-16 11:57

【摘要】：在二值逻辑系统中,初步给出了计量逻辑学中的误差累计理论。证明了逻辑结论(作为Γ结论)的误差不会超过各前提误差的和。
[Abstract]:In the binary logic system, the theory of error accumulation in econometric logic is given. It is proved that the error of logical conclusion (taken as 螕 conclusion) will not exceed the sum of the errors of each premise.
【作者单位】： 陕西师范大学数学与信息科学学院;西安电子科技大学理学院数科系;陕西师范大学计算机科学学院;
【基金】：博士学科点专项基金(No.20080718000)
【分类号】：O141.1

【参考文献】

相关期刊论文 前3条

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

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

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

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

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

4 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

5 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

6 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期

7 张小红,薛占熬,马盈仓;R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J];工程数学学报;2005年02期

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

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

10 李骏,兰倩,夏亚峰;标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布[J];甘肃工业大学学报;2003年04期

相关博士学位论文 前8条

1 任芳;正则蕴涵算子与新型模糊逻辑系统的研究[D];陕西师范大学;2005年

2 尚云;量子逻辑中有效代数与伪有效代数的研究[D];陕西师范大学;2005年

3 刘华文;直觉模糊与区间值模糊环境下的多准则决策与推理算法[D];山东大学;2005年

4 王小明;时态角色委托代理授权图模型及其分析研究[D];西北大学;2004年

5 陈树伟;基于格蕴涵代数的格值一阶逻辑L_（vfl）中的不确定性推理研究[D];西南交通大学;2006年

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

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

8 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年

相关硕士学位论文 前10条

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

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

3 许文艳;任务逻辑[D];陕西师范大学;2004年

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

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

6 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

7 雷红轩;同步格值自动机和同步格值有限自动机[D];陕西师范大学;2005年

8 周湘南;理论的相容度及效应代数的滤子与商[D];陕西师范大学;2005年

9 姚卫;Heyting代数中的滤子与同构定理及其范畴Heyt[D];陕西师范大学;2005年

10 朱华;格蕴涵代数中滤子和理想的研究[D];西南交通大学;2005年

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

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

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

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

【相似文献】

相关期刊论文 前10条

1 左卫兵;张嘎;;一种五元格值逻辑上命题真度的分布[J];计算机工程与应用;2011年22期

2 张凤姣;张兴芳;;G銉del逻辑系统中公式真度判断方法[J];聊城大学学报(自然科学版);2011年01期

3 郑高;肖建;蒋强;王梦玲;;普通二型模糊相似度与包含度及其关系[J];华中科技大学学报(自然科学版);2011年08期

4 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

5 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

6 滕兆明;王红;张华青;马晓慧;;多维社会网络中链路预测方法研究[J];计算机应用与软件;2011年09期

7 张乐;裴道武;王三民;;系统馊_n~*的逻辑性质及其应用[J];高校应用数学学报A辑;2011年02期

8 陈一飞;唐祥忠;郭彦利;;基于改进模糊聚类算法的工程限额设计模型[J];广东海洋大学学报;2011年03期

9 王振朝;赵宇茜;赵晨;;在重构相空间选取样本的时间序列分形预测[J];计算机工程与应用;2011年21期

10 易明;毛进;邓卫华;;基于社会化标签网络的细粒度用户兴趣建模[J];现代图书情报技术;2011年04期

相关会议论文 前10条

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

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

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

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

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

6 王新生;吴雷;潘晓;;基于粗集的CBR方法在企业信用评估中的应用研究[A];2006年全国理论计算机科学学术年会论文集[C];2006年

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

8 连华娟;李晓奇;;σ-运算下的模糊度，贴近度和包含度的关系[A];第五届中国不确定系统年会论文集[C];2007年

9 迟国泰;闫达文;程砚秋;;基于改进群组G1赋权的生态评价模型及14个典型省的实证研究[A];第三届（2008）中国管理学年会论文集[C];2008年

10 张崇武;何琼璋;;一种新的直接聚类法及其若干注记[A];模糊数学和系统成果会论文集[C];1991年

相关博士学位论文 前10条

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

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

3 杨树忠;复杂网络中的社团检测问题研究[D];北京交通大学;2009年

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

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

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

7 覃桂敏;复杂网络模式挖掘算法研究[D];西安电子科技大学;2012年

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

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

10 赵建邦;基于代谢网络的功能模式发现及系统发生分析研究[D];西安电子科技大学;2011年

相关硕士学位论文 前10条

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

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

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

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

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

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

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

8 陈熙;公式真度的推广及L~*系统单原子生成真值函数的特征[D];扬州大学;2011年

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

10 李海军;基于相似度的加权模糊推理方法[D];河北大学;2006年

本文编号：2274282