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

格值语义归结推理方法

张家锋  徐扬  何星星  
【摘要】:归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张家锋;徐扬;何星星;;四值非链格值命题逻辑系统L_4P(X)的语义归结方法[J];计算机应用研究;2011年09期
2 许有军;欧阳丹彤;叶育鑫;何加亮;;间接使用扩展规则求解#SAT问题[J];吉林大学学报(工学版);2011年04期
3 郑焕;张景中;;可由用户持续发展的几何自动推理平台的推理算法[J];计算机应用;2011年08期
4 郭岗;;计算机专业信息安全课程教学内容研究[J];洛阳师范学院学报;2011年08期
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 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
2 张景中;;自动推理与智能教育软件[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
3 刘新;殷明娥;邹丽;;基于十元格蕴涵代数的语言值评价方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
4 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
5 朱福喜;余振坤;;用XML进行次协调推理[A];逻辑与认知学术研讨会会议论文集[C];2004年
6 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
7 杨炳儒;李龙星;李卫东;;专家系统中一类不确定因果归纳自动推理机制研究[A];2005中国控制与决策学术年会论文集(下)[C];2005年
8 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
9 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年
10 ;关于举办第六届全国计算机应用联合学术会议的征文通知[A];第二届全国流体传动及控制工程学术会议论文集(第四卷)[C];2002年
中国博士学位论文全文数据库 前10条
1 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
2 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
3 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
4 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年
5 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
6 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年
7 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年
8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
9 伊良忠;格蕴涵代数及语言真值不确定性推理研究[D];西南交通大学;2007年
10 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 杜绍坤;格蕴涵代数及其与相关逻辑代数的关系研究[D];西南交通大学;2011年
2 吴明慧;关于格蕴涵代数及其子结构的研究[D];西南交通大学;2011年
3 赵丽;格蕴涵代数及其乘积结构研究[D];西南交通大学;2012年
4 张宝华;关于格蕴涵代数性质的研究[D];西南交通大学;2003年
5 刘颖奇;基于网络数据共享的平面几何自动推理系统的研究[D];广州大学;2010年
6 童海峰;基于DFL的多Agent自动推理平台设计[D];苏州大学;2005年
7 刘晓瑢;基于范例、规则推理的新型程序设计ICAI系统研究与实现[D];江西师范大学;2004年
8 白利军;格蕴涵代数与相关逻辑代数关系的研究[D];西南交通大学;2007年
9 李兴宽;BCK代数与De Morgan等代数的关系研究[D];昆明理工大学;2006年
10 王杰生;基于描述逻辑的语义Web服务组合[D];国防科学技术大学;2006年
中国重要报纸全文数据库 前9条
1 王惠临;意义计算研究的兴起与发展[N];中国社会科学院报;2009年
2 历山;张景中:半个世纪的数学情缘[N];大众科技报;2006年
3 记者:游雪晴 周清春 首席:高小山;数学机械化:用电脑解放人脑[N];科技日报;2004年
4 本报记者 许琦敏;吴文俊 三十年开拓数学“中国路”[N];文汇报;2006年
5 记者 刘垠;吴文俊荣获2006年邵逸夫数学科学奖[N];大众科技报;2006年
6 记者 刘肖勇;“超级画板”软件扬威国际[N];广东科技报;2008年
7 杨保国;中国科大研制的机器人会说话能干活[N];科技日报;2009年
8 郭韦钰 丁连红;语义Web和语义网格[N];中国计算机报;2004年
9 张寅生 中国科学技术信息研究所;认知科学的方法及发展趋势[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978