×
理查德·布斯;杰克·钱德勒

关于加强迭代信念修正的逻辑：适当的序数区间算子。 （英文） Zbl 1461.03018号

Artif公司。智力。 285，文章ID 103289，30 p.（2020）.
总结：A.达尔维什和J.珀尔1997年的开创性文章【Artif.Intell.89，No.1–2，1–29（1997；Zbl 1018.03012号)]概述了迭代信念修正逻辑的一些基本原则。这些原则，即DP假设，已经以多种替代方式进行了补充。然而，大多数这样做的建议都是激进的，以至于产生了一个可疑的“简化主义”原则，将信仰状态与世界的秩序联系起来。本文件对Darwiche和Pearl的建议进行了更适度的强化。虽然DP假设限制了先验和后验条件信念集之间的关系，但我们的新原则控制了从公共先验通过不同修改获得的两个后验条件信心集之间的联系。我们表明，这些原则所代表的家族中的操作符，包括词典学和限制修订，可以表示为相关的信念状态，这些信念状态与“适当的序数区间”赋值相关，这种结构比简单的世界排序更精细。我们在结束本文时注意到，这些算子满足AGM时代大量假设的迭代版本。

引用于2文件

MSC公司：

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

关键词：

年度股东大会;信念修正;迭代信念改变;迭代修订

引文：

Zbl 1018.03012号
PDF格式BibTeX公司 XML格式引用
\textit{R.Booth}和\textit{J.Chandler}，Artif。智力。285，文章ID 103289，30 p.（2020；Zbl 1461.03018）
全文： 内政部 arXiv公司 链接

参考文献：

