公式概率真度的相似度及伪距离

发布时间：2018-05-08 14:47

  本文选题：赋值密度函数 + 概率真度　； 参考：《计算机工程与应用》2010年27期

【摘要】：通过引入赋值密度函数、边缘密度函数等概念,给出了连续值命题逻辑系统L*中公式概率真度的定义,研究了概率真度的推理规则,在此基础上给出了三种相似度,讨论了其性质及关系,并由此定义了三种伪距离,讨论了逻辑度量空间的结构及性质,为推理程度的数值化提供了依据。
[Abstract]:By introducing the concepts of assignment density function and edge density function, the definition of probability truth degree of formula in continuous valued propositional logic system L * is given, and the inference rules of probability truth degree are studied. On the basis of this, three kinds of similarity degrees are given. This paper discusses its properties and relations, defines three pseudo-distances, and discusses the structure and properties of logical metric space, which provides a basis for the numerical reasoning degree.
【作者单位】： 聊城职业技术学院;山东省聊城市人民医院;聊城大学图书馆;
【基金】：国家自然科学基金No.60875034 山东省自然科学基金No.Y2003A01~~
【分类号】：O141.1

【参考文献】

相关期刊论文 前5条

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

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

3 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

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

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

【共引文献】

相关期刊论文 前10条

1 辛晓东,尤飞;乘积R_0-代数上的若干映射性质[J];宝鸡文理学院学报(自然科学版);2000年02期

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

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

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

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

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

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

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

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

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

相关博士学位论文 前10条

1 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

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

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

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

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

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

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

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

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

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

相关硕士学位论文 前10条

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

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

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

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

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

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

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

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

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

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

【二级参考文献】

相关期刊论文 前10条

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

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

3 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

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

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

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

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

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

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

10 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

，

本文编号：1861822