收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究

李文江  
【摘要】: 格是一类重要的代数结构,现实世界中的很多现象都可以用格来刻画,尤其是不可比较性。而建立在格上的格值逻辑系统把已有多值逻辑的链状真值域拓展到较一般的格上,既能处理全序性信息,又能处理非全序性信息,从而更有效地描述人类推理、判断和决策的不确定性。广义模态逻辑属哲学逻辑范畴,对于刻画事物的“势态”、人物的“情态”和过程的“时态”是一种十分有效的工具。本文在格值命题逻辑系统LP(X)和格值一阶逻辑系统LF(X)的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其α-归结原理做了初步探讨,主要在下述三个方面取得了研究成果: 第一部分:关于格值模态命题逻辑系统及其归结方法的研究 在此部分,把模态算子N(必然)和P(可能)引入格值命题逻辑系统LP(X),建立了新的格值模态命题逻辑系统LMP(X),并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是α-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统LMP(X)的α-归结原理,给出了计算α-直接归结式和α-自归结式的规则,并总结出具体的归结方法。 第二部分:关于格值时态命题逻辑系统及其归结方法的研究 此部分的主要工作是在格值命题逻辑系统LP(X)中引进时态算子E(曾经)、F(将会)及其对偶算子H(曾经总是)、G(将会总是),提出了以时轴为语境的格值时态命题逻辑系统LTP(X),并给出其具体的语义解释和语法结构,并讨论了它的一些性质,证明了该系统的可靠性和协调性。此外,研究了与时间有关的(α,t)-归结原理,给出了计算时态归结式的规则,并提出了时态归结的具体方法。 第三部分:关于格值模态一阶逻辑系统及其归结原理的研究 第n页 西南交通大学博士研究生学位论文 这一部分主要是在格值模态命题逻辑系统LMP队)中引进量词和谓词,建 立格值模态一阶逻辑系统LMF(广 并给出其语又解释和语法结构,证明了系 统的可靠性和协调性;另外,为了判断公式的可满足性,定义了格值模态一阶 公式的 Skolem标准型和体解释;在此基础上,对基于系统LMF()的a一归 结原理进行了初步探讨.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 马骏,秦克云,徐扬;基于有限格蕴涵代数的格值命题逻辑语义系统[J];西南交通大学学报;2002年05期
2 马骏,高雅,秦克云,徐扬;基于有限格蕴涵代数的格值命题逻辑语法系统[J];西南交通大学学报;2004年01期
3 李海明,裴峥,孟丹,徐扬;关于格蕴涵代数的结构的一些讨论[J];模糊系统与数学;2003年04期
4 秦克云,徐扬;格值命题逻辑系统L(X)(I)[J];模糊系统与数学;1997年04期
5 孟彪龙;格蕴涵代数的素滤子[J];西北大学学报(自然科学版);1998年03期
6 宋振明,郑逢斌;关于内射的格蕴涵代数(英文)[J];数学季刊;2000年01期
7 李文江,徐扬;格值时态命题逻辑LTP(X)的语义问题[J];西南交通大学学报;2004年05期
8 孟丹,郑逢斌,徐扬,秦克云;四值非链格值命题逻辑系统LP_4(X)的归结原理[J];河南大学学报(自然科学版);2003年03期
9 秦克云,徐扬,宋振明;格值命题逻辑系统L(X)(Ⅱ)[J];模糊系统与数学;1998年01期
10 沈博;王宝仁;;石英弹簧重力仪的倾斜标定法[J];石油仪器;1991年01期
11 许庆(氵赛);;M-3型磁力仪的小型格值线圈[J];地球物理勘探;1959年06期
12 朱怡权,曹喜望;格蕴涵代数的一个简化公理系[J];黄冈师范学院学报;2000年03期
13 李小光;;格蕴涵代数的强LI-理想[J];数学学习与研究(教研版);2008年07期
14 秦亚;刘熠;;由序滤子确定的滤子[J];内江师范学院学报;2010年04期
15 朱虎,冯海英;石英水平摆式倾斜仪的格值常数测定[J];地震学报;1980年03期
16 朱淑霞;CG-2型重力仪格值变化对流动重力段差测量值的影响[J];大地测量与地球动力学;1982年04期
17 贺鹏飞,蒋幼华,鲁家珍,舒而刚;石英弹簧重力仪格值的温度改正方法及应用效果[J];大地测量与地球动力学;1985年02期
18 徐扬;秦克云;;格H蕴涵代数与格蕴涵代数类[J];河北建筑科技学院学报;1992年03期
19 黄菀蓉,宋振明;格蕴涵代数与双格半群[J];河南大学学报(自然科学版);1997年02期
20 朱怡权,李峥嵘;关于格蕴涵代数[J];黄冈师范学院学报;1997年04期
中国重要会议论文全文数据库 前10条
1 刘龙章;费忠华;;关于格值模的若干结果[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
3 刘新;殷明娥;邹丽;;基于十元格蕴涵代数的语言值评价方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
4 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年
5 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
6 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
7 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年
8 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年
9 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年
10 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
2 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
3 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
4 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
5 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
6 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
7 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
9 杨丽;基于格蕴涵代数的格值概念格及其不确定性推理与决策研究[D];西南交通大学;2010年
10 张杰;格值Smooth拓扑分子格范畴与L-拓扑空间中若干问题的研究[D];首都师范大学;2002年
中国硕士学位论文全文数据库 前10条
1 赵丽;格蕴涵代数及其乘积结构研究[D];西南交通大学;2012年
2 吴静杰;下推格值自动机与模糊系统[D];陕西师范大学;2004年
3 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
4 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
5 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年
6 吕瑞娟;格蕴涵代数及其特殊滤子研究[D];西南交通大学;2012年
7 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年
8 赵磊;模糊粗糙理论及其模态逻辑的研究[D];电子科技大学;2001年
9 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年
10 李晶;基于能力与思维的协商公理体系多Agent 系统模型[D];云南师范大学;2003年
中国重要报纸全文数据库 前10条
1 崔怀斌 江致礼 靳国立;恪尽职守确保“两会”安全[N];人民武警;2003年
2 周慧敏 骆丹君;富润集团“非典”时期非常对策[N];中国企业报;2003年
3 樊晓晋;神一聚力凝神保“两节”发电[N];华北电力报;2004年
4 王宁(作者系中山大学社会学系消费者研究工作室教授、博导,英国谢菲尔德大学博士);消费值标准提高改变消费行为[N];南方日报;2004年
5 祁晓玲;帕拉丁上市 打造中国SUV第一品牌[N];中国工业报;2003年
6 马文宽 余庆锋;棉花期价走高凸显供需矛盾[N];国际商报;2005年
7 本报记者 邵文杰;学生、民工专列:铁路的人文关怀[N];光明日报;2005年
8 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年
9 王志洪;重庆南川区民政干部深入一线救灾[N];中国社会报;2008年
10 广州本田执行副总经理/曾庆洪;核心竞争力来自于企业配置资源的能力[N];中国工业报;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978