信念修正逻辑探析

【摘要】信念修正是当前研究的一个热点问题,如何构建信念修正系统形式化描述主体信念的动态变化以及利用更好的技术处理信念修正问题,具有重要的研究意义和价值。但就目前的情况来看,信念修正在取得一定研究成果的同时还存在许多亟待解决的问题。本文介绍了三种不同的研究信念修正的方法,通过分析这几种方法各自的优势和不足,尝试找出各种信念修正理论的共通点和共同的不足之处抑或是面临的问题。同时也希望通过对这几种方法的介绍及比较分析,能管中窥豹似地对现代逻辑中信念修正的研究方法或技术作一个大概的展示。第一部分：通过阐述认知逻辑中知识与信念的不同逻辑特征,强调应将信念概念与知识概念区分开来,从知识到信念。由此引出基本的信念逻辑系统KD45以及为信念修正奠定研究方向和理论基础的AGM系统。第二部分：主要介绍了现代逻辑中研究信念修正的几种方法,主要包括基于可信度的迭代信念修正方法、基于动态认知逻辑的信念修正理论以及基于代数方法的信念修正系统。通过分析这几种具有一定代表性的信念修正研究方法,试图展示现代逻辑对信念修正的各类研究技术和方案。第三部分：这部分是本文的重点,主要内容是详细说明了上述三种信念修正方法各自的优点和不足,通过比较分析三种方法在处理信念修正问题时的优势和不足,尝试找出各种信念修正方法之间的内在关联和共同面临的问题。第四部分：总结了本文的主要内容,并结合对信念修正相关理论的分析,给出了作者的一些观点和结论。
【作者】王忠元；
【导师】唐晓嘉；
【作者基本信息】西南大学，逻辑学，2014，硕士
【关键词】信念修正；AGM理论；迭代修正；动态逻辑；多主体；

