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

基于格蕴涵代数的格值逻辑系统及其自动推理的研究

马骏  
【摘要】: 非经典逻辑的研究一直是人工智能领域中一个非常引人关注的研究方向。目前,基于非经典逻辑的自动定理证明理论和技术不断发展,并已得到许多应用。本文基于国内外许多学者的研究工作,对格蕴涵代数及以格蕴涵代数为真值域的格值逻辑系统中的归结方法进行了较系统深入的研究,主要在下述三个方面取得了研究成果: 一、关于格蕴涵代数的研究 1、讨论了格蕴涵代数中的余元问题,得到了寻找余元的一种通用有效方法; 2、证明了◇_5,◇_6,◇_7,◇_8和◇_(8+k)等几类特殊的分配格不能构成格蕴涵代数; 3、讨论了非链和非布尔型格蕴涵代数的结构特点,证明了只有唯一对偶原产的格蕴涵代数是链。 二、关于基于格蕴涵代数的格值逻辑系统自动推理的研究 1、分析了经典逻辑归结原理在语义和语法方面的特点,指出了格值归结方法和经典归结方法在语义及语法方面的异同; 2、给出了经典逻辑归结方法的一个代数化实现方案,从而将经典命题逻辑的归结问题转化为同余方程组解的判定问题; 3、研究了格值命题逻辑系统LP(X)中简单子句和复杂子句的归结问题,提出了基于蕴涵滤子的归结概念,构造了一种有效的归结方法,并证明了该归结方法的可靠性和完备性; 4、讨论了格值一阶逻辑系统SLF(X)中关于蕴涵滤子的归结概念和方法,提出了格值一阶逻辑归结原理的Skolem标准化,Herbrand域等概念,并讨论了它们的性质; 5、讨论了格值逻辑中直接使用经典逻辑归结方法的局限,提出了限制归结概念。 三、关于格值逻辑系统L_(vp)的研究 第 n页 西南交通大学博士研究生学位论文 1、提出并研究了((。,川-语义导出概念、逻辑公式集合保持…,q)-规则的 慨念和条件; 2、分析了格值逻辑系统Kp中选取公理集合和推理规则的条件;提出并研 究了与赋值相关的证明概念,证明了系统的可靠性定理、弱演绎定理; :3、提出并研究了与赋值相关的逻辑公式集的协调性概念,证明了赋值下的 协调性定理.


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张家锋;徐扬;何星星;;格值语义归结推理方法[J];计算机科学;2011年09期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 刘龙章;费忠华;;关于格值模的若干结果[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
2 刘新;殷明娥;邹丽;;基于十元格蕴涵代数的语言值评价方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
3 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
4 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
5 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年
6 ;运用SPC手段,降低工程虚发报警——大连松下汽车电子系统有限公司 腾飞QC小组[A];2003年度电子工业优秀质量管理小组成果质量信得过班组经验专集[C];2003年
7 孟培源;;格值诱导映射与完备序同态[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
8 邹志刚;;水准仪竖轴运转误差与竖轴装置误差的检定新方法[A];2000年全国测绘仪器综合学术年会论文集[C];2000年
9 陈莹;刘序俨;倪晓寅;王林;陈光;郑小菁;;福建与北京两地对汶川大震的体应变响应分析[A];中国地震学会成立三十年学术研讨会论文摘要集[C];2009年
10 郝洪涛;李辉;;相对重力仪格值一次项系数变化检测[A];中国地球物理2010——中国地球物理学会第二十六届年会、中国地震学会第十三次学术大会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
2 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
3 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
4 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
5 王伟;格值命题逻辑系统LP(X)中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年
6 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
7 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
8 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
9 杨丽;基于格蕴涵代数的格值概念格及其不确定性推理与决策研究[D];西南交通大学;2010年
10 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 赵丽;格蕴涵代数及其乘积结构研究[D];西南交通大学;2012年
2 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
3 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
4 郭玲;格蕴涵代数及生成滤子结构研究[D];西南交通大学;2012年
5 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年
6 吕瑞娟;格蕴涵代数及其特殊滤子研究[D];西南交通大学;2012年
7 吴静杰;下推格值自动机与模糊系统[D];陕西师范大学;2004年
8 李苏妮;加权Moore机的同余与格值Moore机的约化[D];陕西师范大学;2011年
9 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年
10 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年
中国重要报纸全文数据库 前10条
1 崔怀斌 江致礼 靳国立;恪尽职守确保“两会”安全[N];人民武警;2003年
2 周慧敏 骆丹君;富润集团“非典”时期非常对策[N];中国企业报;2003年
3 樊晓晋;神一聚力凝神保“两节”发电[N];华北电力报;2004年
4 王宁(作者系中山大学社会学系消费者研究工作室教授、博导,英国谢菲尔德大学博士);消费值标准提高改变消费行为[N];南方日报;2004年
5 祁晓玲;帕拉丁上市 打造中国SUV第一品牌[N];中国工业报;2003年
6 马文宽 余庆锋;棉花期价走高凸显供需矛盾[N];国际商报;2005年
7 王志洪;重庆南川区民政干部深入一线救灾[N];中国社会报;2008年
8 广州本田执行副总经理/曾庆洪;核心竞争力来自于企业配置资源的能力[N];中国工业报;2003年
9 张兴波 王生举;固原市支队严格规范机关值班秩序[N];人民武警;2005年
10 记者 张晓松;国家工商总局说:严查![N];新华每日电讯;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978