当前位置:主页 > 社科论文 > 逻辑论文 >

模糊逻辑的紧致性与模糊理论相容度

发布时间:2017-09-16 15:19

  本文关键词:模糊逻辑的紧致性与模糊理论相容度


  更多相关文章: 模糊逻辑 紧致性 模糊理论 相容度


【摘要】:为了得到一般理论的相容度函数,利用不同的模糊系统的共同性质——模糊系统的紧致性,基于相容、不相容和全发散理论的性质以及发散度的概念,主要在二值逻辑系统和L*命题逻辑来讨论理论的相容度问题,对有限命题集的相容度函数给出自然的推广,得到一般的命题集的相容度函数,并讨论了相容度函数的性质。
【作者单位】: 河南理工大学数学与信息科学学院;河南理工大学安全科学与工程学院;
【关键词】模糊逻辑 紧致性 模糊理论 相容度
【基金】:国家重点基础研究发展“973”计划(2005CD221500) 河南理工大学青年骨干教师资助项目(649070)
【分类号】:O141.1
【正文快照】: 0引言紧致性是模糊逻辑的一个重要性质[1],所谓紧致性是指一组逻辑公式之集(称为理论)有模型当且仅当它的每个有限子理论有模型。文献[2-6]分别证明了Lukasiewicz命题逻辑,Godel命题逻辑和乘积命题逻辑以及L*命题逻辑和NMG命题逻辑都是紧致的。在任何逻辑系统中,理论的相容性

【参考文献】

中国期刊全文数据库 前2条

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

2 应明生;模糊逻辑的紧致性[J];科学通报;1998年04期

【共引文献】

中国期刊全文数据库 前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期

中国重要会议论文全文数据库 前7条

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

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

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

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

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

中国博士学位论文全文数据库 前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 李骏;一类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年

【二级参考文献】

中国期刊全文数据库 前7条

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

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

3 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

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

5 应明生;模糊逻辑的紧致性[J];科学通报;1998年04期

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

7 王国俊,兰蓉;系统H_α中的广义重言式理论[J];陕西师范大学学报(自然科学版);2003年02期

【相似文献】

中国期刊全文数据库 前10条

1 裴道武;王三民;杨瑞;;模糊蕴涵格理论[J];高校应用数学学报A辑;2011年03期

2 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(下)[J];安康学院学报;2011年03期

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

4 黄山;;模糊数学、模糊技术和模糊产品[J];科技与企业;1997年05期

5 郝永花;王绪柱;;模糊选择函数T-拟传递合理性的刻画[J];太原理工大学学报;2011年04期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中国重要会议论文全文数据库 前10条

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

2 张倩生;沈继忠;;双模糊拓扑的一个新方法[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

3 庞善起;秦克云;赵希顺;王雪生;;模糊逻辑与二值逻辑[A];模糊数学和系统成果会论文集[C];1991年

4 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

5 成央金;;De Morgan函数的简化(Ⅰ)[A];1997中国控制与决策学术年会论文集[C];1997年

6 陈图云;陈文丽;;修正的Atanassov逻辑及其广义重言式[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

7 成科扬;;基于集对分析的模糊逻辑及其推理方法研究[A];第二十三届中国控制会议论文集(下册)[C];2004年

8 焦利民;刘耀林;;土地适宜性评价的模糊神经网络建模及其应用分析[A];节能环保 和谐发展——2007中国科协年会论文集(二)[C];2007年

9 郭方芳;陈图云;;模糊推理渠道及链、网的确定度[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

10 邹丽;;直觉算子模糊逻辑的解释及应用[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

中国博士学位论文全文数据库 前9条

1 覃锋;模糊逻辑中若干问题的研究[D];四川大学;2004年

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

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

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

5 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年

6 卢志刚;基于模糊理论的电子商务声誉管理模型研究[D];天津大学;2007年

7 李嵩松;基于隐马尔可夫模型和计算智能的股票价格时间序列预测[D];哈尔滨工业大学;2011年

8 周U,

本文编号:863833


资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/863833.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户4218b***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com