×
亚历山大·巴尔塔格;斯梅茨，索尼娅

概率动态信念修正。 （英语） Zbl 1169.03015号

合成 165，编号2179-202（2008）.
在这篇密集的论文中，作者提出了信念改变逻辑的表达语义框架，结合了三种众所周知的主题方法：（1）使用Popper-Rényi型条件概率函数的概率方法，（2）使用AGM结构的定性方法，这里根据状态的似然性排名来表示，（3）使用对象语言中的可迭代信念和知识操作符的模态方法。在某种程度上，文学已经将这些成对组合在一起，但不是作为一个三人组。通过使用概率（而不仅仅是二元判别），人们允许的信念水平低于无条件接受。通过使用Popper-Rényi条件概率（而不是定义为一位概率比率的标准概率），人们可以将不合格信念与主体主观概率1区分开来，而无需进行适当的信念修正（引入与先前所相信的不一致的东西）不可能或微不足道，从而为概率函数条件化和AGM定性修正之间的联系开辟了道路。通过在对象语言中使用可迭代的认知操作符，可以将自反和代理间的信念建模为公共知识。所有这三个方面都是在作者的综合三重框架下进行研究的。
审核人：David Makinson（伦敦）

引用于14文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）

关键词：

信念修正;条件概率;动态认知逻辑;Popper函数
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，《合成》165，第2期，179--202（2008；Zbl 1169.03015）
全文： DOI程序

参考文献：

