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

通过问答进行学习：从信念-再认识循环到多角形不动点。 （英语） Zbl 1246.03035号

Ono，Hiroakira（编辑）等人，《逻辑、语言、信息和计算》。2009年6月21-24日，第16届国际研讨会，WoLLIC 2009，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02260-9/pbk）。计算机科学课堂讲稿5514。人工智能课堂讲稿，124-139（2009）。
小结：我们研究了具有更高层次多信息的重复信念修正的长期行为。虽然关于迭代信念修正的经典文献只涉及命题信息，但我们感兴趣的是学习（通过一个内省的代理人，学习关于的一些部分信息）各种问题（Q{1}，Q{2}，dots，Q{n}，dots）的答案这可能是指代理人自己的信念（甚至是她的信念再认识计划）。在这里，“学习”既可以是“硬”意义上的（对答案绝对肯定），也可以是“软”意义上（接受某些答案比其他答案更合理）。如果问题是二元的（“（varphi）是真的还是假的？”），那么施事会“学习”一系列真的doxastic句子（varphi{1}，dots，varphi{n}，dots\）。“调查这一过程的长期行为”意味着我们对代理人的信念、她的“知识”和她的条件信念是否最终稳定或永远不变感兴趣。
有关整个系列，请参见[Zbl 1165.03002号].

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

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
PDF格式BibTeX公司 XML格式引用
\textit{A.Baltag}和\textit{S.Smets}，Lect。注释计算。科学。5514124-139（2009年；兹bl 1246.03035）
全文： 内政部

参考文献：

[1] Alchourrón，C.E.，Gärdefors，P.，Makinson，D.：论理论变革的逻辑：部分满足收缩和修正功能。JSL 50、510–530（1985）·Zbl 0578.03011号
[2] Aucher，G.：更新逻辑和信念修正的组合系统。荷兰阿姆斯特丹阿姆斯特丹大学ILLC硕士论文（2003年）·Zbl 1116.68091号
[3] Baltag，A.，Moss，L.S.：认知程序的逻辑。合成139165-224（2004）；知识、合理性和行动1–60·Zbl 1100.03010号 ·doi:10.1023/B:同步0000024912.56773.5e
[4] Baltag，A.，Moss，L.S.，Solecki，S.：常识、公开声明和私人怀疑的逻辑。收录：Gilboa，I.（编辑）Proc。TARK 1998，第43–56页（1998）·Zbl 1386.03019号
[5] Baltag，A.，Smets，S.：条件多角主义模型：动态信念修正的定性方法。ENTCS 165，5–21（2006）·Zbl 1262.03026号
[6] Baltag，A.，Smets，S.：条件性多沙行为的逻辑。逻辑和游戏中的文本4、9–32（2008）·Zbl 1377.03006号
[7] Baltag，A.，Smets，S.：动态交互信念修正的定性理论。逻辑和游戏中的文本3，9–58（2008）·兹比尔1261.03077
[8] van Benthem，J.F.A.K.：一是一个孤独的数字。收录于：Koepke，P.，Chatzidakis，Z.，Pohlers，W.（编辑）《2002年逻辑学术讨论会》，第96-129页。ASL和A.K.Peter，Wellesley（2006）·Zbl 1108.03011号
[9] van Benthem，J.F.A.K.：信念修正的动态逻辑。2007年1月17日（2），129–155·Zbl 1186.03033号
[10] 董事会：动态互动认识论。游戏与经济行为49，49–80（2002）·Zbl 1068.91071号 ·doi:10.1016/j.geb.2003.10006
[11] Booth，R.，Meyer，T.：允许且限制的修改。《人工智能研究杂志》26，127–151（2006）·Zbl 1182.68284号
[12] Boutiler，C.：条件信念的反复修改和最小变化。JPL 25（3），262–305（1996）·Zbl 0858.03030号
[13] Darwishe，A.，Pearl，J.：关于反复信念修正的逻辑。人工智能89，1-29（1997）·Zbl 1018.03012号 ·doi:10.1016/S0004-3702（96）00038-0
[14] van Ditmarsch，H.P.：信念修正的动态逻辑序言。合成147、229–275（2005）·Zbl 1082.03014号 ·doi:10.1007/s11229-005-1349-7
[15] van Ditmarsch，H.P.，van der Hoek，W.，Kooi，B.P.：动态认识逻辑。综合图书馆，第337卷。斯普林格，海德堡（2007）·Zbl 1156.03015号 ·doi:10.1007/978-1-4020-5839-4
[16] 费金，R.，哈尔佩恩，J.Y.，摩西，Y.，瓦尔迪，M.Y.：关于知识的推理。麻省理工学院出版社，剑桥（1995）·Zbl 0839.68095号
[17] P·格里斯：逻辑与对话。在：词汇方法研究。哈佛大学出版社，剑桥（1989）
[18] Groenendijk，J.，Stokhof，M.：问题。摘自：van Benthem，J.，ter Meulen，A.（编辑）《逻辑和语言手册》，第1055-1124页。Elsevier，阿姆斯特丹（1997）·doi:10.1016/B978-044481714-3/50024-2
[19] 格罗夫：两种理论变革模型。JPL 17，157-170（1988年）·Zbl 0639.03025号
[20] Halpern，J.Y.：关于不确定性的推理。麻省理工学院出版社，剑桥（2003）·Zbl 1090.68105号
[21] Katsuno，H.，Mendelzon，A.：关于更新知识库和修改知识库之间的差异。《剑桥理论计算机科学丛书》，第183-203页（1992）·doi:10.1017/CBO9780511526664.007
[22] 穆尔，G.E.：对批评我的人的回应。摘自：Schilpp，P.A.（编辑）《G.E.摩尔的哲学》。《活着的哲学家图书馆》，第4卷，第535-677页。埃文斯顿西北大学（1942）
[23] 纳亚克，A.C.：基于认知巩固的反复信念改变。埃尔肯特尼斯41、353–390（1994）·doi:10.1007/BF01130759
[24] Rott，H.：条件和理论变化：修订、扩展和添加。合成81，91–113（1989）·doi:10.1007/BF00869346
[25] 斯波恩：序数条件函数：认知状态的动态理论。收录于：Harper，W.L.，Skyrms，B.（eds.）《决策中的因果关系、信仰变化和统计》，第二卷，第105–134页（1988）·doi:10.1007/978-94-009-2865-76
[26] Veltman，F.：更新语义中的默认值。JPL 25、221–261（1996）·Zbl 0860.03025号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。