信念及信念改变的扩展研究基于Ranking Theory的信念修.ppt

信念及信念改变的扩展研究——基于Ranking Theory的信念修正Part I A review of belief changes in two approaches （pp2-37）Part II 开题报告前的预备报告(pp38-59) 朱 薇 2015年6月16日 zhu_wei@pku.edu.cn 北京大学哲学系 Part I A review of belief changes in two approaches 朱 薇 2015年3月31日 zhu_wei@pku.edu.cn 北京大学哲学系 内容提要 第一部分：信念的概念 第二部分：信念改变的研究 第三部分：分析与比较 信念 人类有信念 TO地图 凡存在皆合理！ 鸟会飞。 朱薇正在二教做报告。 动物有信念？(⊙o⊙)… 作为哲学概念的信念 人们相信的东西？人们接受的东西？人们以为是真的东西？No. 对命题的态度（propositional attitude）：一种个体对于某个命题的态度的心灵状态（the mental state corresponding to the attitude one has toward a proposition） 对信念的观察——例子1 对信念的观察——天鹅的颜色? 假如有四个命题 A 所有欧洲的天鹅都是白色的。 B 被捕获的鸟是天鹅。 C 被捕获的鸟是从瑞典来的。 D 瑞典属于欧洲。 从以上的命题中得到的推论是_________ E 被捕获的鸟是白色的 故事没有结束…… 假如这时候告诉你：not E: 被捕获的鸟是黑色的，那么会对原来的ABCD有什么影响呢？ 信念改变——自然而然的问题 信念在哪儿改变？ 信念凭什么改变？ 信念能不能不改变？ 信念改变的情况有多少？ 怎么描述信念改变？ 信念怎么改变？ 信念能不能持续改变？ 信念…… 信念改变的研究 信念改变_计算机科学 1980S Doyle J., A True Maintenance System, Artifical Intelligence,12:231-272,1979 Fagin R., J.D. Ullman, and M.Y.Vardi, On the semantics of updates in databases, Proceedings of Second ACM SIGACTSIGMOD,pp.352-365 集中问题：数据库更新 信念改变_计算机科学 计算机科学家们思考过的问题 信念在数据库中如何表达？ 显式表达的信念和那些隐含表达的信念有什么区别？ 如果要划掉一些信念，应根据什么来取舍呢？ 信念改变_计算机科学 代表理论：AGM方法Carlos Alchourron, Peter Gardenfors, David Makinson. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, 1985 三种信念改变模式：约减(Contraction)，修正(Revision)，扩展(Expansion) 六条AGM基本公设 简单地说：信念改变就是从一个信念一致集到另一个信念一致集的过程 信念改变——哲学 从古代信念改变是关于哲学反思的一个主题。 20世纪哲学家们讨论着理性信念改变需要满足的条件。1970年代，Issac Levi（Subjunctives, Dispositions and Chances1977,The Enterprise of Knowledge1980）提出了若干问题以及基本的信念改变的形式化系统。William Harper（“Rational Conceptual Change”1977）也做过相应的一些工作。 信念改变——DEL 信念改变的可能世界语义学 根据可能世界的语义，最主要的原则（观察）：认知主体考虑的（可及的）可能世界越多，那么相信的就越少，反之亦然。 自然而然的想法就是：要对认知主体信念进行改变就要对所有可及的可能世界上动点手脚。 两种信念改变的情况：信念更新和信念提升 信念改变——小结 以上我们已经从感性到理性，从生活到理论上认识了信念改变的现象和有关信念改变的研究，那么接下啦我们将从计算机科学领域的信念修正(AGM)和DEL下的信念修正入手，分析和比较二者区别。欢迎各位老师和同学提出意见！ AGM方法——（1）规范记号 在AGM中，主体的信念们就是一个个逻辑后承封闭的信念集合。为了展现整个理论，我们首先规范记号，在此我直接拷贝我的文章： 单个的信念句子：小写字母p,q,r.. 信念