命题信念集非修正方法的优化策略研究

【摘要】信息的不断更新以及差异性使得它们相互之间的冲突矛盾经常存在于常识推理过程之中。称这一类不确定、不完全信息为信念。在推理的过程中发生矛盾,这时就要采取一定的方法来解决矛盾,这也是逻辑推理领域中的关键研究点。信念修正方法和信念非修正方法是针对这种信念集的不一致性进行维护协调的两种主要方法。信念非修正理论相较于信念修正理论,它避免了在修正的过程中因为删除一些信念后丢失了原本可以推导出的结论,以及得到并非希望所得结论等问题。命题逻辑下的与或型子句集的非修正方法已提出,这使得信念非修正的思想得到进一步拓展应用。这一方法限制语句的语法形式为与或型子句,同时采用普通广义归结作为推理方式。经证明,该方法所求假说扩充性质良好,如一致性,封闭性,外延性等。然而,普通广义归结方法在其归结过程中并没有相关限制,这就导致广义演绎过程中有可能存在着许多无用子句,使这一过程变得冗余繁长。本论文正是针对上述存在的问题,基于非修正的思想,通过对普通广义归结过程使用优化策略来改进与或句型信念集的非修正方法。本论文选取了两种优化策略来优化上述方法。首先采用广义删除策略,把广义归结过程中的那些广义归结结果为重言式或者是被蕴含的与或句舍去。接着采用广义锁归结策略,通过给与或句的原子加锁,并且规定每次广义归结只能选取含有最小锁的与或句,以此来限制其参加广义归结。本论文证明了经由这两种优化策略改进与或句型信念集非修正方法后,所得假说扩充并没有产生变化,性质得以保留。此外,本论文还给出了基于这两种优化策略改进的与或句型信念集非修正方法的算法。广义删除策略优化的实验结果表明,策略是有效的。
【作者】惠骁；
【导师】邓安生；曲衍鹏；
【作者基本信息】大连海事大学，软件工程，2014，硕士
【关键词】信念非修正；与或句；广义删除策略；广义锁归结；

