3月10日侯丽平报告:探讨如何运用动态认知逻辑的方法研究信念修正

发布时间:2017-03-06 来源:本站原创 作者:本站编辑   浏览次数:

题目:探讨如何运用动态认知逻辑的方法研究信念修正

报告人:侯丽平

时间:3月10日19:00 地点:逻辑与智能研究中心3203


摘要:首先,介绍Johan van Bentham 如何运用非标准的动态认知逻辑的方法,即运用字典排序和精英排序等方法来进行信念修正的,以及他是如何运用字典排序这样的动态认知逻辑来表述AGM的success公理的。其次,分析如何得出字典排序和精英排序这种逻辑的归约公理。并提出了一些值得探讨的问题。例如,能否运用动态认知逻辑来表述所有的AGM公理,能否找到AGM方法与动态认知逻辑方法之间的联系等;能否运用Johan van Benthem 讨论信念修正的动态逻辑方法来讨论以撒谎宣告为着眼点的信念修正。