概率逻辑学基本定理在多值命题逻辑系统中的推广

发布时间：2017-09-20 00:08

  本文关键词：概率逻辑学基本定理在多值命题逻辑系统中的推广

  更多相关文章： 概率逻辑学基本定理 概率 不可靠度 计量逻辑学 度量空间

【摘要】：通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.
【作者单位】： 延安大学数学与计算机科学学院;
【关键词】： 概率逻辑学基本定理 概率 不可靠度 计量逻辑学 度量空间
【基金】：国家自然科学基金(10771129) 陕西省自然科学基金(2010JQ1005)资助项目
【分类号】：O141.1
【正文快照】： 命题逻辑中最基本的推理模式为{Al，，…，AT。}卜A*，从语法的角度看，它表明Al一(灰升…科(A二弓A*)…是定理，而从语义的角度看，它表明如果任一赋值v使前提Al，…，A二都为真，则:也使结论A*为真.以下称这种推理为有效推理，并且把它记为‘。{Al，…，A。}…A*”.概率逻辑

【参考文献】

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

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

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

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

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

5 彭家寅,侯健,李洪兴;基于某些常见蕴涵算子的反向三I算法[J];自然科学进展;2005年04期

【共引文献】

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

1 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期

2 郑亚林,海焕智,白永成;3I方案下的Fuzzy推理算法[J];宝鸡文理学院学报(自然科学版);2001年02期

3 郑亚林,黄德隆,郭健;Fuzzy推理的Mamdani算法[J];宝鸡文理学院学报(自然科学版);2001年03期

4 郑亚林;Fuzzy推理的各种模型算法[J];宝鸡文理学院学报(自然科学版);2002年01期

5 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

6 孙长银,宋士吉,费树岷,冯纯伯;模糊推理三I方法的R_L型约束度分析[J];东南大学学报(自然科学版);2000年06期

7 马盈仓,李骏;FMP和FMT的三I解及其性质[J];纺织高校基础科学学报;2005年02期

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

9 王国俊;关于模糊推理的若干基本问题[J];工程数学学报;2000年S1期

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

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

1 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

2 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

4 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

5 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

6 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

7 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

8 尤飞;模糊蕴涵算子及其构造的模糊控制系统的响应能力分析[D];北京师范大学;2005年

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

10 姜保庆;关于弱比例规则的挖掘及推理研究[D];西南交通大学;2005年

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

1 徐章艳;基于Vague集的近似推理[D];广西师范大学;2000年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 孟丹;基于事例推理的检索与推理模型研究[D];辽宁师范大学;2001年

4 高小军;模糊推理的新算法及基于模糊小波网络的自适应控制[D];西安电子科技大学;2002年

5 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

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

7 张振华;粗集理论及其在数据预处理过程中的应用[D];昆明理工大学;2002年

8 杨晓炜;基于拓扑变换的模糊推理研究[D];西南交通大学;2003年

9 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

10 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

【二级参考文献】

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

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

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

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

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

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

6 李洪兴;模糊控制的插值机理[J];中国科学E辑;1998年03期

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

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

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

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

【相似文献】

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

1 李静辉;康锐;Ali Mosleh;;可靠性灵敏度分析的一种偏倚蒙特卡罗方法[J];北京航空航天大学学报;2011年06期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 官振中;陈旭;;损失规避偏好下不可靠供货的易逝品订货策略[A];中国灾害防御协会风险分析专业委员会第二届年会论文集（二）[C];2006年

2 吴启光;吕建华;;正态分布下产品可靠性抽样检验方案——方差未知综合双侧情形[A];第三届电子产品可靠性与环境试验技术经验交流会论文集[C];2001年

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

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

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

1 严惠云;Bayes理论在二项分布可靠性分析中的应用[D];西北工业大学;2007年

2 杨军;装备可靠性试验分析与评价软件的设计与实现[D];国防科学技术大学;2008年

3 熊玮;点不可靠多项式及交错群图的限制性连通度[D];新疆大学;2010年

4 冯秀伟;串并联系统模糊可靠性研究[D];重庆大学;2012年

本文编号：884720