二值命题逻辑系统的不可靠度及F度累积定理

发布时间：2017-11-10 07:29

  本文关键词：二值命题逻辑系统的不可靠度及F度累积定理

  更多相关文章： 二值命题逻辑系统 有效推理 概率 随机真度 F度

【摘要】：本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。
【作者单位】： 延安大学数学与计算机科学学院;
【基金】：陕西省教育厅专项基金资助项目(11JK0481) 延安大学自然科学专项基金资助项目(YDZ2012-05) 陕西省高水平大学建设专项基金资助项目(2012SXTS06) 国家大学生创新训练计划资助项目
【分类号】：O141.1
【正文快照】： 0引言演绎逻辑[1-14]关心的是从已知事实(即前提)得出的推理,如果前提为真,则结论必然为真。这有其合理性,但却忽略了前提不完全为真的情形,当然此时结论也不完全为真。该种情形下,即使各前提有很小的失真,也可能导致结论的很大误差。已经有很多关于前提与结论间误差累积方面

【参考文献】

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

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

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

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

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

5 刘华文;区间值直觉Fuzzy度量空间及其完备性[J];山东大学学报(理学版);2003年03期

6 刘华文;Vague集之间的相似度量及其在模式识别中的应用[J];山东大学学报(工学版);2004年01期

7 惠小静;;概率逻辑学基本定理在多值命题逻辑系统中的推广[J];应用数学学报;2011年02期

【共引文献】

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

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

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

3 陈红;章渺;王龙飞;赵禹乔;;高等级公路路段交通状态融合识别模型[J];重庆交通大学学报(自然科学版);2010年05期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 张保垒;表列演算探究[D];华东师范大学;2011年

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

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

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

6 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年

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

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

9 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年

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

【二级参考文献】

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

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

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

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

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

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

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

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

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

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

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

【相似文献】

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

1 何济洲;人口的增长过程[J];南昌大学学报(工科版);1990年04期

2 胡亚辉;;Buffon投针问题的推广[J];纺织高校基础科学学报;1992年03期

3 凌树森;试验数据的统计处理和误差分析 第一讲 概率论的基本概念[J];理化检验.物理分册;2001年01期

4 张强,熊硕;一道概率计算题带来的思考[J];生物学教学;2004年01期

5 李凤敏,李前忠;蛋白质亚细胞定位的序列分析[J];内蒙古大学学报(自然科学版);2005年01期

6 卢军;张知难;;Lanczos过程可行性的研究[J];浙江理工大学学报;2005年04期

7 梁永光;;出口电器质量目标可实现概率初探[J];电子质量;2006年05期

8 刘凤霞;;关于一个比赛问题的讨论和推广[J];渤海大学学报(自然科学版);2008年01期

9 王凯;;基于概率与贪婪算法的商品在线租赁业务模型及应用[J];韶关学院学报;2008年03期

10 马雅男;张成恩;吴润衡;;上证指数收益率的极值研究[J];数学的实践与认识;2008年11期

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

1 伍淑瑜;梁美婵;;三水近52年暴雨频数的统计分析[A];第26届中国气象学会年会灾害天气事件的预警、预报及防灾减灾分会场论文集[C];2009年

2 董杏燕;曹艳艳;;宁波市雷暴、强对流天气潜势概率预报[A];第26届中国气象学会年会灾害天气事件的预警、预报及防灾减灾分会场论文集[C];2009年

3 顾晓琳;胡培亮;宋文涛;;多媒体DS-CDMA系统话音视频业务性能分析[A];2002海峡两岸三地无线科技研讨会论文集[C];2002年

4 刘德朋;孙启美;;一种变异概率的遗传算法[A];第六届中国青年运筹与管理学者大会论文集[C];2004年

5 赵希人;彭秀艳;尹中凤;;船舶横向运动姿态及受扰卡尔曼估计的鲁棒性能概率建模[A];第三届全国信息获取与处理学术会议论文集[C];2005年

