×
阿德南·达尔维切;朱迪亚·珀尔

论反复信念修正的逻辑。 （英语） Zbl 1018.03012号

Artif公司。智力。 89，第1-2、1-29号（1997年）.
小结：我们在本文中指出，AGM假设太弱，无法确保信念修正期间条件信念的合理保留，从而允许对观测序列作出不当反应。我们通过提出四个额外的假设来弥补这一不足，这些假设相对于概率条件作用的定性版本来说是合理的。与AGM框架相反，所提出的假设将信念修正描述为一个过程，该过程可能依赖于不一定被信念集捕获的认知状态的元素。我们还表明，对AGM框架的简单修改可以使信念修正成为认知状态的函数。我们建立了一个基于模型的表示定理，该定理描述了所提出的假设和约束，进而描述了在迭代信念修正下防御次序的转换方式。

引用于5评论
引用于147文件

MSC公司：

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

关键词：

迭代修订;AGM假设;有条件的信念;概率调节;认知状态;定性概率
PDF格式BibTeX公司 XML格式引用
\textit{A.Darwiche}和\textit{J.Pearl}，Artif。智力。89，编号1--2，1--29（1997；Zbl 1018.03012）
全文： 内政部

参考文献：

[1] Alchourrón，C。；Gärdefors，P。；Makinson，D.，《论理论变革的逻辑：收缩和修正的部分满足函数》，J.符号逻辑，50，510-530（1985）·Zbl 0578.03011号
[2] Alchourrón，C。；Makinson，D.，《论理论变革的逻辑：安全收缩》，Stud.Logica，44，405-422（1985）·Zbl 0605.03002号
[3] Boutiler，C.，修订序列和嵌套条件，（会议录IJCAI-93。《议事录IJCAI-93》，钱伯里（1993）
[4] Boutiler，C.，《条件信念的迭代修正和最小修正》，J Philos。逻辑，25262-305（1996）·兹比尔0858.03030
[5] 达尔文，A。；Pearl，J.，《论反复信念修正的逻辑》，（知识推理的理论方面：1994年会议论文集（1994年），Morgan Kaufmann：Morgan Kaufmann San Mateo，CA），5-23
[6] 弗伦德，M。；Lehmann，D.，《信念修正与理性推理》（《技术报告》TR-94-16（1994），耶路撒冷希伯来大学计算机科学研究所：耶路撒冷希伯来大学计算机科学学院）
[7] 弗里德曼，N。；Halpern，J.Y.，《信念修正：批判》（《第五届Knoweldge表示和推理原则国际会议论文集》，马萨诸塞州剑桥市第五届国际Knoweldege表示和理性原则会议论文集（1996））·Zbl 0949.03017号
[8] Gärdenfors，P.，（《流动中的知识：认识状态动力学建模》（1988），麻省理工学院出版社：麻省理学学院出版社，马萨诸塞州剑桥）·Zbl 1229.03008号
[9] Gärdefors，P。；Makinson，D.，基于期望的非单调推理，Artif。智力。，65, 197-245 (1994) ·Zbl 0803.68125号
[10] Geffner，H.，（默认推理：因果和条件理论（1992），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥）
[11] Goldszmidt，M.，《定性概率：常识推理的规范框架》（《技术报告》R-190（1992），加利福尼亚大学：加利福尼亚大学洛杉矶分校）
[12] Goldszmidt先生。；Pearl，J.，《定性概率推理是可以处理的》（《人工智能不确定性第八届会议论文集》，《人工智能中不确定性第八届会议论文录》，加利福尼亚州斯坦福（1992）），112-120
[13] Goldszmidt先生。；Pearl，J.，默认推理、信念修正和因果建模的定性概率，Artif。智力。，84, 57-112 (1996) ·Zbl 1497.68457号
[14] Hansson，S.O.，《理性数据库更新的测试电池》，Artif。智力。，82, 341-352 (1982) ·Zbl 1506.68020号
[15] Hansson，S.O.，《捍卫基础收缩》，Synthese，91，239-245（1992）·Zbl 0760.03009号
[16] S.O.汉森，为拉姆齐测试辩护，J.菲洛斯。，89, 522-540 (1992)
[17] Katsuno，H。；Mendelzon，A.，《命题知识库修订和最小更改》，Artif。智力。，52, 263-294 (1991) ·Zbl 0792.68182号
[18] Lehmann，D.，《信念修正案》，修订版，（第IJCAI-95号会议记录）。《美国魁北克省蒙特利尔市IJCAI-95会议记录》（1995），1534-1540
[19] 李维，I.，条件迭代和拉姆齐检验，综合，76，49-81（1988）
[20] Morreau，M.，《反事实的认识语义学》，J.Philos。，21, 33-62 (1992) ·Zbl 0752.03013号
[21] Reiter，R.，默认推理逻辑，Artif。智力。，13, 81-132 (1980) ·兹伯利0435.68069
[22] Rott，H.，《从条件推理》（《技术报告》38（1994），康斯坦茨大学哲学系：康斯坦兹大学哲学系）·Zbl 0949.03018号
[23] 斯波恩，W.，《序数条件函数：认知状态的动态理论》（Harper，W.L.；Skyrms，B.，《决策中的因果关系、信念变化和统计学》，2（1987）），105-134
[24] Spohn，W.，归纳推理的一般非概率理论，（Kanal，L.；Shachter，R.；Levitt，T.；Lemmer，J.，《人工智能中的不确定性》，4（1990），爱思唯尔科学出版社：阿姆斯特丹爱思唯尔科学出版社），149-158
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。