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

命题信念集的非修正处理方法研究

郝璐璐  
【摘要】:知识的表示和推理被认为是人工智能符号主义流派最重要的研究内容之一而在这些研究中,逻辑则充当着重要的角色。逻辑推理是认知智能行为的典型特征,但是在推理过程中,由于不同原因产生了一些不一致信念,而这些不一致信念使知识库出现了矛盾。能够有效地对人工智能中出现的各种不同类型的知识库进行协调性维护,对于推动人工智能特别是基于知识推理的研究具有重要的意义。 非单调逻辑主要的思想就是在知识不完全的情况下进行推理。它修正了由加入新知识而引起的矛盾。然而对已有的知识进行修正,常常会出现这样的情况,即系统丢失了能够推导出来的某些原本希望得到的信息。针对以上问题,邓安生教授提出的信念非修正理论主要克服以上信念修正存在的缺点。这种方法的优势在于,不仅可以得到唯一的结果集,并且将这种方法应用在经典逻辑中时,它表现出了良好的数学性质如:一致性,封闭性,封闭性等。本文是将这种方法的应用范围进一步扩展,使得它更一般性化。 (1)将假说的语法形式限制为命题逻辑下的与或句型集;蕴涵语义采用广义归法对假说的扩充进行定义;并证明了假说的扩充具有良好的数学性质,如一致性,封闭性和外延性等。 (2)对命题逻辑下的与或句型假说的认识进程进行了研究。首先,对与或句型假说的认识进程进行了定义;其次,给出了判断与或句型假说的认识进程是否收敛的条件;最后,证明了与或句假说的认识进程具有收敛性。 (3)实现自动推理算法。首先,根据对与或句型假说使用广义归结方法进行演绎推理过程完成了归结集算法。其次,根据假说扩充的定义完成了结论集的算法。最后将两个算法合并,形成与或句型假说的非修正处理方法的自动推理算法。 本文将信念非修正理论的使用范围从命题逻辑子句集扩展到与或句集下,在对信念的语法形式限制上放宽了要求,同时广义归结方法的应用使得对问题的描述更为自然。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴宝珍;;图书馆微机染毒症状分析和处理方法研究[J];农业图书情报学刊;2008年11期
2 孙伟,马沁怡,刘晓冰;基于设计仓库的产品需求获取与处理方法研究[J];计算机集成制造系统-CIMS;2003年08期
3 龙亮,杨晓光,蒲文静;停车场调查数据处理方法研究[J];交通与计算机;2003年06期
4 吴斌;徐超群;王文彬;吴巍;;基于链接的作者重名处理方法研究与应用[J];计算机科学;2008年03期
5 杨宪泽;谈文蓉;刘玉萍;张楠;殷锋;;汉语同音字和多音字处理方法研究[J];计算机与现代化;2006年02期
6 杨亚军;;基于Excel的海量有序实验数据处理方法研究[J];大学物理实验;2013年01期
7 崔静;殷国富;刘涛;向丹;;机械设计中的曲线图处理方法研究[J];机械工程师;2005年12期
8 徐梦蕾;席隆;;空间科学实验图像数据接收处理方法研究[J];微计算机信息;2010年10期
9 贾琼;;计算机常见故障判断及处理方法研究[J];硅谷;2012年22期
10 彭平;张锦斌;;低空测量雷达数据实时处理方法研究[J];无线电工程;1990年03期
11 赵军;曲仕茹;;激光线扫描测量数据点的处理方法研究[J];兰州交通大学学报;2005年06期
12 于娜;高崎;;仓储物资管理评估指标处理方法研究[J];火力与指挥控制;2008年09期
13 李自胜;基于OpenGL的Windows字体处理方法研究[J];四川工业学院学报;2002年02期
14 王建功;王春明;江良剑;;目标诸元图形化处理方法研究[J];计算技术与自动化;2011年02期
15 朱天琪;;常用数学软件包中二重积分处理方法研究[J];云南师范大学学报(自然科学版);2006年04期
16 徐强;孙乐昌;刘京菊;赵亭;蔡铭;;DHT网络中的多维复杂查询处理方法研究[J];计算机科学;2011年09期
17 李蓉;何克清;刘建晓;;基于RGPS的Web服务预处理方法研究[J];华中师范大学学报(自然科学版);2013年06期
18 王永纲;基于DSP的核信号处理方法研究[J];核电子学与探测技术;2004年05期
19 李细顺;高登平;王静;梁斌;胡秀娟;王秀敏;畅国平;宋昭;王利兵;;极低频电磁观测数据噪声处理方法研究[J];山西地震;2013年04期
20 何东宇,蔡远利;基于方向图的指纹预处理方法研究[J];计算机工程与应用;2004年14期
中国重要会议论文全文数据库 前5条
1 郝思宝;席加伟;苗小莉;;基于ArcGIS的图件注记批量处理方法研究[A];江苏省测绘学会2011年学术年会论文集[C];2011年
2 何春生;张洪军;王天宇;;多普勒全场测速技术中图像处理方法研究[A];中国仪器仪表学会第十三届青年学术会议论文集[C];2011年
3 晁怀京;;土壤样品半挥发有机物检测前处理方法研究[A];第四届海峡两岸分析化学学术会议论文集[C];2006年
4 黄文云;张守保;邓年茂;黄鑫淼;;狭缝摄影胶片的判读处理方法研究[A];第三届全国爆炸力学实验技术交流会论文集[C];2004年
5 周永贵;李小京;;超声波多普勒流量计信号处理方法研究[A];全国第五届信号和智能信息处理与应用学术会议专刊(第一册)[C];2011年
中国硕士学位论文全文数据库 前8条
1 柏云;含铀废水微生物处理方法研究[D];四川大学;2003年
2 郭小琳;加权子句型信念集的静态非修正处理方法研究[D];大连海事大学;2013年
3 周国娟;安塞油田井下压裂废液的综合处理方法研究[D];西安石油大学;2010年
4 李甦;RFID复合事件的漏检与误检处理方法研究[D];辽宁大学;2012年
5 蒋耿明;MODIS数据基础处理方法研究和软件实现[D];中国科学院研究生院(遥感应用研究所);2003年
6 莫晓齐;染色体图像信息处理方法研究[D];湖南大学;2006年
7 张卫娜;子句型信念集的静态非修正处理方法研究[D];大连海事大学;2012年
8 郝璐璐;命题信念集的非修正处理方法研究[D];大连海事大学;2013年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978