6 齐琳;李慧;陈英和;;双奖励模型中儿童期望值判断的发展特点[A];第十一届全国心理学学术会议论文摘要集[C];2007年

7 岳治国;王利民;李晶;唐永顺;;德尔菲法在工业园区环境风险评价中的应用[A];2008中国环境科学学会学术年会优秀论文集（下卷）[C];2008年

8 连传杰;吴戈;;走向长壁开采时水平移动规律的新研究[A];水电与矿业工程中的岩石力学问题——中国北方岩石力学与工程应用学术会议文集[C];1991年

9 范建朋;王炳乾;林皋;;爆破地震动强度估计[A];岩石破碎理论与实践——全国第五届岩石破碎学术会论文选集[C];1992年

10 浦良;赵利民;王智森;;移动无线通信中的信道估计[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年

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

1 刘 杰;中旬发动行情概率加大[N];证券日报;2003年

2 证券时报记者 岩雪;CPI温和上扬 近期加息概率不大[N];证券时报;2010年

3 本报记者 林铭铭;近三月获利概率90% 市场为“锂”疯狂[N];21世纪经济报道;2010年

4 长江期货 高华;LLDPE继续走强概率大[N];中国证券报;2010年

5 渤海证券 徐华;央行大幅降息概率增大[N];证券时报;2008年

6 西部证券 张炜玲;近期市场蓄势整理概率较大[N];上海证券报;2009年

7 记者 张忠安;市场短期回调概率加大[N];广州日报;2009年

8 周国镇;故事中的数学之美[N];中华读书报;2005年

9 九鼎德盛 肖玉航;“黄昏之星”概率较大[N];证券日报;2006年

10 西南证券 张刚;下周K线收阴概率增大[N];中国证券报;2006年

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

1 于忠义;人类早期不确定性推断思想研究[D];天津财经学院;2004年

2 张伟强;法律制度的信息费用问题[D];山东大学;2010年

3 弓树宏;电磁波在对流层中传输与散射若干问题研究[D];西安电子科技大学;2008年

4 胡艺;基于空间模型的小概率地理健康事件生态学研究[D];中国地质大学（北京）;2012年

5 唐立;Dirichlet问题的概率数值方法[D];中南大学;2003年

6 邓慧琼;电网连锁故障预测分析方法及其应用研究[D];华北电力大学（北京）;2007年

7 葛根;矩形薄板振动的随机分岔和可靠性研究[D];天津大学;2009年

8 李生虎;组合电力系统安全性的概率建模[D];合肥工业大学;2003年

9 邬云龙;川西地区天然气管线失效分析技术研究[D];西南石油学院;2004年

10 巴赛（Basil Tito Iro Ong'or）;济宁市地下水过量开采修复措施及风险评价方法研究[D];河海大学;2007年

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

1 杨帆;共享网络中的实时任务可执行概率研究[D];国防科学技术大学;2011年

2 潘沁;卡尔纳普概率确证理论探讨[D];华中师范大学;2003年

3 王宗尧;基于蛋白质网络的人类遗传致病基因预测算法研究[D];哈尔滨工业大学;2010年

4 苏晨;推广的G-期望的表示[D];山东大学;2010年

5 倪阳咏;概率损伤容限及其可靠性方法研究[D];西北工业大学;2005年

6 谷琛;基于分形理论的绝缘介质中放电仿真研究[D];中国科学院研究生院（电工研究所）;2006年

7 陈安涛;归纳推理多样性效应前提概率原则的实验研究[D];西南师范大学;2003年

8 姜峰;在概率阈值准则下的马尔可夫策略的两种算法[D];华东师范大学;2002年

9 杨端如;普通话水平测试的语言概率研究[D];云南师范大学;2003年

10 吴惠红;中学生对概率值的理解[D];华东师范大学;2004年

，

本文编号：1165683