亚历山大·巴尔塔格;斯梅茨，索尼娅 动态交互信念修正的定性理论。 （英语） Zbl 1384.03099号 Arló-Costa，Horacio（编辑）等人，《形式认识论阅读》。资料手册。在Henrik Boensvang和Rasmus K.Rendsvig的协助下编辑。查姆：施普林格（ISBN 978-3-319-20450-5/hbk；978-3-3169-20451-2/电子书）。斯普林格哲学研究生文集1813-858（2016）。 摘要：我们提出了一种逻辑设置，该设置在动态-科学逻辑中包含了一个信念-再认识机制。作为信念修正的“静态”基础，我们使用认知似然模型，以及基于两个认知算子：一种“知识”形式（K）（标准S5，完全内省，概念）和一种“安全信念”形式（“弱”，非消极内省，观念，捕获莱勒的“不可行知识”的一个版本）。为了处理“动态”信念修正，我们引入动作可信度模型代表了各种类型的“强词夺理事件”。动作模型通过修改后的更新产品操作“动作”状态模型：“动作优先级”更新。这是AGM修订的自然动态概括，优先考虑传入信息（即“行动”），而不是先前的信念。我们完全公理化了这个逻辑，并展示了我们的更新机制如何以统一的方式“模拟”，许多不同的信仰修正政策.有关整个系列，请参见[Zbl 1348.03005号]. 引用于三文件 MSC公司： 03B42号 知识和信念的逻辑（包括信念变化） PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}和\textit{S.Smets}，斯普林格梯度。文本Philos。1813--858（2016；Zbl 1384.03099） 全文： 内政部 参考文献： [1] Alchourrón，C.E。；Gärdefors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正函数》，《符号逻辑杂志》，50，2，510-530（1985）·Zbl 0578.03011号 ·doi:10.2307/2274239 [2] Aucher，G.（2003）。更新逻辑和信念修正的组合系统。阿姆斯特丹大学硕士论文。ILLC出版物MoL-2003-03·Zbl 1116.68091号 [3] Aumann，R.J.，《互动认识论I：知识》，《国际博弈论杂志》，第28、3、263-300页（1999年）·Zbl 0961.91040号 ·doi:10.1007/s001820050111 [4] Baltag，A.，《可疑玩家的逻辑：游戏中的认知行为和信念更新》，《经济研究公报》，54，1，1-46（2002）·数字对象标识代码：10.1111/1467-8586.00138 [5] Baltag，A。；Moss，L.S.，《认识程序的逻辑学》，Synthese，139,2165-224（2004）·Zbl 1100.03010号 ·doi:10.1023/B:同步0000024912.56773.5e [6] Baltag，A。；莫斯，L.S。；Solecki，S。；Gilboa，I.，《公开声明、常识和私人怀疑的逻辑》，《第七届理性与知识理论方面会议论文集》（TARK 98），摩根·考夫曼出版社，43-56（1998），旧金山：加利福尼亚州，美国，旧金山 [7] Baltag，A。；Sadrzadeh，M.，多智能体动态信念修正代数，理论计算机科学电子笔记，157，4，37-56（2006）·Zbl 1273.68369号 ·doi:10.1016/j.entcs.2006.02.012 [8] 巴尔塔格，A。；Smets，S.，条件多角学模型：动态信念修正的定性方法，理论计算机科学电子笔记，165，5-21（2006）·Zbl 1262.03026号 ·doi:10.1016/j.entcs.2006.05.034 [9] Baltag，A.和Smets，S.（2006b）多智能体合理性模型的动态信念修正。Bonanno等人（2006年）（第11-24页）。 [10] Baltag，A。；Smets，S。；阿特莫夫，S。；Parikh，R.，《条件性多弹性行为的逻辑：动态多智能体信念修正理论》，ESSLLI理性与知识研讨会论文集，（第13-30页）（2006年） [11] Baltag，A。；Smets，S。；Samet，D.，《从条件概率到多论行为的逻辑》，《理性与知识的理论方面第11次会议论文集》，布鲁塞尔（第52-61页）（2007年），伦敦大学学院出版社，卢旺大学 [12] Baltag，A.和Smets，S.（2007b）。概率动态信念修正。J.F.A.K.van Benthem、S.Ju和F.Veltman（编辑），《思维的会议：逻辑、理性和交互研讨会论文集》，北京，2007年（计算机科学文本，第8卷）。伦敦：学院出版物·Zbl 1169.03015号 [13] 巴蒂加利，P。；Siniscalchi，M.，强信念和正向归纳推理，《经济理论杂志》，105，2，356-391（2002）·Zbl 1038.91013号 ·doi:10.1006/jeth.2001.2942 [14] 布莱克本，P。；de Rijke，M。；Venema，Y.，模态逻辑（剑桥理论计算机科学丛书（2001），剑桥：剑桥大学出版社，剑桥·Zbl 0988.03006号 [15] Board，O.，动态交互认识论，游戏和经济行为，49，1，49-80（2002）·Zbl 1068.91071号 ·doi:10.1016/j.geb.2003.10006 [16] Bonanno，G.，《信念修正的简单模态逻辑》，Synthese，147，2，193-228（2005）·Zbl 1085.03012号 ·doi:10.1007/s11229-005-1348-8 [17] Bonanno，G.、van der Hoek，W.和Wooldridge，M.（编辑）。(2006). 英国利物浦大学第七届逻辑与博弈与决策理论基础会议论文集·Zbl 1237.03004号 [18] 弗里德曼，N。；Halpern，J.Y.，信念修正的条件逻辑，《第十二届全国人工智能会议论文集》（AAAI-94），西雅图，1994年7月31日至8月4日，915-921（1994），门罗公园：AAAI，门洛公园 [19] Gärdefors，P.《流动中的知识：认知状态的动力学建模》。加德福斯。1988年，麻省理工学院出版社，剑桥/伦敦·兹比尔1229.03008 [20] 杰布兰迪。；莫斯，L.S。；Ginzburg，J。；de Rijke，M.，《动态认知逻辑、逻辑、语言和信息》，67-84（1999），斯坦福：CSLI出版物/斯坦福大学，斯坦福·Zbl 0964.03018号 [21] 杰布兰迪。；Groneveld，W.，《关于信息变化的推理》，《逻辑、语言与信息杂志》，1997年第6期，第2期，第147-169页·Zbl 0873.03029号 ·doi:10.1023/A:100822603071 [22] Gerbrandy，J.D.（1999）。克里普克星球上的双重刺激。阿姆斯特丹大学博士论文。ILLC出版物，DS-1999-01。 [23] Gettier，E.，正义的真信仰知识吗？，分析，23，6，121-123（1963）·doi:10.1093/analys/23.6.121 [24] 戈切特，P。；格里博蒙特，P。；Gabbay，D.M。；伍兹，J.，《认识逻辑》，《逻辑史手册》，99-195（2006），牛津：爱思唯尔出版社，牛津 [25] 格罗夫，A.，《理论变化的两种模型》，《哲学逻辑杂志》，第17、2、157-170页（1988年）·Zbl 0639.03025号 ·doi:10.1007/BF00247909 [26] Hintikka，J.，《知识与信仰》（1962），伊萨卡：康奈尔大学出版社，伊萨查 [27] Katsuno，H。；门德尔松，A.O。；Gärdenfors，P.，《关于更新知识库和修改知识库之间的差异》，信念修正（剑桥理论计算机科学丛书，183-203（1992），剑桥/纽约：剑桥大学出版社，剑桥/美国·Zbl 0801.68151号 [28] Klein，P.，命题知识的拟议定义，哲学杂志，68，16471-482（1971）·doi:10.2307/2024845 [29] Kooi，B.P.，概率动态认知逻辑，《逻辑、语言和信息杂志》，12，4，381-408（2003）·Zbl 1031.03044号 ·doi:10.1023/A:1025050800836 [30] Lehrer，K.，《知识理论》（1990），伦敦：劳特利奇出版社，伦敦 [31] Lehrer，K。；Paxson，T.Jr，《知识：无可辩驳的正当真实信仰》，《哲学杂志》，66，8，225-237（1969）·doi:10.2307/2024435 [32] 迈耶，J.-J.Ch；van der Hoek，W.，《人工智能和计算机科学的认识逻辑》（剑桥理论计算机科学丛书（1995），剑桥：剑桥大学出版社，剑桥·Zbl 0868.03001号 ·doi:10.1017/CBO9780511569852 [33] 帕帕斯，G。；Swain，M.，《关于知识和辩护的论文》（1978），伊萨卡：康奈尔大学出版社，伊萨查 [34] Plaza，J.A.（1989）。公共传播的逻辑。M.L.Emrich、M.S.Pfeifer、M.Hadzikadic和Z.W.Ras（编辑），《第四届智能系统方法学国际研讨会论文集》（第201-216页）。橡树岭国家实验室，ORNL/DSRD-24·Zbl 1126.03308号 [35] Rott，H.，《条件和理论变化：修订、扩展和添加》，综合，81，1，91-113（1989）·doi:10.1007/BF00869346 [36] Rott，H.，《稳定性、力量和敏感性：将信念转化为知识》，Erkentnis，61，2-3，469-493（2004）·Zbl 1062.03506号 ·doi:10.1007/s10670-004-9287-1 [37] Ryan，M。；Schobbens，P.-Y.，《反事实与逆形式更新》，《逻辑、语言与信息杂志》，6，2，123-146（1997）·Zbl 0921.03035号 ·doi:10.1023/A:1008218502162 [38] Segerberg，K.，《动态多义逻辑中的不可撤销信念修正》，《圣母院形式逻辑杂志》，39，3，287-306（1998）·Zbl 0972.03015号 ·doi:10.1305/ndjfl/1039182247 [39] 斯波恩，W。；哈珀，W.L。；Skyrms，B.，序贯条件函数：认知状态的动态理论，决策中的因果关系，信念变化和统计，105-134（1988），Dordrecht/Boston:Kluwer Academic，Dordecht/Boston·doi:10.1007/978-94-009-2865-76 [40] Robert C.Stalnaker，《条件理论》，IFS，41-55（1968），多德雷赫特：荷兰施普林格出版社 [41] Stalnaker，R.，《游戏中的知识、信念和反事实推理》，《经济学与哲学》，第12期，第133-163页（1996年）·网址：10.1017/S0266267100004132 [42] Stalnaker，R.，《论知识与信仰的逻辑》，哲学研究，128,1169-199（2006）·doi:10.1007/s11098-005-4062-y [43] van Benthem，J.F.A.K.，信念修正的动态逻辑，应用非经典逻辑杂志，17，2，129-155（2007）·Zbl 1186.03033号 ·doi:10.3166/1月17日129-155 [44] van Benthem，J.F.A.K.，Gerbrandy，J.，&Kooi，B.（2006a）《概率动态更新》。Bonanno等人（2006年）（第237-246页）·Zbl 1183.03015号 [45] van Benthem，J.F.A.K.和Liu，F.（2004）。偏好升级的动态逻辑。阿姆斯特丹大学技术报告。ILLC出版物，PP-2005-29。 [46] van Benthem，J.F.A.K。；van Eijck，J。；Kooi，B.P.，《沟通与变革的逻辑》，信息与计算，204，11，1620-1662（2006）·2012年3月11日 ·doi:10.1016/j.ic.2006.04.006 [47] 范德霍克，W.，《知识和信念系统》，《逻辑与计算杂志》，3，2，173-195（1993）·Zbl 0790.03024号 ·doi:10.1093/logcom/3.2.173 [48] van Ditmarsch，H.P.（2000）。知识游戏。格罗宁根大学博士论文。ILLC出版物，DS-2000-06。 [49] van Ditmarsch，H.P.，《游戏动作描述》，《逻辑、语言与信息杂志》，第11、3、349-365页（2002年）·Zbl 1003.03014号 ·doi:10.1023/A:1015590229647 [50] van Ditmarsch，H.P.，《信念修正的动态逻辑序言》，Synthese，147，2，229-275（2005）·Zbl 1082.03014号 ·doi:10.1007/s11229-005-1349-7 [51] van Ditmarsch，H.P。；拉布沙根，W.，《我对你的信念的信念：心智理论和认知逻辑的案例研究》，《综合》，155，2，191-209（2007）·Zbl 1121.03014号 ·doi:10.1007/s11229-006-9144-7 [52] van Ditmarsch，H.P。；范德霍克，W。；Kooi，B.P.，《动态认知逻辑》（Synthese library（2007），多德雷赫特：施普林格出版社·Zbl 1156.03320号 ·doi:10.1007/978-1-4020-5839-4 [53] Voorbraak，F.P.J.M.（1993年）。据我所知。乌得勒支大学博士论文（Quaestions infinitiae，Vol.VII）。 [54] 威廉姆森，T。；van Benthem，J.，《关于知识推理的一些哲学方面》，《第八届理性与知识理论方面会议论文集》（TARK’01），97（2001），旧金山：Morgan Kaufmann，旧金山 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。