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

格值命题逻辑LP(X)中的语义归结方法

张家锋  徐扬  
【摘要】:为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 ;“第四届全国计算机数学学术会议”征文[J];科技导报;2011年20期
2 ;“第四届全国计算机数学学术会议”征文[J];科技导报;2011年24期
3 张越炜;;有必要为数学师范生讲授数学教育软件课程[J];科技信息;2011年17期
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 张家锋;徐扬;;格值命题逻辑LP(X)中的语义归结方法[A];中国运筹学会模糊信息与模糊工程分会第五届学术年会论文集[C];2010年
2 张景中;;自动推理与智能教育软件[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
3 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年
4 朱福喜;余振坤;;用XML进行次协调推理[A];逻辑与认知学术研讨会会议论文集[C];2004年
5 张雷;;一种计算机取证的时间Petri网推理方法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
6 杨炳儒;李龙星;李卫东;;专家系统中一类不确定因果归纳自动推理机制研究[A];2005中国控制与决策学术年会论文集(下)[C];2005年
7 ;关于举办第六届全国计算机应用联合学术会议的征文通知[A];第二届全国流体传动及控制工程学术会议论文集(第四卷)[C];2002年
8 潘炼;袁琦;唐磊;刘斌;;基于智能模糊系统的高炉炉况故障诊断[A];2007年中国智能自动化会议论文集[C];2007年
9 王虹;孙继和;;静态轨道衡远程控制无人值守称量系统的研究与应用[A];第四届中国金属学会青年学术年会论文集[C];2008年
10 万武南;王晓京;刘旸;;基于复合离散混沌动力系统的伪随机数发生器[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
中国博士学位论文全文数据库 前10条
1 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
2 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
3 周俊萍;自动推理与规划问题最小上界和相变规律研究[D];吉林大学;2011年
4 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年
5 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年
6 曹晰;开放型嵌入式旋转机械自动平衡控制系统的研究[D];北京化工大学;2009年
7 陈军;可信平台模块安全性分析与应用[D];中国科学院研究生院(计算技术研究所);2006年
8 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年
9 刘全;基于tableau的自动推理研究[D];吉林大学;2004年
10 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘颖奇;基于网络数据共享的平面几何自动推理系统的研究[D];广州大学;2010年
2 童海峰;基于DFL的多Agent自动推理平台设计[D];苏州大学;2005年
3 刘晓瑢;基于范例、规则推理的新型程序设计ICAI系统研究与实现[D];江西师范大学;2004年
4 王杰生;基于描述逻辑的语义Web服务组合[D];国防科学技术大学;2006年
5 邓柏希;超级画板中自动推理在数学教学中的应用[D];广州大学;2012年
6 逯焱;一种新的基于扩展规则的知识编译方法[D];东北师范大学;2009年
7 章衡;中间逻辑中的范式研究[D];贵州大学;2007年
8 梁亮;风机旋转机械设备故障诊断专家系统的设计与实现[D];北京化工大学;2008年
9 鲁云灿;三维虚拟化学实验及其反应自动推理的研究与实现[D];四川师范大学;2008年
10 王炜程;Tableau基础理论及应用研究[D];苏州大学;2009年
中国重要报纸全文数据库 前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