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

发布时间：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];北京师范大学学报(自然科学版);2005年02期

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

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

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

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

9 马盈仓,李骏;FMP和FMT的三I解及其性质[J];纺织高校基础科学学报;2005年02期

10 胡明娣;王国俊;;基础R_0代数的结构研究[J];纺织高校基础科学学报;2006年03期

中国重要会议论文全文数据库 前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 樊磊;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年

【二级参考文献】

中国期刊全文数据库 前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];计算机工程与应用;2010年02期

2 刘今越;曾周末;李铁军;;基于灰色预测—模糊逻辑的磁场测量采样技术研究[J];仪器仪表学报;2010年01期

3 王新;李自超;;软计算方法在圈闭地质评价中的应用综述[J];西部探矿工程;2010年03期

4 张隆传;张小红;;强Ockham代数与剩余格[J];纯粹数学与应用数学;2010年01期

5 刘春辉;秦学成;;剩余格的准滤子拓扑空间[J];赤峰学院学报(自然科学版);2010年02期

6 柴春红;曹志刚;;飞机故障模糊诊断专家系统的研究[J];数学的实践与认识;2010年01期

7 秦学成;刘春辉;;基于HFI代数的模糊命题演算的形式演绎系统[J];赤峰学院学报(自然科学版);2010年01期

8 刘春辉;徐罗山;;关于剩余格的理想[J];山东大学学报(理学版);2010年04期

9 郭瑞芝;;关于商映射与商空间的性质[J];湖南工业大学学报;2010年01期

10 彭书华;李邓化;苏中;李华德;;一类不确定混沌系统的模糊滑模控制与同步[J];计算机工程与设计;2010年06期

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

1 张蕊;向永光;;神经元网络在唐钢热轧1700生产线参数优化中的应用[A];全国冶金自动化信息网2010年年会论文集[C];2010年

2 楼俊钢;江建慧;靳昂;;可信性属性权重分配的模糊层次分析方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

3 魏谦;张强;;不确定多层仓库布局模型与算法研究[A];中国企业运筹学[C];2009年

4 房建东;;多目标模糊决策模型及其教学质量综合评价应用[A];2008年中国高校通信类院系学术研讨会论文集（上册）[C];2009年

5 李晔;唐旭东;庞永杰;万磊;;水下机器人S面运动控制器及其混合学习算法[A];2009中国控制与决策会议论文集（1）[C];2009年

6 张世义;李光辉;;汽车自动变速器换挡规律建模与仿真分析[A];2009中国控制与决策会议论文集（3）[C];2009年

7 田家玮;苏雁欣;王影;承恒达;郭延辉;张英涛;;应用增强算法辅助乳腺肿块的超声诊断研究[A];中华医学会第十次全国超声医学学术会议论文汇编[C];2009年

8 李寿涛;郭立书;徐辉;宗长富;施瑞康;施正堂;;基于模糊逻辑的驾驶员紧急制动意图识别[A];PCC2009—第20届中国过程控制会议论文集[C];2009年

9 张超;鲁照权;丁飞;胡多根;;网络控制系统时延及控制方法综述[A];PCC2009—第20届中国过程控制会议论文集[C];2009年

10 李振龙;王晓霞;;信号控制的交叉口处驾驶员的情感建模[A];2009年中国智能自动化会议论文集（第三分册）[C];2009年

中国重要报纸全文数据库 前10条

1 黄珊珊;不怕丢三落四,智能眼镜“尽收眼里”[N];新华每日电讯;2008年

2 清华大学玉泉医院神外 刘伟国;意识如何进行客观评价[N];健康报;2008年

3 沈海燕;康宝欲借品牌升级成为市场主导者[N];中国质量报;2008年

4 杨彩云;厨电市场开打“品牌战”[N];中华工商时报;2008年

5 潘春华;江苏千万专项资金扶持华晨华通重点项目[N];中国交通报;2007年

6 本报记者;“强力外援”加盟海尔[N];青岛日报;2007年

7 刘友存 摘译;实现高效 加强环保[N];中国冶金报;2006年

8 本报特约记者　 王握文 本报记者 龙军;一位数学教授的生命不等式[N];光明日报;2006年

9 ;DANIELI自动炼钢、连铸、轧钢技术诀窍与成套技术[N];世界金属导报;2006年

10 曹卫东;展望未来电梯发展方向[N];广东建设报;2005年

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

1 廖年冬;信息安全动态风险评估模型的研究[D];北京交通大学;2010年

2 周豫苹;基于智能软件计算的入侵检测关键技术研究[D];东华大学;2010年

3 赵德新;基于模糊逻辑的语义服务发现研究[D];天津大学;2008年

4 申晓宁;基于进化算法的多目标优化方法研究[D];南京理工大学;2008年

5 杨洁;模糊神经网络的学习收敛性与阈值可去性[D];大连理工大学;2006年

6 王家忠;外圆纵向智能磨削关键技术研究[D];吉林大学;2006年

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

8 张建民;协作型模糊混沌神经网络研究[D];哈尔滨工程大学;2006年

9 纪祥春;基于图像数据融合的管线跟踪ROV导航控制研究[D];哈尔滨工程大学;2006年

10 赵建玉;智能计算方法在城市交通中的应用与交通流建模研究[D];山东大学;2006年

中国硕士学位论文全文数据库 前10条

1 王晓娟;基于多传感器信息的移动机器人定位研究[D];浙江大学;2010年

2 乔文钊;目标跟踪系统中多传感器数据融合算法研究[D];电子科技大学;2009年

3 文科星;智能PID算法的研究及其在温度控制中的应用[D];东华大学;2009年

4 李伟为;基于遥控地下铲运机的行驶智能控制策略研究[D];电子科技大学;2009年

5 刘立辉;基于GIS的电网负荷预测及其优化研究[D];大庆石油学院;2009年

6 程天笑;基于中介逻辑无穷值语义模型的否定知识表示与处理[D];江南大学;2009年

7 张海酉;飞行器非定常气动力数学模型的对比分析[D];中国空气动力研究与发展中心;2009年

8 陈诚;基于AFS理论的模糊分类器设计[D];大连理工大学;2009年

9 邱新朋;基于本体及模糊逻辑的协同设计研究[D];大连理工大学;2009年

10 钱海燕;种群生态系统的模糊建模与软测量[D];江苏大学;2009年

，

本文编号：863834