[1] Alchourrón C.，Gärdefors P.，Makinson D.（1985）《论理论变革的逻辑：部分满足收缩和修正功能》。符号逻辑杂志50:510-530·Zbl 0578.03011号 ·doi:10.2307/2274239
[2] Arlo-Costa H.，Parikh R.（2005）条件概率和可废止推理。哲学逻辑杂志34:97–119·Zbl 1082.03023号 ·doi:10.1007/s10992-004-5553-6
[3] Aucher，G.（2003）。更新逻辑和信念修正的组合系统。荷兰阿姆斯特丹阿姆斯特丹大学ILLC硕士论文·Zbl 1116.68091号
[4] Aumann R.（1995）反向归纳和理性常识。游戏与经济行为8:6–19·Zbl 0833.90132号 ·doi:10.1016/S0899-8256（05）80015-6
[5] Baltag A.（2002）《可疑玩家的逻辑：游戏中的认知行为和信念更新》。经济研究公报54（1）：1–46·数字对象标识代码：10.1111/1467-8586.00138
[6] Baltag，A.和Moss，L.（2004）。认知程序逻辑。合成，139165–224。知识、理性与行动（第1-60页）·Zbl 1100.03010号
[7] Baltag，A.、Moss，L.和Solecki，S.（1998年）。常识、公开声明和私人怀疑的逻辑。I.Gilboa（Ed.），《理性与知识理论方面第七届会议论文集》（TARK 98）（第43-56页）·Zbl 1386.03019号
[8] Baltag A.，Smets S.（2006），条件多角主义模型：动态信念修正的定性方法。理论计算机科学电子笔记165:5–21·doi:10.1016/j.entcs.2006.05.034
[9] Baltag，A.和Smets，S.（2006年b）。多智能体可信度模型的动态信念修正。W.van der Hoek和M.Wooldridge（编辑），《2006年LOFT会议录》（第11-24页）。利物浦·兹比尔1262.03026
[10] Baltag，A.和Smets，S.（2006年c）。条件性多沙行为的逻辑：动态多主体信念修正理论。ESSLLI理性与知识研讨会论文集·兹比尔1262.03026
[11] Baltag，A.和Smets，S.（2007年）。概率动态信念修正。J.van Benthem、S.Ju和F.Veltman（编辑），《LORI'07会议录》（第21-39页）。伦敦：学院出版物·Zbl 1169.03015号
[12] Baltag A.，Smets S.（2008）动态交互信念修正的定性理论。收录：博纳诺·G、范·德·霍克·W、伍尔德里奇·M（编辑）《逻辑与游戏文本》（第三卷）。阿姆斯特丹大学出版社·Zbl 1261.03077号
[13] Board O.（2004）动态交互认识论。游戏与经济行为49:49–80·Zbl 1068.91071号 ·doi:10.1016/j.geb.2003.10006
[14] Boutiler C.（1995）关于概率信念状态的修订。圣母院形式逻辑杂志36（1）：158–183·Zbl 0844.03016号 ·doi:10.1305/ndjfl/1040308833
[15] Gärdefors P.（1988）《流动中的知识：认知状态的动力学建模》。布拉德福德出版社，麻省理工学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号
[16] Gerbrandy，J.（1999）。动态认知逻辑。逻辑、语言和信息（第2卷）。斯坦福：斯坦福大学CSLI出版物·Zbl 0964.03018号
[17] Halpern，J.（2001年）。词典概率、条件概率和非标准概率。《第八届理性与知识理论问题会议记录》（TARK 8）（第17-30页）。
[18] Halpern J.（2003）关于不确定性的推理。麻省理工学院出版社，马萨诸塞州剑桥·Zbl 1090.68105号
[19] Katsuno H.，Mendelzon A.（1992）《关于更新知识库和修改知识库之间的差异》，收录于：Gärdefors P.（eds）Cambridge tracts In theory computer science。剑桥大学出版社，剑桥，第183-203页
[20] Kooi B.P.（2003）概率动态认知逻辑。逻辑、语言与信息杂志12:381–408·Zbl 1031.03044号 ·doi:10.1023/A:1025050800836
[21] Lehrer K.（1990）《知识理论》。劳特利奇，伦敦·Zbl 0718.90105号
[22] Mihalache，D.（2007年）。游戏中的安全信念、理性和逆向诱导。计算机科学硕士论文。牛津：牛津大学。
[23] Pappas，G.，Swain，M.（编辑）（1978年）关于知识和辩护的论文。康奈尔大学出版社，纽约州伊萨卡
[24] Popper，K.（1968年）。科学发现的逻辑（修订版）（1934年第1版）。伦敦和记黄埔·Zbl 1256.03001号
[25] Renyi A.（1955）关于概率的新公理理论。匈牙利科学院数学学报6:285–335·Zbl 0067.10401号 ·doi:10.1007/BF02024393
[26] Renyi A.（1964）Sur les espaces simples des Probabilities conditionnelles。亨利·庞加莱编年史：B部分：概率与统计计算B B1:3–21
[27] Stalnaker R.（1996）游戏中的知识、信念和反事实推理。经济学与哲学12:133–163·Zbl 1384.03110号 ·网址：10.1017/S0266267100004132
[28] van Benthem J.（2003）条件概率满足更新逻辑。哲学逻辑杂志12（4）：409–421·Zbl 1031.03045号
[29] van Benthem，J.（2006）。信念修正的动态逻辑。技术报告，ILLC，DARE电子档案，阿姆斯特丹大学。发表在《应用非经典逻辑杂志》上·兹比尔1186.03033
[30] van Benthem，J.、Gerbrandy，J.和Kooi，B.（2006a）。具有概率的动态更新。W.van der Hoek和M.Wooldridge（编辑），《LOFT’06会议记录》。利物浦·Zbl 1183.03015号
[31] van Benthem，J.和Liu，F.（2004）。偏好升级的动态逻辑。技术报告。ILLC研究报告PP-2005-29·Zbl 1186.03034号
[32] van Benthem J.、van Eijck J.、Kooi B.（2006）《沟通与变革的逻辑》。信息与计算204（11）：1620–1662·2012年3月11日 ·doi:10.1016/j.ic.2006.04.006
[33] van Ditmarsch H.（2005）信念修正的动态逻辑序言。综合（知识、理性和行动）147:229–275·Zbl 1082.03014号
[34] van Fraassen B.（1976）条件概率的表示。哲学逻辑杂志5:417–430·Zbl 0341.60029号
[35] van Fraassen B.（1995）细粒度意见、概率和完全信念的逻辑。哲学逻辑杂志24:349–377·Zbl 0825.03015号 ·doi:10.1007/BF01048352
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。