【参考文献】
[1]贾明媚.河北省太行山区农民生态行为个体差异研究[D].河北经贸大学,行政管理,2014,硕士.
[2]马冬君.农业科研单位开展农技推广模式研究[D].中国农业科学院,农村与区域发展（专业学位）,2012,硕士.
[3]钟高跃,宋国兵,王欢欢,杨远航,马志宾.带并联电抗器输电线路拍频电流幅值分析[J].电力系统自动化,2015,11:139-145.
[4]王欣.利用图象的估计值平滑噪声的一种方法[J].自动化学报,1988,02:155-158.
[5]毛承.税收征管流程再造的实证研究[D].华中师范大学,公共管理,2014,硕士.
[6]荣小龙.益肾活血法辨治延缓慢肾衰肾功能进展的临床疗效观察[D].北京中医药大学,中医内科学,2014,硕士.
[7]郭尚囡.血液恶性肿瘤患者侵袭性真菌感染的前瞻性观察研究[D].郑州大学,内科学（专业学位）,2013,硕士.
[8]郑希彤.长春市医疗保险大病保障制度的探究[D].吉林大学,社会医学与卫生事业管理,2014,硕士.
[9]陈荣.面向网格计算的按需入侵检测模型及关键技术研究[D].浙江大学,2005.
[10]陈峰.住宅公用部位优化设计研究[D].浙江大学,建筑技术科学,2004,硕士.
[11]王丽丽,邵雪梅,黄磊,梁尔源.黑龙江漠河兴安落叶松与樟子松树轮生长特性及其对气候的响应[J].植物生态学报,2005,03:280-285.
[12]曲佳艺.信息查寻行为与自我效能及思维风格相关性研究[D].吉林大学,情报学,2013,硕士.
[13]王博.内质网应激及IL-17A对小鼠动脉粥样硬化斑块稳定性的影响及机制[D].山东大学,医学免疫学,2014,博士.
[14]刘钊.基于网络服务的多数据库研究[D].华中科技大学,2004.
[15]刘夏.基于ASP.NET的无纸化办公系统的设计与实现[D].吉林大学,软件工程,2014,硕士.
[16]钱利康,白建民.昆钢炼铁设备管理的进步[J].炼铁.2002(S1)
[17]蒋恩英.静电纺丝法制备ZnO/PNIPAAm纳米纤维及其性能研究[D].哈尔滨工业大学,无机化学,2013,硕士.
[18]陈泳兴.醇类萃取发酵液中乙醇的研究[D].哈尔滨工业大学,化学工程与技术,2013,硕士.
[19]郑玲铮.基于不同思维方式的自有品牌评价及购买意愿的影响研究[D].浙江大学,创业管理,2013,硕士.
[20]王方.表面官能团化碳纳米材料对有机污染物吸附行为的研究[D].南开大学,2014.
[21]杨海龙.钛白废盐中有效元素的分离及应用研究[D].渤海大学,应用化学,2013,硕士.
[22]李立鹏.面向目标的图像特征提取和变化检测方法研究[D].北方工业大学,信号与信息处理,2013,硕士.
[23]胡庆艳.安德瑞·高兹的“经济理性批判”理论探微[D].哈尔滨工业大学,马克思主义理论与思想政治教育,2013,硕士.
[24]蔡大宏,苏天健,刘和兴,惠毅敏,李好文,陈磊.酒钢1350mm大型板坯连铸机自动控制系统[J].冶金自动化,1997,06:17-20.
[25]张晓庆.钢纤维混凝土地下洞室静动力学分析及腐蚀试验研究[D].河南科技大学,结构工程,2013,硕士.
[26]肖颖为.数据挖掘技术在企业财务风险评估中的研究应用[D].杭州电子科技大学,控制理论与控制工程,2013,硕士.
[27]方浩.基于服装微气候监测的电子服装[D].武汉纺织大学,物理电子学,2014,硕士.
[28]杨笑宇,庞郑宁,樊启俊,冷喜武,朴林,李勇,李军.基于电力调度工作流构建运行管理的互联互通框架[J].电力系统自动化,2015,01:177-182.
[29]陈素芝.我国引进鱼类的种类及其生产效益的调查研究[J].现代渔业信息.1994(03)
[30]高朋.大庆油田创业集团发展战略研究[D].武汉科技大学,工商管理,2012,硕士.
[31]温忠义.微型钢管桩重力式水泥土挡墙力学特性及其影响因素研究[D].广东工业大学,岩土工程,2014,硕士.
[32]饶伟.三并联数控磨床的钻头螺旋槽加工仿真研究[D].东北大学,机械电子工程,2010,硕士.
[33]方若翩,李峰.长寿命高倍率纯硒电极的设计及其电化学性能研究[A].中国化学会.中国化学会第29届学术年会摘要集——第24分会：化学电源[C].中国化学会:,2014:1.
[34]梁爽.民办养老机构护理队伍建设研究[D].长春工业大学,社会保障,2013,硕士.
[35]周云.交际法在海事英语教学中的应用研究[D].大连海事大学,外国语言学及应用语言学,2013,硕士.
[36]祝曼辰.CRM竞争新契机[J].市场与电脑,2001,01:32-35.
[37]阳琼艳.胶东玲珑金矿中生代岩浆作用与金成矿动力学研究[D].中国地质大学（北京）,地质工程,2013,硕士.
[38]单艳平.基于DIY理念的麻纤维陈设品设计研究[D].中南林业科技大学,工业设计工程,2014,硕士.
[39]张林光.短碳纤维增强铝基复合材料的制备及性能研究[D].河南科技大学,材料工程（专业学位）,2014,硕士.
[40]邓方荣.历史城镇控制性详细规划研究[D].西南交通大学,建筑与土木工程,2014,硕士.
[41]王奎钢.我国电子通信产业竞争力评价研究[D].哈尔滨理工大学,企业管理,2012,硕士.
[42]付桂英.“三美”理论指导下李清照词英译的美感再现[D].上海外国语大学,英语语言文学,2012,硕士.
[43]王礼.电针串联治疗神经根型颈椎病的临床疗效观察[D].北京中医药大学,针灸推拿学,2014,硕士.
[44]祝节刚.论我国股票税收法律制度的完善[D].华中科技大学,法律,2013,硕士.
[45]路杰.酒店式公寓的物业管理现状及对策研究[D].青岛大学,旅游管理,2013,硕士.
[46]张大波,李文沅,熊小伏.基于状态监测的多目标双层优化待修架空线选择模型[J].电力系统自动化,2013,02:23-27.
[47]向坤.中学历史教科书革命话语的困境[D].华中师范大学,学科教学,2014,硕士.
[48]马腾.中国产业发展与区域经济增长关系研究[D].云南财经大学,区域经济学,2014,硕士.
[49]孔庆彧.低剂量辐射对肿瘤患者外周血NK细胞免疫活性的影响及机制研究[D].吉林大学,内科学,2013,硕士.
[50]李娇.CO_2气相碳源反应溅射制备碳掺杂Ti-O薄膜成分、结构和耐蚀性能研究[D].海南大学,材料物理与化学,2014,硕士.