收藏本站
《陕西师范大学》 2008年
收藏 | 手机打开
二维码
手机客户端打开本文

三种逻辑代数的等价刻画和模糊模态逻辑

段景瑶  
【摘要】: 模糊逻辑是对经典命题逻辑的改进和推广,它更能适应现实生活的需求.常见的模糊逻辑系统有逻辑系统Lukasiewicz,乘积逻辑系统∏,G(o|¨)del逻辑系统G,以及王国俊教授提出的L~*系统.而与上述系统相匹配的代数结构分别是MV代数,∏代数,G代数,R_0代数.一般而言,MV代数,R_0代数和Boole代数均是建立在格序框架之下的,这不便于我们在更加宽泛的体系下研究它们与其它逻辑代数之间的关系.一个自然的问题就是可否放弃格序前提分别给出上述三种代数的等价刻画,以便于进一步研究他们与其他逻辑代数之间的联系呢?本文对此进行了研究并作出了回答. 另外,王国俊教授通过在系统L,Luk以及L~*中引入了公式真度的概念,将数理逻辑与数值计算有机结合起来,并提出了计量逻辑学.使得经典意义下既非重言式又非矛盾式的公式有了评价其真伪程度的标准.2007年,傅丽在经典命题逻辑系统L中,通过把赋值域由{0,1}扩充到Boole代数引入了B-赋值的概念,并且以有限Boole代数为前提建立了公式的B-真度理论.另一方面,在B-赋值语义下系统L是否完备?同一公式的真度值与B-真度值之间有什么关系?这些问题尚未及讨论,本文将作出解答. 模态逻辑属于非经典逻辑的范畴,而模态语言则是从内在的局部观点来表达关系结构的.从语构的观点来看,模态逻辑只不过是在经典命题逻辑中的连接词→与→之外又添加了一些模态词的逻辑系统而已.它在知识表示和知识推理等领域均有广泛的应用.模态逻辑的语义一般是建立在Kripke模型基础之上的.Kripke模型是一个三元组M=(W,R,V),其中W,R,V分别表示集合,二元关系和映射.一般来讲,模型中的R,V都是分明集合,那么能否将R和V分别模糊化来建立语义理论?能否给模态逻辑赋予代数语义?和语构和谐吗?本文对此展开了研究并得到了一些结果. 本文的主要结论如下: (1)在非格序框架下,给出了Boole代数,MV代数以及R_0代数的等价刻画.证明了Boole代数等价刻画中各条公理是相互独立的.并证得Boole代数与正则的HFI代数是等价的. (2)证明了真度不变性定理,即对同一个公式A而言,A的真度值与B-真度值相同. (3)在B-赋值语义下,系统L是完备的. (4)引入了MR_0代数的概念.讨论了它的一些重要性质,给出了MR_0代数的同构定理. (5)构建了模态系统K_1,证明了在MR_0代数语义下该系统是完备的. (6)通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K_2,并证明了系统K_2是可靠的;通过将Kripke模型中的二元关系R模糊化,建立了模态逻辑系统K_3,并证明了系统K_3是完备的.
【学位授予单位】:陕西师范大学
【学位级别】:硕士
【学位授予年份】:2008
【分类号】:O141.1

