连续值命题逻辑系统中公式的条件概率真度

发布时间：2019-07-21 10:30

【摘要】：基于条件概率的思想,在连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、数学期望、条件概率真度的定义,并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0,1]中稠密。
[Abstract]:Based on the idea of conditional probability, the concept of assignment density function is introduced into the continuous value propositional logic system, and the definitions of probability truth degree, mathematical expectation and conditional probability truth degree of the formula are given, and some reasoning rules of probability truth degree are obtained. It is proved that the probability truth degree and conditional probability truth degree in Lukasiewicz logic system are dense in [0, 1].
【作者单位】： 聊城职业技术学院;聊城大学图书馆;聊城大学数学科学学院;
【基金】：山东省自然科学基金NoY2003A01~~
【分类号】：O141.1

【参考文献】

相关期刊论文 前4条

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

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

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

4 于鹏;王国俊;;根与F(S)中的近似推理[J];自然科学进展;2006年08期

【共引文献】

相关期刊论文 前10条

1 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

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

3 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

4 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

5 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

6 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

7 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

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

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

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

相关博士学位论文 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

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

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

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

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

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

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

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

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

相关硕士学位论文 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

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

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

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

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

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

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

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

10 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

8 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

9 杨晓斌,张文修;Lukasiewicz多值逻辑系统中的广义重言式理论[J];模糊系统与数学;2000年01期

10 裴道武;形式演绎系统L~*中的懔运算与演绎定理[J];模糊系统与数学;2001年01期

【相似文献】

相关期刊论文 前10条

1 于西昌;胡凯;张兴芳;;条件概率真度的相似度及伪距离[J];模糊系统与数学;2009年06期

2 于西昌;谭桂梅;张兴芳;;连续值命题逻辑系统中公式的条件概率真度[J];计算机工程与应用;2009年28期

3 袁彦莉;张兴芳;;G銉del逻辑系统中公式条件概率真度的研究[J];山东大学学报(理学版);2009年09期

4 谭桂梅;于西昌;;连续值命题逻辑中公式的条件相对重言度理论[J];计算机工程与应用;2010年16期

5 左卫兵;毋红军;;连续值命题逻辑系统中公式的概率真度[J];河南教育学院学报(自然科学版);2007年01期

6 谭桂梅;于西昌;;G銉del命题逻辑中公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年20期

7 于西昌;胡凯;张兴芳;;命题逻辑中概率真度的相似度及伪距离[J];系统科学与数学;2009年12期

8 于西昌;陈怀进;谭桂梅;;公式概率真度的相似度及伪距离[J];计算机工程与应用;2010年27期

9 于西昌;谭桂梅;;几种逻辑系统中的概率真度[J];计算机工程与应用;2011年12期

10 于西昌;张兴芳;;连续值命题逻辑中公式的概率真度及相似度[J];计算机工程与应用;2009年24期

，

本文编号：2517117