基于公开宣告逻辑的动态理论探析
本文关键词： 认知逻辑 动态逻辑 公开宣告 信念修正 偏好变化 出处：《华东师范大学》2017年硕士论文 论文类型：学位论文
【摘要】：上世纪中后期,芬兰哲学家、逻辑学家辛提卡在《知识与信念》一书中,在分析认知概念的基础上,建立了第一个认知逻辑形式系统。此后,认知逻辑从类模态的研究发展到了单主体、多主体,其对知识的刻画也逐渐涉及到了公共知识、共同知识、协同知识、分享知识等等。然而伴随认知逻辑日益受到计算机、经济学、博弈论以及人工智能等领域关注,其只能刻画静态场景状态的局限性日渐突出。于是,认知逻辑的动态化理论应运而生。动态化的认知逻辑可以很好地克服之前辛提卡型不能处理的知识与信念变化的不足,初步在逻辑上实现了对认知主体进行信息更新和信念变化的严格刻画。本文通过引介动态认知逻辑基础理论——公开宣告逻辑(public announcement logic)PAL,对卡片游戏和"泥孩难题"进行了以PAL为基础的动态分析,并在此基础上探析PAL的系统特征及其在处理信息更新上的技术细节。此外文章结合动态语言对现实案例进行考察,将其与不完全信息条件下因信念变化而造成的偏好变化相关联,进行更为细致的动态分析,所探讨的主要问题包括信息多样化问题以及对逻辑理论与现实实践之间的关系进行阐述。
[Abstract]:In 0th century, Sintika, a Finnish philosopher and logician, established the first system of cognitive logic form on the basis of the analysis of cognitive concepts in knowledge and belief. Cognitive logic has developed from the study of the model of class to single subject and multi-agent, and its portrayal of knowledge has gradually involved public knowledge, common knowledge and collaborative knowledge. However, with the increasing concern of cognitive logic in computer, economics, game theory and artificial intelligence, the limitations of which can only depict the static state of scene become more and more prominent. The dynamic theory of cognitive logic emerges as the times require. The dynamic cognitive logic can overcome the deficiency of the change of knowledge and belief which can not be handled by Sintica-type. In this paper, we introduce the basic theory of dynamic cognitive logic, that is, open proclamation logic. Public announcement logic)PAL. The dynamic analysis of card game and mud child puzzle based on PAL is carried out. On this basis, this paper analyzes the system characteristics of PAL and its technical details in dealing with information updating. In addition, this paper combines dynamic language to investigate practical cases. It is associated with the change of preference caused by the change of belief under the condition of incomplete information, and makes a more detailed dynamic analysis. The main problems discussed include the diversification of information and the relationship between logic theory and practical practice.
【学位授予单位】：华东师范大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：B815.3
【相似文献】
相关期刊论文 前10条
1 弓肇祥;认知逻辑的新发展[J];哲学动态;2002年03期
2 王左立;试论认知逻辑研究中的若干问题[J];南开学报;2003年06期
3 J.范·本特姆;刘奋荣;;认知逻辑与认识论之研究现状[J];世界哲学;2006年06期
4 李小五;何纯秀;;一个刻画理解的认知逻辑[J];西南大学学报(社会科学版);2009年05期
5 刘奋荣;;从方法论的角度看动态认知逻辑的研究[J];世界哲学;2010年03期
6 汪文甫;认知逻辑与社会发展[J];探求;2002年04期
7 许涤非;自信性认知逻辑[J];湖南科技大学学报(社会科学版);2004年05期
8 李夏妍,张敏强;认知逻辑研究概观[J];首都师范大学学报(社会科学版);2005年05期
9 张君;;认知逻辑和知识论:可能的融通[J];哲学研究;2007年04期
10 约翰·范本特姆;;在动态认知逻辑中融合观察与内省(英文)[J];逻辑学研究;2008年01期
相关会议论文 前8条
1 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年
2 郭美云;;一般群体知识的多主体认知逻辑[A];2005年逻辑研究专辑[C];2005年
3 刘奋荣;;外界信息如何改变我们的知识、信念和偏好?[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年
4 李夏妍;张敏强;;认知逻辑研究概观[A];第十届全国心理学学术大会论文摘要集[C];2005年
5 郭美云;;“和积之谜”的动态认知逻辑分析[A];2007年全国现代逻辑学术研讨会论文集[C];2007年
6 张学立;董英东;;我国概率动态认知逻辑研究简况[A];第一次南开逻辑学专业学人学术研讨会论文集[C];2012年
7 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
8 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年
相关博士学位论文 前1条
1 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
相关硕士学位论文 前7条
1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年
2 刘大伟;真信念及建构理性[D];华中师范大学;2015年
3 桂海斌;基于公开宣告逻辑的动态理论探析[D];华东师范大学;2017年
4 刘珂;动态认知逻辑发展初探[D];河南大学;2008年
5 熊尚聪;论认知逻辑在刻画实际认知过程中的困境与出路[D];中国政法大学;2014年
6 程莉;概率动态认知逻辑初探[D];西南大学;2009年
7 周广强;解释诊断在动态认知逻辑中的研究与实现[D];中山大学;2014年
，本文编号：1489296
本文链接：https://www.wllwen.com/shekelunwen/ljx/1489296.html
