Lukasiewicz多值逻辑系统中的相似度及伪距离

发布时间：2018-09-11 16:35

【摘要】：逻辑度量空间是近似推理的重要框架。文中在文献[1]中提出的公式集F(S)上相似度的基础上给出了另外两种相似度,讨论了其性质,证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质,并得到了3种伪距离的比例关系,为推理程度的数值化提供了依据。
[Abstract]:Logical metric space is an important framework of approximate reasoning. Based on the similarity of formula set F(S) proposed in reference [1], two other similarities are given, and their properties are discussed. It is proved that the distances derived from these two similarities are also pseudo-distances on F(S). Meanwhile, the important properties of these two pseudo-metric spaces are studied and obtained. The relationship between the 3 pseudo distances is provided, which provides a basis for the numerical inference.
【作者单位】： 西安科技大学基础课部 陕西师范大学数学与信息科学学院
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

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

2 王国俊;适用于多种蕴涵算子的赋值空间上的测度与积分理论[J];中国科学E辑;2001年01期

【共引文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

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

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

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

相关博士学位论文 前10条

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

2 袁华;肺癌介入治疗的图象处理和模拟实验研究[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];西南师范大学;2005年

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

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

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

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

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

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

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

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

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

【二级参考文献】

相关期刊论文 前5条

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

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

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

4 王国俊;蕴涵格与Stone表现定理的推广[J];科学通报;1998年11期

5 王国俊;一类代数上的逻辑学(Ⅰ)[J];陕西师范大学学报(自然科学版);1997年01期

【相似文献】

相关期刊论文 前10条

1 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期

2 左卫兵;张嘎;;一种五元格值逻辑上命题真度的分布[J];计算机工程与应用;2011年22期

3 张凤姣;张兴芳;;G銉del逻辑系统中公式真度判断方法[J];聊城大学学报(自然科学版);2011年01期

4 李骏;邓富喜;;n值S-MTL命题逻辑系统中公式真度的统一理论[J];电子学报;2011年08期

5 张乐;裴道武;王三民;;系统馊_n~*的逻辑性质及其应用[J];高校应用数学学报A辑;2011年02期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前7条

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

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

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

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

6 黄益广;刘正林;;证据分析在企业诊断中的应用[A];2001年中国管理科学学术会议论文集[C];2001年

7 任燕;王洪丽;鲁忠良;;模糊逻辑的紧致性与模糊理论相容度[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

相关博士学位论文 前4条

1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年

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

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

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

相关硕士学位论文 前10条

1 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年

2 李海亚;n值SMTL系统中命题的∑-（[α，β]-真度）理论[D];兰州理工大学;2012年

3 谢晶晶;L_n系统和L_n*系统中的真度理论[D];陕西师范大学;2012年

4 崔艳丽;R_0代数的简化以及相对真度的相关性质研究[D];陕西师范大学;2010年

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

6 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

7 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年

8 茹永梅;经典逻辑系统（？）中的MT问题及公式的真度理论[D];陕西师范大学;2006年

9 高菲菲;多值命题逻辑中若干逻辑理论的拓扑刻画[D];陕西师范大学;2008年

10 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

，

本文编号：2237231