概率逻辑学基本定理的推广及其应用

发布时间：2018-05-04 15:42

  本文选题：随机真度 + 随机不可靠度　； 参考：《计算机工程与应用》2017年01期

【摘要】：利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和HS规则成立。
[Abstract]:By means of randomization of assignment sets, the concept of random unreliability of formulas in n-valued propositional logic systems is proposed. It is proved that the random unreliability of an effective inference result is not greater than the sum of the product of the random unreliability degree and the necessary degree of each premise. Through the generalized basic theorem of probabilistic logic, it is proved that MP rule and HS rule hold true in random logic metric space.
【作者单位】： 桂林航天工业学院信息工程系;
【基金】：广西壮族自治区教育厅科研项目(No.201106LX709)
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 桂起权;;莱欣巴哈的概率逻辑[J];自然辩证法通讯;1986年06期

2 张晨东,谢兵,陈火旺,徐光;概率逻辑含多重原子交集分解模型的可靠性[J];计算机研究与发展;1998年08期

3 季秋,王万森;概率逻辑的研究[J];微机发展;2004年09期

4 江娟,刘清;相信逻辑公式的影响范围与概率逻辑公式的概率[J];南昌大学学报(理科版);2000年04期

5 张利芳,李世超;归纳──概率逻辑述评[J];九江师专学报;2000年01期

6 叶发扬;;概率“确证”解释及其几点思考[J];科技信息;2013年20期

7 沈旭明;;论赖欣巴哈的频率论概率逻辑[J];吉首大学学报(社会科学版);2006年05期

8 肖波;;概率解释与概率逻辑[J];重庆理工大学学报(社会科学);2013年08期

9 任晓明;胡怀亮;;亚当斯概率逻辑的思想来源、影响和意义[J];自然辩证法研究;2008年04期

10 张兴芳;;剖析三种非经典逻辑的思想来源与特征[J];聊城大学学报(自然科学版);2014年02期

相关会议论文 前8条

1 刘邦凡;;论概率、概率逻辑与知识进步[A];第一次南开逻辑学专业学人学术研讨会论文集[C];2012年

2 刘邦凡;刘乃郗;;论概率逻辑与人工智能应用研究[A];第一次南开逻辑学专业学人学术研讨会论文集[C];2012年

3 刘邦凡;;论概率、概率逻辑与知识进步[A];改革开放以来逻辑的历程——中国逻辑学会成立30周年纪念文集（上卷）[C];2009年

4 吴炳荣;;熵与概率逻辑[A];1995年逻辑研究专辑[C];1995年

5 夏年喜;;试析凯恩斯概率逻辑思想产生的历史条件[A];2000年逻辑研究专辑[C];2000年

6 吴强;张巍;蔡庆生;;互联网上智能Agent软件算法研究[A];2003年中国智能自动化会议论文集（下册）[C];2003年

7 张惠民;;论模糊概率逻辑[A];1995年逻辑研究专辑[C];1995年

8 季秋;王万森;王新;;人工智能中逻辑学的研究[A];逻辑与认知学术研讨会会议论文集[C];2004年

相关博士学位论文 前2条

1 肖波;模态概率逻辑[D];清华大学;2014年

2 李勇;基于条件事件代数的概率逻辑推理和概率逻辑衍推推理[D];云南大学;2010年

相关硕士学位论文 前3条

1 郑达;凯恩斯概率逻辑思想研究[D];河北大学;2015年

2 蔡文君;概率逻辑程序的更新[D];北京工业大学;2014年

3 郭加安;基于泛逻辑学的概率逻辑及其算子的研究[D];首都师范大学;2007年

，

本文编号：1843577