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

条件多角主义模型：一种动态信念修正的定性方法。 （英语） Zbl 1262.03026号

Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165，5-21（2006）。
摘要：本文提出了一种多智能体信念修正和更新的语义方法。为此，我们引入了称为条件多沙模型（简称CDM）的关系结构。我们表明，这种设置相当于经典AGM信念修正理论的认知版本。我们提出了一个条件信念逻辑，它是完全的w.r.t.CDM。然后，转到认知行为引起的信念更新（有时称为“动态”信念修正），我们考虑了两种特殊的情况：对代理子组的公开声明和私下声明。我们展示了如何适当修改这些类型更新的标准语义，以便将其应用于CDM，从而将信念修正纳入我们的更新概念。我们提供了相应的动态多弹性逻辑的完整公理化。作为一个应用程序，我们解决了Muddy Children Puzzle的“作弊版本”。
有关整个系列，请参见[Zbl 1118.03304号].

引用于1审查
引用于43文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
68T27型 人工智能中的逻辑
68T42型 Agent技术与人工智能

关键词：

信念修正;信念更新;有条件的信仰;动态认知逻辑;公告;模态逻辑;多智能体系统
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，电子。注释Theor。计算。科学。165，5--21（2006；Zbl 1262.03026）
全文： 内政部

参考文献：

[1] 亚当斯，E.W.，《条件逻辑，探究》，8166-197（1965）
[2] Alchourron，C.E。；Gardenfors，P。；Makinson，D.，《论理论变化的逻辑：部分满足收缩和修正功能》，《符号逻辑杂志》，50，2，510-530（1985）·Zbl 0578.03011号
[3] G.拍卖行。更新逻辑和信念修正的组合系统; G.拍卖行。更新逻辑和信念修正的组合系统·Zbl 1116.68091号
[4] Baltag，A.，《可疑玩家的逻辑：游戏中的认知行为和信念更新》，《经济研究公报》，54，1，1-46（2002）
[5] Baltag，A。；Moss，L.S.，《认识程序的逻辑》，综合，139，165-224（2004）·Zbl 1100.03010号
[6] A.Baltag、L.S.Moss和S.Solecki。公共知识、公共公告和私人怀疑的逻辑。在I.Gilboa（编辑）中，第七届理性与知识理论问题会议记录; A.Baltag、L.S.Moss和S.Solecki。常识、公开声明和私人怀疑的逻辑。在I.Gilboa（编辑）中，第七届理性与知识理论问题会议记录·兹伯利1386.03019
[7] A.Baltag和M.Sadrzadeh。多智能体动态信念修正代数。出现在理论计算机科学电子笔记; A.Baltag和M.Sadrzadeh。多智能体动态信念修正代数。出现在理论计算机科学电子笔记
[8] A.Baltag和S.Smets。条件性拒绝行为的逻辑：一种动态多智能体信念修正理论。2006.提交给ESSLLI'06理性与知识研讨会; A.Baltag和S.Smets。条件约束行为的逻辑：一种动态多智能体信念修正理论。2006.提交给ESSLLI'06理性与知识研讨会·兹比尔1262.03026
[9] Bennett，J.，《条件句哲学指南》（2003），牛津大学出版社
[10] van Ditmarsch，H.，《信念修正的动态逻辑序言》，综合，147，229-275（2005）·Zbl 1082.03014号
[11] Gardenfors，P.，《信念修正和拉姆齐条件检验》，《哲学评论》，95，81-93（1986）
[12] Gardenfors，P.，《流动中的知识：认知状态动力学建模》（1988年），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号
[13] Gerbrandy，J.，《动态认识逻辑》（Moss，L.S.；等，《逻辑、语言和信息》，第2卷（1999），CSLI出版物：CSLI出版社，斯坦福大学）·Zbl 1121.03011号
[14] Halpern，J.Y.，《关于不确定性的推理》（2003），麻省理工学院出版社·Zbl 1090.68105号
[15] Fuhrmann，A。；Levi，I.，《条件性咬边和拉姆齐试验，综合》，101157-169（1994）
[16] 格罗夫，A.，《理论变化的两种模型》，《哲学逻辑杂志》，第17、2、157-170页（1988年）·Zbl 0639.03025号
[17] Meyer，J.-J.Ch。；van der Hoek，W.，《人工智能和计算机科学的认识逻辑》（1995），剑桥大学出版社·Zbl 0868.03001号
[18] Lewis，D.，《反事实》（1973），布莱克威尔出版社：牛津布莱克威尔出版社·兹伯利0989.03003
[19] Ramsey，F.，《数学基础和其他论文》（1931年），凯根·保罗：凯根·保罗·伦敦
[20] Rott，H.，《条件和理论变化：修订、扩展和添加》，《综合》，81，91-113（1989）
[21] Ryan，M。；Schobbens，P.Y.，《反事实和逆形式更新》，《逻辑、语言和信息杂志》（1997年）·Zbl 0921.03035号
[22] Segerberg，K.，《动态多克斯逻辑中不可撤销的信念修正》，《圣母院形式逻辑杂志》，39，3，287-306（1998）·Zbl 0972.03015号
[23] Segerberg，K.，作为动态Doxastic逻辑的默认逻辑，Erkentnis，50，333-352（1999）·Zbl 0956.03019号
[24] 斯波恩，W.，《序贯条件函数：认知状态的动态理论》（Harper，W.L.；Skyrms，B.，《决定中的因果关系、信念变化和统计》，第2卷（1988年），《雷德尔：雷德尔·多德雷赫特》），105-134
[25] Stalnaker，R.C.，《条件理论》（Rescher，N.，《逻辑理论研究》，APQ专著，第2期（1968年），布莱克威尔：布莱克威尔牛津）
[26] van Benthem，J。；van Eijck，J。；Kooi，B.，《沟通与变革的逻辑》，发表于新加坡TARK2006，网址：·2012年3月11日
[27] J.van Benthem。信念改变的动态逻辑。2005年11月30日工作文件；J.van Benthem。信念改变的动态逻辑。工作文件（2005年11月30日版）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。