命题逻辑系统L_n中公式集上的真度函数

发布时间：2019-09-16 16:15

【摘要】：在n值Lukasiewicz命题逻辑系统中引入了公式集F(S)上真度函数的公理化定义,给出了真度函数的若干重要性质,利用真度函数从形式上定义了相似度和伪距离,建立了逻辑度量空间,为从语构的角度展开近似推理提供了一种可能的框架。
【作者单位】： 陕西师范大学数学与信息科学学院;第四军医大学生物医学工程系;
【基金】：国家自然科学基金(No.10771129)~~
【分类号】：O141.1

【参考文献】

相关期刊论文 前4条

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

2 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑;2006年06期

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

4 王国俊,秦晓燕,周湘南;一类二值谓词逻辑中公式的准真度理论[J];陕西师范大学学报(自然科学版);2005年01期

【共引文献】

相关期刊论文 前10条

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

2 张红杰;吴洪博;;L_n命题演算中的一种新程度化方法[J];纺织高校基础科学学报;2007年03期

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

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

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

6 李骏,黎锁平,兰倩;一类n值命题逻辑系统中改进的相似度及伪距离[J];甘肃工业大学学报;2003年02期

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

8 颉永建;广义R_0-代数中的滤子[J];汉中师范学院学报;2004年06期

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

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

相关会议论文 前2条

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

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

相关博士学位论文 前3条

1 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

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

3 赖洪亮;Ω-范畴序结构性质的研究[D];四川大学;2007年

相关硕士学位论文 前10条

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

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

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

4 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

5 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

6 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

7 李璧镜;Lukasiweicz逻辑系统中公式的真度理论和逻辑度量空间[D];陕西师范大学;2006年

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

9 曹汝鸣;不完全信息数据库的理论研究[D];南京航空航天大学;2006年

10 关晓红;多值逻辑系统H_α与偏蕴涵代数[D];陕西师范大学;2007年

【二级参考文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

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

9 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑;2006年06期

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

【相似文献】

相关期刊论文 前10条

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

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

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

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

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

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

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

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

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

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

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

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

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

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

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

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

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

10 芮秀;苏园;;证券市场趋势自组织分类预测分析[A];1999中国控制与决策学术年会论文集[C];1999年

相关博士学位论文 前5条

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

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

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

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

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

相关硕士学位论文 前10条

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

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

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

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

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

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

7 王维琼;模糊信息度量的拓展及应用[D];西北大学;2005年

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

9 孙宇奇;基于复杂网络的社团发现研究[D];辽宁师范大学;2011年

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

本文编号：2536298