【参考文献】
[1]岳宁.消费、投资与经济增长[D].南京财经大学,西方经济学,2012,硕士.
[2]穆旭冉.温敏性超支化聚合物的研究和应用[D].天津大学,化学,2013,硕士.
[3]陈涤.网络化测控系统中WSN几个关键问题的研究[D].山东大学,2007.
[4]刘杰.润扬长江公路大桥北锚碇超深基坑施工技术研究[D].武汉理工大学,船舶与海洋工程,2003,硕士.
[5]陈亮亮.种植密度和施氮量对粮饲兼用玉米产量和饲用品质的影响[D].甘肃农业大学,作物栽培学与耕作学,2013,硕士.
[6]颜湘军.南宁机场信息化系统规划研究[J].桂林航天工业高等专科学校学报,2004,03:9-11.
[7]高啸尘.电气工程及其自动化专业规范研究[J].电子世界,2014,08:181.
[8]赵彩霞,张立民,曹丽梅.制度环境对政府绩效审计发展的影响研究[J].审计研究,2010,04:22-28.
[9]徐斐燕.鲜切西兰花的保鲜技术研究[D].浙江大学,2006.
[10]乔健.装配式凸轮轴连接技术研究及数控装配机研制[D].吉林大学,2008.
[11]王贵鑫.铝材管道中激光激发声表面波的数值模拟研究[D].南京邮电大学,光学,2013,硕士.
[12]程盼.基于生态平衡的隧道地下水渗控方法及限排水标准研究[D].中南大学,土木工程,2014,博士.
[13]黄金来.哈尔滨车辆段建设项目进度计划研究[D].吉林大学,工业工程,2014,硕士.
[14]吴存花.耳穴配合颈夹脊穴针刺治疗神经根型颈椎病的临床研究[D].甘肃中医学院,针灸推拿学,2014,硕士.
[15]王仁卿,藤原一绘,尤海梅.森林植被恢复的理论和实践:用乡土树种重建当地森林——宫胁森林重建法介绍[J].植物生态学报,2002,S1:133-139.
[16]周冬青.新型原位聚合酶链反应在检测肝组织中HBV cccDNA的临床应用价值研究[D].桂林医学院,病理学与病理生理学,2012,硕士.
[17]黄杨.自贡卧龙湖国际旅游区营销战略研究[D].西南交通大学,工商管理（专业学位）,2013,硕士.
[18]华斌.贝叶斯网络在水电机组状态检修中的应用研究[D].华中科技大学,2004.
[19]陈礼恭,洪潇潇,胡克用,胥芳.基于状态反馈的H∞重复控制逆变技术研究[J].机电工程,2014,02:234-238.
[20]王红军.论我国性别就业歧视案件举证责任制度的选择[D].中国政法大学,法律,2013,硕士.
[21]窦纪军.西藏高等师范教育的现状与发展策略研究[D].西藏大学,教育管理,2014,硕士.
[22]袁晓琳.大运河遗产旅游地社区化服务开发取向研究[D].河北师范大学,人文地理学,2014,硕士.
[23]雷寅.海洋新型α-淀粉酶AmyP优势降解大米生淀粉特性的研究[D].安徽大学,微生物学,2013,硕士.
[24]狄波.成都铁路局电子公文交换系统的研究与实现[D].西南交通大学,软件工程,2014,硕士.
[25]豆金昌.锂离子电池健康评估及剩余使用寿命预测方法研究[D].南京航空航天大学,测试计量技术及仪器,2013,硕士.
[26]刘洋.上皮性卵巢癌组织与化疗耐药相关的基因谱筛查[D].河北医科大学,妇产科学（专业学位）,2014,硕士.
[27]马丽娜.基于评价理论的中文仲裁裁决书情态动词人际意义研究[D].重庆大学,外国语言学及应用语言学,2014,硕士.
[28]孙萌萌.修辞中的“画意”[D].天津大学,语言学及应用语言学,2013,硕士.
[29]张光菊.多孔MOFs材料的合成及性能研究[D].苏州大学,2014.
[30]刘琛.从航运企业的角度看海事公共关系建设[D].上海外国语大学,工商管理,2013,硕士.
[31]王芳.A股市场股利政策对比分析[D].上海交通大学,金融,2013,硕士.
[32]王仁忠.放牧影响下羊草草地主要植物种群生态位宽度与生态位重叠的研究[J].植物生态学报,1997,04:9-16.
[33]杨富文,涂健.H~∞状态反馈控制及其最优解的探讨[J].自动化学报,1993,05:629-633.
[34]高安定.Sox2在乳腺癌浸润转移中的作用分析[D].福建医科大学,临床检验诊断学,2014,硕士.
[35]叶元瑜,刘有明,计福来,田立佳.谷物种子干燥机的现状和发展[J].中国农机化.2003(05)
[36]贾静雅.产融结合理论与实践[D].云南财经大学,世界经济,2013,硕士.
[37]苏春华,刘思峰.灰色随机线性时滞系统的渐近稳定性[J].控制与决策,2008,05:571-574+580.
[38]赵波,王赟,芦俊.多分量地震勘探技术新进展及关键问题探讨[J].石油地球物理勘探,2012,03:506-516+360+518.
[39]韩道兰.机组组合问题紧外逼近与内外逼近模型方法及优化问题QP-free算法研究[D].广西大学,电力系统及其自动化,2013,博士.
[40]高宁.具身研究中的额外变量控制：批判与实证[D].曲阜师范大学,基础心理学,2013,硕士.
[41]殷文金.新型碳纳米体系及物性[D].湘潭大学,2013.
[42]何孜颖.论邓小平的廉政建设思想[D].湖南师范大学,马克思主义中国化研究,2013,硕士.
[43]袁力哲,焦爱红.浅谈数据挖掘技术在消防系统中的应用[J].消防科学与技术,2004,06:564-566.
[44]孙艳.基于GSM通信方式的水情遥测系统研究与应用[D].河海大学,计算机应用技术,2004,硕士.
[45]陈继刚.四川移动来电提醒业务系统的设计与实现[D].电子科技大学,软件工程（专业学位）,2012,硕士.
[46]郭风.奥博公司经理信息系统的分析与设计[D].西安理工大学,2002.
[47]刘青丽.北京市空巢老人家庭代际支持状况研究[D].首都经济贸易大学,人口学,2013,硕士.
[48]孙隽.母语迁移对非英语专业大学生英语写作的影响[D].山东师范大学,外国语言学及应用语言学,2013,硕士.
[49]左江琴.ZnO微/纳米结构的液相合成及其形成机理研究[D].河北师范大学,物理化学,2014,硕士.
[50]刘伟.大宇发电机组用发动机在华营销策略研究[D].对外经济贸易大学,工商管理,2004,硕士.