一类n值命题逻辑系统中改进的相似度及伪距离

发布时间：2018-05-11 01:02

  本文选题：真度 + 相似度　； 参考：《甘肃工业大学学报》2003年02期

【摘要】：基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.
[Abstract]:Based on the infinite product of uniform probabilistic space, the true degree of formula is defined in a class of n-valued propositional logic system, and an improved definition of similarity degree is given by using truth degree, and a pseudo-distance on the set of all formulas is derived. Finally, the important properties of similarity and pseudo distance are discussed.
【作者单位】： 甘肃工业大学理学院 甘肃工业大学理学院 甘肃工业大学土木工程学院
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

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

【共引文献】

相关期刊论文 前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年

【二级参考文献】

相关期刊论文 前4条

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

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

3 王国俊;广义MP规则[J];陕西师范大学学报(自然科学版);2000年03期

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

【相似文献】

相关期刊论文 前10条

1 郑高;肖建;蒋强;王梦玲;;普通二型模糊相似度与包含度及其关系[J];华中科技大学学报(自然科学版);2011年08期

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

3 滕兆明;王红;张华青;马晓慧;;多维社会网络中链路预测方法研究[J];计算机应用与软件;2011年09期

4 陈一飞;唐祥忠;郭彦利;;基于改进模糊聚类算法的工程限额设计模型[J];广东海洋大学学报;2011年03期

5 王振朝;赵宇茜;赵晨;;在重构相空间选取样本的时间序列分形预测[J];计算机工程与应用;2011年21期

6 易明;毛进;邓卫华;;基于社会化标签网络的细粒度用户兴趣建模[J];现代图书情报技术;2011年04期

7 高伟;贺昌政;肖进;;基于OCA聚类集成的客户细分模型研究[J];情报杂志;2011年06期

8 王廷明;;有限理论结论基于根的余式和结论集的表示[J];青岛大学学报(自然科学版);2011年02期

9 彭小智;马凌;周美立;;随机系统的相似性及其度量[J];四川理工学院学报(自然科学版);2011年03期

10 ;[J];;年期

相关会议论文 前10条

1 汤丽华;赵吴静;金菊良;张明;;基于熵的水质综合评价的相似插值模型[A];第八届中国管理科学学术年会论文集[C];2006年

2 王娟;;一种基于粗糙集理论的操作风险判别方法[A];科学发展观与系统工程——中国系统工程学会第十四届学术年会论文集[C];2006年

3 王新生;吴雷;潘晓;;基于粗集的CBR方法在企业信用评估中的应用研究[A];2006年全国理论计算机科学学术年会论文集[C];2006年

4 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年

5 连华娟;李晓奇;;σ-运算下的模糊度，，贴近度和包含度的关系[A];第五届中国不确定系统年会论文集[C];2007年

6 迟国泰;闫达文;程砚秋;;基于改进群组G1赋权的生态评价模型及14个典型省的实证研究[A];第三届（2008）中国管理学年会论文集[C];2008年

7 张崇武;何琼璋;;一种新的直接聚类法及其若干注记[A];模糊数学和系统成果会论文集[C];1991年

8 梁雪春;龚艳冰;孙亮;;基于直觉模糊集的物流配送中心选址决策[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年

9 刘井莲;周军;;一种基于模糊集理论的粗糙规则提取方法[A];数学·力学·物理学·高新技术研究进展——2006（11）卷——中国数学力学物理学高新技术交叉研究会第11届学术研讨会论文集[C];2006年

10 王斌;谢庆生;;基于实例推理的企业动态联盟伙伴选择与优化模型[A];全国先进制造技术高层论坛暨制造业自动化、信息化技术研讨会论文集[C];2005年

相关博士学位论文 前8条

1 杜方;复杂网络系统间相似性识别及其应用[D];浙江大学;2010年

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

3 杨树忠;复杂网络中的社团检测问题研究[D];北京交通大学;2009年

4 林琳;直觉模糊集在近似推理与决策中的应用[D];大连理工大学;2006年

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

6 覃桂敏;复杂网络模式挖掘算法研究[D];西安电子科技大学;2012年

7 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

8 赵建邦;基于代谢网络的功能模式发现及系统发生分析研究[D];西安电子科技大学;2011年

相关硕士学位论文 前10条

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

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

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

4 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年

5 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年

6 李海军;基于相似度的加权模糊推理方法[D];河北大学;2006年

7 李斯;基于FCA的重叠社区发现[D];苏州大学;2012年

8 赖雅;基于图分割的大规模本体分块与映射研究[D];中南大学;2011年

9 鲁成国;模糊数的比较与排序及其在多属性决策中的应用[D];广西大学;2006年

10 谢亮;基于区间值模糊集合的分类算法研究[D];燕山大学;2009年

本文编号：1871699