【引证文献】
中国期刊全文数据库 前1条
1 杨进峰;崔艳丽;吴洪博;;连续值Luk系统中公式的Γ-真度及其性质[J];计算机工程与应用;2011年13期
【参考文献】
中国期刊全文数据库 前10条
1 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期
2 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
3 朱怡权;;R_0-代数的Boole可补元与直积分解[J];高校应用数学学报A辑(中文版);2006年04期
4 王莉,毕全起;有限Boole格上粗糙集模型的代数结构[J];河北师范大学学报;2002年02期
5 王文良;Boole代数与双格半群[J];西华师范大学学报(自然科学版);2004年02期
6 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
7 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期
8 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑:信息科学;2006年06期
9 陈伟;正则FI代数的若干性质[J];模糊系统与数学;2001年04期
10 裴道武;;模糊命题演算系统■~*的简化与独立性[J];模糊系统与数学;2006年01期
【共引文献】
中国期刊全文数据库 前10条
1 张红杰;吴洪博;;BR_0代数中的滤子与理想[J];安康学院学报;2007年01期
2 刘保翠;王国俊;;命题集F(S)基于相似关系定义的拓扑[J];安康学院学报;2007年03期
3 龚加安;吴洪博;;BR_0代数的模糊滤子与模糊素滤子[J];安康学院学报;2009年06期
4 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(上)[J];安康学院学报;2011年02期
5 吴洪博;;基于非交换剩余格的(α,β]-模糊滤子(下)[J];安康学院学报;2011年03期
6 马晓珏;弱MV-代数与IMTL代数的关系及IMTL公理系统的简化[J];宝鸡文理学院学报(自然科学版);2004年01期
7 段景瑶;王国俊;;Boole代数的等价刻画[J];宝鸡文理学院学报(自然科学版);2007年03期
8 刘练珍,李开泰;FI代数同构于一族全序FI代数的直积的子代数的条件[J];纯粹数学与应用数学;2004年01期
9 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期
10 王廷明;;二值命题逻辑中的蕴涵度量与近似推理[J];重庆师范大学学报(自然科学版);2009年03期
中国重要会议论文全文数据库 前5条
1 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
2 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年
3 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
4 许格妮;;可交换的s代数[A];第十二届中国青年信息与管理学者大会论文集[C];2010年
5 张凤姣;张兴芳;李成允;;Gdel逻辑中真值函数特征及真度分布[A];第八届中国不确定系统年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
3 韩邦合;赋值代数分裂算法与隐性半环赋值研究[D];陕西师范大学;2011年
4 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
5 刘用麟;若干逻辑代数系统结构的研究[D];西安电子科技大学;2005年
6 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
7 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
8 俞峰;基于直觉区间值模糊理论的近似推理与多属性决策研究[D];南京理工大学;2008年
9 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
10 刘学生;基于粗集的不确定多属性决策排序法的研究[D];大连理工大学;2009年
中国硕士学位论文全文数据库 前10条
1 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
2 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年
3 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年
4 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年
5 陈冬青;BR_0-代数与WBR_0-代数的研究[D];陕西师范大学;2011年
6 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年
7 王志明;WBR_0代数的研究[D];陕西师范大学;2011年
8 程红梅;几种逻辑度量空间中的反射变换[D];陕西师范大学;2011年
9 高李红;QBL代数与IMTL代数及系统的研究[D];陕西师范大学;2011年
10 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年
【同被引文献】
中国期刊全文数据库 前8条
1 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
2 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
3 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期
4 李骏;王国俊;;逻辑系统L_n~*中命题的真度理论[J];中国科学E辑:信息科学;2006年06期
5 吴洪博;;命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论[J];模糊系统与数学;2008年04期
6 刘华文;王国俊;张诚一;;几种逻辑系统中的近似推理理论[J];山东大学学报(理学版);2007年07期
7 王昭海;吴洪博;;系统L中公式相对于有限理论的∑_Γ-真度理论[J];山东大学学报(理学版);2008年02期
8 吴洪博;乔希民;;命题逻辑系统■中公式相对于有限理论的∑_Γ-模糊真度理论[J];山东大学学报(理学版);2008年06期
中国博士学位论文全文数据库 前1条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
【二级参考文献】
中国期刊全文数据库 前10条
1 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期
2 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期
3 朱怡权;R_0代数的对偶代数[J];工程数学学报;2002年04期
4 裴道武;关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J];工程数学学报;2004年02期
5 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
6 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期
7 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期
8 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期
9 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期
10 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑:技术科学;1999年01期
中国重要会议论文全文数据库 前2条
1 李志伟;李桂华;;Fuzzy蕴涵代数的若干性质[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
【相似文献】
中国期刊全文数据库 前10条
1 吕传汉;;逻辑代数浅谈[J];贵州师范大学学报(自然科学版);1983年01期
2 邹泽民;布尔代数系统的公理化定义及基本性质定理[J];广西梧州师范高等专科学校学报;2001年03期
3 代建云;吴洪博;;逻辑代数[0,1]上的度量结构[J];计算机工程与应用;2008年02期
4 张秋霞;吴洪博;;粗糙集代数与BR_0代数[J];计算机工程与应用;2009年17期
5 王泽川;计算机简化逻辑代数式[J];南京航空航天大学学报;1993年01期
6 陈艳华;逻辑代数与图论中的运算符号“⊕”[J];黑龙江农垦师专学报;1996年02期
7 李澄举;卡诺图在逻辑代数中的典型应用[J];嘉应学院学报;2001年06期
8 张秋霞;吴洪博;;伪BR_0代数及其性质[J];云南师范大学学报(自然科学版);2008年02期
9 张宏亮;贾宇向;;逻辑代数卡诺图化简方法与技巧[J];科技信息;2009年21期
10 邵晓丽;吴洪博;;次BL代数的修正及其应用[J];太原师范学院学报(自然科学版);2006年04期
中国重要会议论文全文数据库 前10条
1 陈勇明;谢海英;;逻辑代数的集合图方法的注记[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
2 谭彦彬;张瑾;;一种基于逻辑代数的PLC程序组合逻辑设计法[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(上册)[C];2010年
3 张留华;;Peirce逻辑代数中的几个符号及其它[A];2001年逻辑研究专辑[C];2001年
4 周建龙;刘景波;牛海军;张宴速;;逻辑代数的快速程序求解方法[A];全国自动化新技术学术交流会会议论文集(一)[C];2005年
5 王东;首天成;;开卷机对中液压逻辑回路的设计与分析[A];第五届全国流体传动与控制学术会议暨2008年中国航空学会液压与气动学术会议论文集[C];2008年
6 闵珊华;贺仲雄;陈汉辉;;金岳霖的学术思想与现代智能数学[A];第三次金岳霖学术思想研讨会论文集[C];2005年
7 张家龙;;形式逻辑要现代化[A];逻辑学文集[C];1978年
8 张留华;;追寻一位逻辑学伟人[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
9 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];第三次金岳霖学术思想研讨会论文集[C];2005年
10 吴朝木;;单片机在编码器设计中的应用[A];第十六届电工理论学术年会论文集[C];2004年
中国重要报纸全文数据库 前3条
1 本报记者 王道海 于丹;王晓华:柳工再创辉煌的领路人[N];经理日报;2003年
2 本报记者 王道海 于丹;王晓华:柳工再创辉煌的领路人[N];经理日报;2003年
3 宁莉娜;从非日常思维的价值维度看逻辑方法的走向[N];光明日报;2004年
中国博士学位论文全文数据库 前2条
1 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
2 王伟;非可换逻辑代数的滤子及模糊化理论[D];西北大学;2010年
中国硕士学位论文全文数据库 前10条
1 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年
2 纪广月;几种广义仿紧空间的性质[D];成都理工大学;2007年
3 王志明;WBR_0代数的研究[D];陕西师范大学;2011年
4 王龙春;L~*系统中的一类广义重言式与L~*系统的一种扩张[D];陕西师范大学;2003年
5 范欣;几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较[D];陕西师范大学;2011年
6 陈文丽;修正的Atanassov命题逻辑及其广义重言式[D];辽宁师范大学;2003年
7 张宇卓;区间值模糊命题逻辑及其广义重言式[D];辽宁师范大学;2003年
8 陈冬青;BR_0-代数与WBR_0-代数的研究[D];陕西师范大学;2011年
9 刘杰;正则剩余格上的模糊理想基的研究[D];陕西师范大学;2011年
10 高李红;QBL代数与IMTL代数及系统的研究[D];陕西师范大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026