信念修正逻辑初探

发布时间：2017-05-29 13:09

  本文关键词：信念修正逻辑初探，由笔耕文化传播整理发布。

【摘要】： 经典的信念逻辑系统S_(KD45)只能表达主体某个静止状态的信念及推理,事实上,在收到新信息后,主体的信念将发生变化。动态认知逻辑是动态逻辑和认知逻辑相结合的结果,它为信息变化提供了一种形式化的处理方法。本文旨在建立一个能处理信念变化的信念修正逻辑系统S_(DBR)。 第一部分:首先介绍经典的信念逻辑系统S_(KD45),该系统能较好地刻画相信算子的性质:无矛盾性、正内省性、负内省性,同时指出它的不足——不能描述动作所产生的变化,也不能刻画多主体间的相互作用。接着介绍传统的信念修正理论——AGM理论,它虽然能反映主体信念变化的过程,但并不是一个形式化的系统。 第二部分:为了将信念排序,首先介绍顺序条件函数,它可以处理当主体收到带一定牢固度的命题后信念是如何变化的。在此基础上,引入静态的信念逻辑系统S_(SBR),给出语言、语义以及证明系统,最后给出完备性的证明。 第三部分:在静态的信念逻辑系统S_(SBR)基础上,将行动模型在认知逻辑中的执行作为动态模态算子引入逻辑语言中,建立动态的信念修正逻辑系统S_(DBR)。由于S_(DBR)可以归约到S_(SBR),所以可以证明S_(DBR)也是完备的。 第四部分:对S_(DBR)做出评价,指出不足之处,并指明在未来需要进一步研究的问题。
【关键词】：信念 AGM理论 顺序条件函数 信念修正 动态信念修正逻辑
【学位授予单位】：西南大学
【学位级别】：硕士
【学位授予年份】：2008
【分类号】：B812
【目录】：

• 摘要4-5
• Abstract5-6
• 文献综述6-8
• 第1章 经典的信念逻辑8-13
• 1.1 信念逻辑系统S_(KD45)8-9
• 1.2 信念修正的AGM理论9-13
• 第2章 信念逻辑系统S_(SBR)13-23
• 2.1 顺序条件函数13-16
• 2.2 S_(SBR)的证明系统16-19
• 2.3 S_(SBR)系统完备性的证明19-23
• 第3章 信念修正逻辑系统S_(DBR)23-29
• 3.1 S_(DBR)的证明系统23-27
• 3.2 S_(DBR)系统完备性的证明27-29
• 第4章 总结与展望29-30
• 参考文献30-31
• 致谢31

【参考文献】

中国期刊全文数据库 前2条

1 刘瑞胜,孙吉贵,刘叙华;认识逻辑(1):关于知识和信念的逻辑框架[J];计算机学报;1998年07期

2 熊立文;信念修正的AGM理论[J];现代哲学;2005年01期

中国博士学位论文全文数据库 前1条

1 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

  本文关键词：信念修正逻辑初探，由笔耕文化传播整理发布。

，

本文编号：404948