×
A.Herzig。;O.里菲。

命题信念库更新和最小变化。 （英语） Zbl 0939.68852号

工件。智力。 115，第1期，107-138（1999）.
摘要：在本文中，我们考察了文献中的十种具体命题更新操作。我们从完全描述它们的相对强度和计算复杂性开始。然后，我们根据Katsuno和Mendelzon提出的假设评估竞争更新操作。事实证明，大多数人违反了大多数假设。我们认为，除了一个假设外，所有违反的假设都是不可取的。之后，我们根据文献中广泛研究的另一个属性来评估更新操作，即析取更新不应被识别为排他析取。我们认为这是可取的，并表明这一论点进一步支持了对两个假设的否定。最后，我们研究了不同的方法如何适应管理世界的一般规律，别名完整性约束。总结我们的结果，我们得出结论，只有两个更新操作是令人满意的。

引用于28文件

MSC公司：

68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

信仰改变;信念更新;更新假设;最小变化;可能的模型方法;完整性约束;因果关系;依赖
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}和\textit{O.Rifi}，Artif。智力。115，第1号，107--138（1999；Zbl 0939.68852）
全文： DOI程序

参考文献：

[1] Boutiler，C.，《综合更新：动态环境中的信念变化》（Proc.IJCAI-95，蒙特利尔，魁北克（1995）），1550-1556
[2] Brewka，G。；Herzberg，J.，《如何用世界做事情：关于形式化行动和计划》，J.Logic Comput。，3517-532（1993年）·Zbl 0802.68145号
[3] Brown，F.M.，Boolean Reasoning（1990），Kluwer Academic:Kluwer-Academic Dordrecht·Zbl 0719.03002号
[4] 克罗科，G。；Herzig，A.，《作为推理规则的拉姆齐检验》（Weingartner，P.；Schurz，G.；Dorn，G.，《语用学在当代哲学中的作用：奥地利路德维希·维特根斯坦学会的贡献》（1997），奥地利路德维希·维特根斯坦学会：奥地利路德维希·威特根斯坦协会Kirchberg）
[5] Dalal，M.，《知识库修正理论研究：初步报告》（Proc.AAAI-88，St.Paul，MN（1988）），475-479
[6] Del Val，A.，《非单调推理和信念修正：句法、语义、基础和连贯方法》，J.Appl。非经典逻辑，7，2，213-240（1997）·Zbl 0877.03017号
[7] Del Val，A。；Shoham，Y.，《从行动理论中导出信念更新的属性》，J.Logic，Language and Information，3，2，81-119（1994）·Zbl 0801.03025号
[8] Del Val，A。；《信念修正与更新的统一观点》，J.Logic Comput。，4, 5, 797-810 (1994) ·Zbl 0811.03024号
[9] 多尔蒂，P。；卢卡斯泽维奇，W。；Madaliñska-Bugaj，E.，《项目管理分析与相对化行动更新》（The PMA and relatizing change for action update，Proc.Internat.Conference on The Principles of KR-98），意大利特伦托（1998），258-269·Zbl 0965.68095号
[10] Dubois，D。；Dupin de Saint-Cyr，F。；Prade，H.，《无惯性更新假设》（Froidevaux，C.；Kohlas，J.，Proc.ECSQARU-95）。程序。ECSQARU-95，人工智能课堂讲稿，946（1995），施普林格：施普林格柏林），162-170
[11] 艾特，T。；Gottlob，G.，《命题知识库修订、更新和反事实的复杂性》，人工智能，57227-270（1992）·Zbl 0763.68038号
[12] 艾特，T。；Gottlob，G。；古里维奇，Y.，限制你的理论！一种用于析取信息包容性解释的限制性方法，（Proc.IJCAI-93，Chambery，France（1993）），640-645
[13] Fariñas del Cerro，L。；Herzig，A.，干扰逻辑=条件逻辑\（+）框架公理，国际。《智能系统杂志》，9，1，119-130（1994）·Zbl 0805.68113号
[14] Fariñas del Cerro，L。；Herzig，A.，《所有其他事物都是平等的：关于条件逻辑中的惯性概念》（Ejerhed，E.；Lindström，S.，《逻辑、行动和认知——关于逻辑、语言和信息的动态方法的Umea学术讨论会论文选》（UmLLI-93），《逻辑趋势》（1997），Kluwer学术：Kluwer-Academic Dordrecht），137-148·Zbl 0945.03014号
[15] Forbus，K.D.，《将行动引入定性模拟》（Proc.IJCAI-89，Detroit，MI（1989）），1273-1278·Zbl 0718.68099号
[16] Gärdenfors，P.，《流动中的知识：认知状态动力学建模》（1988），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥·Zbl 1229.03008号
[17] Gärdenfors，P.，信念修正和无关性，PSA，2349-356（1990）
[18] Grahne，G.，《更新与反事实》（Proc.Second Internat.Conference on the Principles on the Princess of KR-91），马萨诸塞州剑桥市（1991），269-276·Zbl 0765.68196号
[19] Hegner，S.，《更新不完整信息数据库程序的规范和实施》，（第六届数据库系统原理研讨会论文集（1987）），146-158
[20] Herzig，A.，《重新审视PMA》（Proc.Internat.Conference on The Principles of Knowledge Representation and Reasoning（KR-96），马萨诸塞州剑桥市（1996）），第40-50页
[21] Herzig，A.，《信念库更新的逻辑》（Dubois，D.；Prade，H.，《可推迟推理和不确定性管理手册》，卷“信念变化”（1998），Kluwer学术：Kluwer-Academic Dordrecht）·Zbl 0952.03026号
[22] Herzig，A。；Rifi，O.，《更新操作：综述》（Proc.ECAI-98，Brighton，UK（1998）），13-17·Zbl 0939.68852号
[23] Katsuno，H。；Mendelzon，A.O.，《命题知识库修订和最小更改》，人工智能，52263-294（1991）·Zbl 0792.68182号
[24] Katsuno，H。；Mendelzon，A.O.，《关于更新知识库和修改知识库之间的差异》（Gärdenfors，P.，Belief Revision（1992），剑桥大学出版社：剑桥大学出版社），183-203，初步版本：Proc。第二国际。知识表示和推理原则会议（KR-91），马萨诸塞州剑桥，1991年，第387-394页·Zbl 0765.68197号
[25] 凯勒，A.M。；Winslett，M.，《关于使用扩展关系模型处理不断变化的不完整信息》，IEEE Trans。软件工程，SE-11，7，620-633（1985）
[26] 科尼奇尼，S。；Pino-Pérez，R.，《关于合并的逻辑》（Proc.Internat.Conference On the Principles of Kreat Representation and Reasoning（KR-98），Trento，Italy（1998）），488-498
[27] Levesque，H.，《知识表示的功能方法基础》，人工智能，23155-212（1984）·Zbl 0548.68090号
[28] Lewis，D.，《反事实》（1973），巴兹尔·布莱克威尔：巴兹尔·布莱克威尔牛津
[29] Liberatore，P.，《信念更新的复杂性》（Proc.IJCAI-97，日本名古屋（1997）），68-73·Zbl 0947.68560号
[30] Lifschitz，V.，《情境空间中的框架》，人工智能，46，365-376（1986）·兹比尔0743.68122
[31] Nute，D.，《条件逻辑主题》（1980），Reidel:Reidel Dordrecht·Zbl 0453.03016号
[32] Nute，D.，条件逻辑（Gabbay，D.M.；Günthner，F.，《哲学逻辑手册》，第2卷（1984），Reidel:Reidel Dordrecht），387-439·Zbl 0875.03017号
[33] Reiter，R.，《关于规范化数据库更新：初步报告》（Proc.3rd Internat.Conference On Extending database Technology（1992）），10-20
[34] Ryan，M。；Schobbens，P.，互译反事实与更新，《逻辑、语言与信息》，6，2123-146（1997），初步版本：W.Wahlster（编辑），Proc。ECAI-961996年·Zbl 0921.03035号
[35] Thielscher，M.，因果关系和限定问题（Proc.Internat.Conference on the Principles of Kreat Representation and Reasoning（KR-96），马萨诸塞州剑桥市（1996）），51-62
[36] 韦伯，A.，《更新命题公式》（第一届专家数据库系统会议论文集（1986年）），487-500
[37] Winslett，M.，《使用可能模型方法推理行动》（Proc.AAAI-88，St.Paul，MN（1988）），第89-93页
[38] Winslett，M.，《更新逻辑数据库》，《剑桥理论计算机科学丛书》（1990），剑桥大学出版社：剑桥大学出版社·Zbl 0728.68053号
[39] Zhang，Y。；Foo，N.Y.，用析取信息更新知识库（Proc.AAAI-96，Portland，OR（1996）），562-568
[40] Zhang，Y。；Foo，N.Y.，《选言信息更新：从句法和语义角度》，J.Compute。情报，16，1（2000），即将出现
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。