[1] R.展位。；Chandler，J.，《关于加强迭代信念修正的逻辑：适当的序数区间算子》，（《知识表示和推理原则：第十六届国际会议论文集》，KR 2018，亚利桑那州坦佩，2018年10月30日-11月2日（2018）），210-219
[2] 梅金森，D。；Gärdefors，P.，《理论变革逻辑与非单调逻辑之间的关系》，（Fuhrmann，A.；Morreau，M.，《论变革的逻辑》（1991），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），183-205·Zbl 0925.03130号
[3] 汉森，S.O.，《信念修正中的十个哲学问题》，J.Log。计算。，13，1，37-49（2003年）·兹比尔1025.03012
[4] Darwiche，A。；Pearl，J.，《关于反复信念修正的逻辑》，Artif。智力。，89, 1-2, 1-29 (1997) ·Zbl 1018.03012号
[5] Boutiler，C.，《条件信念的反复修正和最小变化》，J.Philos。日志。，25, 3, 263-305 (1996) ·Zbl 0858.03030号
[6] 纳亚克，A.C。；Pagnucco，M。；Peppas，P.，《动态信念修正算子》，Artif。智力。，146, 2, 193-228 (2003) ·Zbl 1082.03503号
[7] R.展位。；Meyer，T.，《允许和限制修订》，J.Artif。智力。决议，26，127-151（2006）·Zbl 1182.68284号
[8] Peppas，P.，《迭代修正全景》（David Makinson on Classical Methods for Non-Classical Problems（2014），Springer），71-94·Zbl 1311.03033号
[9] 阿尔丘隆，C.E。；Gärdefors，P。；Makinson，D.，《论理论变革的逻辑：部分满足收缩和修正功能》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号
[10] R.展位。；Chandler，J.，《迭代到单一修订的不可约性》，J.Philos。日志。，46, 4, 405-418 (2017) ·Zbl 1417.03135号
[11] Jin，Y。；蒂尔舍尔，M.，《反复信念修正，修订》，Artif。智力。，171, 1, 1-18 (2007) ·Zbl 1168.03318号
[12] R.展位。；Meyer，T.，《如何修改总预订单》，J.Philos。日志。，40, 2, 193-238 (2011) ·Zbl 1231.03014号
[13] Katsuno，H。；Mendelzon，A.O.，《命题知识库修订和最小更改》，Artif。智力。，52, 3, 263-294 (1991) ·Zbl 0792.68182号
[14] Grove，A.，《理论变革的两种模型》，J.Philos。日志。，17, 2, 157-170 (1988) ·Zbl 0639.03025号
[15] Ramsey，F.P.，《一般命题和因果关系》（1931）
[16] Stalnaker，R.C.，《条件句理论》，（Rescher，N.，《逻辑理论研究》，逻辑理论研究，《美国哲学季刊》，第2卷（1968年），布莱克威尔：布莱克威尔牛津），98-112
[17] Chandler，J.，《保存、交换性和惯用手段：两个最新的琐碎结果》，Mind，126，502，579-602（2017）
[18] Chandler，J.，《变速箱故障，AGM-style》，埃尔肯尼斯，78，2，383-398（2013）·Zbl 1303.03016号
[19] Pollock，J.L.，《可推翻的推理》，Cogn。科学。，第11页，第481-518页（1987年）
[20] Schlechta，K。；莱曼，D。；Magidor，M.，《信念修正的距离语义学》，（第六届理性与知识理论方面会议论文集（1996年），摩根考夫曼出版社），137-145
[21] Peppas，P。；Williams，M.-A.，《信念改变与半序》，（《第十四届知识表示与推理原则国际会议论文集》，KR’14（2014），AAAI出版社），160-167
[22] Pirlot，M。；Vincke，P.，半订单：性质、表示、应用、理论和决策库B（2013），施普林格：施普林格荷兰
[23] Rott，H.，《理论变革理论的三层楼》（Danák，V.P.M.，《2013年逻辑年鉴》（2014），大学出版社），187-205·Zbl 1388.03017号
[24] Rott，H.，《理论变革理论的四层楼：不完全歧视的案例》（Fermé，E.；Leite，J.，《人工智能中的逻辑》（2014），Springer International Publishing：Springer国际出版公司Cham），368-382·Zbl 1432.03025号
[25] 科尼奇尼，S。；Pérez，R.P.，《改进操作员》（Brewka，G.；Lang，J.，《知识表示和推理原则：第十一届国际会议论文集》，KR 2008，澳大利亚悉尼，2008年9月16日至19日（2008），AAAI出版社）， 177-187
[26] 科尼奇尼，S。；Grespan，M.M。；Pérez，R.P.，《改进算子的分类学和最小变化问题》（Lin，F.；Sattler，U.；Truszczynski，M.，《知识表示和推理原则：第十二届国际会议论文集》，KR 2010，加拿大安大略省多伦多，2010年5月9日至13日（2010），AAAI出版社：加拿大安大罗省多伦多AAAI Press）
[27] Papini，O.，《源自代理人观察历史的重复修订操作》（《信仰边界修订》（2001），施普林格：施普林格荷兰，多德雷赫特），279-301·Zbl 1004.03013号
[28] Levi，I.，《从属、处置和机会》，Synthèse，第34、4、423-455页（1977年）·Zbl 0364.02002
[29] Gärdenfors，P.，《流动中的知识：认识状态动力学建模》（1988年），麻省理工学院出版社：麻省理学学院出版社剑桥，马萨诸塞州·Zbl 1229.03008号
[30] 斯波恩，W.，序数条件函数。认知状态的动态理论，（Harper，W.L.；Skyrms，B.，《决定中的因果关系、信念变化和统计学》，第二卷（1988），Kluwer学术出版社）
[31] 斯波恩，W.，《信仰法则：排名理论及其哲学应用》（2012），牛津大学出版社
[32] 科尼奇尼，S。；Pérez，R.P.，《迭代修订框架》，J.Appl。非类别。日志。，10, 3-4, 339-367 (2000) ·Zbl 1033.03506号
[33] Lehmann，D.，信念修订版，修订版，（第14届国际人工智能联合会议论文集-第2卷，IJCAI’95（1995），Morgan Kaufmann Publishers Inc.：Morgan Koufmann-Publishers Inc.San Francisco，CA，USA），1534-1540
[34] Delgrade，J.P。；Dubois，D。；Lang，J.，《作为优先合并的迭代修订》，（《第十届知识表示和推理原则国际会议论文集》，第十届国际知识表示与推理原则会议论文集，英国湖区，2006年6月2-5日（2006）），210-220
[35] Nebel，B.，修改信仰基础有多难？，77-145（1998），施普林格：施普林格荷兰，多德雷赫特·Zbl 0934.91011号
[36] Liberatore，P.，《迭代信念修正的复杂性》（Afrati，F.；Kolaitis，P.），《数据库理论-ICDT’97》（1997），施普林格-柏林-海德堡：施普林格–柏林-海德堡-柏林，海德堡），276-290
[37] R.展位。；Chandler，J.，《将哈珀身份延伸至迭代信念改变》（第二十五届国际人工智能联合会议论文集，2016年国际人工智能学会）。第二十五届国际人工智能联合会议记录，2016年国际人工智能大会，2016年7月9日至15日，美国纽约州纽约市，987-993
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。