首页/论文/2104.14512

arXiv 2104.145122021-04cs.AIcs.LO

任意单调逻辑中AGM信念基修正的Katsuno-Mendelzon式刻画

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics

TU Dresden（德累斯顿工业大学）；FernUniversität in Hagen（哈根远程大学）

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

备注：: This article constitutes a preliminary report, which was found to contain inaccuracies. It is superseded by a significantly generalized, extended, and revised treatise by the same authors made available on arXiv.org under the title "Semantic Characterizations of General Belief Base Revision" on the 27th of December 2021 via arXiv:2112.13557

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

Alchourrón，Gärdenfors和Makinson的AGM假设仍然是信念改变相关研究的基石。我们推广的方法Katsuno和Mendelzon（KM）的特征AGM基地修订从命题逻辑设置（多）基地修订在任意单调逻辑。我们的核心结果是一个表示定理，使用分配的总-但不传递-“偏好”关系的信念基础。我们还提供了一个表征的所有逻辑，我们的结果可以加强前序分配（如在KM的原始工作）。

英文摘要：

The AGM postulates by Alchourrón, Gärdenfors, and Makinson continue to represent a cornerstone in research related to belief change. We generalize the approach of Katsuno and Mendelzon (KM) for characterizing AGM base revision from propositional logic to the setting of (multiple) base revision in arbitrary monotonic logics. Our core result is a representation theorem using the assignment of total - yet not transitive - "preference" relations to belief bases. We also provide a characterization of all logics for which our result can be strengthened to preorder assignments (as in KM's original work).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

动态系统中的信念建模，第II部分：修订和更新

Modeling Belief in Dynamic Systems, Part II: Revision and Update

信念变化的研究一直是哲学和人工智能领域的一个活跃领域。近年来，人们对信念改变的两种特殊情况--信念修正和信念更新进行了详细的研究。在一篇配套论文（Friedman & Halpern，1997）中，我们引入了一个新的框架来模拟信念变化。这个框架结合了时间和认知模态的概念，使我们能够检查随着时间的推移信念的变化。在本文中，我们将展示如何在我们的框架中捕获信念修正和信念更新。这使我们能够比较每种方法所做的假设，并更好地理解它们背后的原理。特别是，它表明，胜野和Mendelzon的信念更新的概念（胜野和Mendelzon，1991年a）取决于几个强有力的假设，可能会限制其在人工智能的适用性。最后，我们的分析使我们能够确定一个概念，最小的变化，基础广泛的信念改变操作，包括修订和更新。

1999-03-24cs.AI

组合信念更新

Compositional Belief Update

Simon Fraser University（西蒙菲莎大学）

在本文中，我们探讨了一类信念更新算子，在该算子的定义是合成相对于要添加的句子。我们的目标是提供一个更新操作是直观的，因为它的定义是基于更新语句结构的递归分解，并且可以合理地实现。在解决更新，我们首先提供了一个定义措辞的知识库的模型。虽然该算子满足基准Katsuno-Mendelzon更新假设的核心组，但并不是所有的假设都得到满足。其他胜野-门德尔松假设可以通过适当地限制更新句子的句法形式来获得，正如我们所展示的。在限制的句法形式的句子更新，我们也得到了一个层次的更新操作符与温斯莱特标准语义作为最基本的有趣的方法捕获。随后，我们给出了一个算法，捕捉这种方法，在一般情况下，该算法是指数，但与一些不合理的假设，我们得到一个算法，是线性的知识库的大小。因此，在某些情况下，所得到的方法具有比其他算子更好的复杂度特性。我们还探讨了其他组成的信念改变运营商：擦除开发作为一个双重运营商更新，我们表明，一个忘记运营商是可定义的更新方面，我们给出了一个定义的组成修订运营商。我们得到的组成修订，在最自然的定义下，产生Satoh修订运营商。

2014-01-15cs.AI

基于SE模型的语义规则更新的兴起与衰落

The Rise and Fall of Semantic Rule Updates Based on SE-Models

CENTRIA（里斯本新大学人工智能中心）；Universidade Nova de Lisboa（里斯本新大学）

稳定模型语义下的逻辑程序，或回答集程序，提供了一个表达的基于规则的知识表示框架，具有形式化的，声明性的和良好理解的语义。然而，处理规则库的演化仍然是一个很大程度上开放的问题。AGM框架的信念改变时，直接应用于逻辑程序下的非单调语义，如稳定模型，给出不适当的结果。解决这个问题的方法，发展到目前为止，提出了更新语义的基础上操纵的语法结构的程序和规则。最近，AGM修订已成功地应用于一个显着更有表现力的语义表征的逻辑程序的基础上SE模型。这是一个重要的步骤，因为它将焦点从规则库的语法表示的演变转变为其语义内容的演变。在本文中，我们借用信念更新领域的结果来解决更新（而不是修改）答案集程序的问题。我们证明了一个表示定理，它使得有可能建设性地定义任何运营商满足一组来自胜野和Mendelzon的信念更新的假设。我们定义了一个特定的运营商基于这个定理，研究其计算复杂性和比较的行为，这个运营商的语法规则更新语义文献。也许令人惊讶的是，我们发现了一个严重的缺点，所有的规则更新运营商的基础上胜野和Mendelzon的方法来更新和SE模型。

2013-06-17cs.AI

AGM信念修正的语义学视角

AGM Belief Revision, Semantically

Technische Universität Dresden（德累斯顿工业大学）；FernUniversität in Hagen（哈根函授大学）

本文将Katsuno和Mendelzon的信念修正模型论刻画推广到任意Tarskian逻辑，通过表示定理建立AGM式修正算子与非必然传递的全序偏好赋值之间的双向对应，并刻画了可加强为传递偏好的逻辑类。

2023-07-06cs.AIcs.LO

动态系统中的信念建模，第II部分：修订和更新

Modeling Belief in Dynamic Systems, Part II: Revisions and Update

信念变化的研究一直是哲学和人工智能领域的一个活跃领域。近年来，人们对信念改变的两种特殊情况--信念修正和信念更新进行了详细的研究。在一个配套文件中，我们介绍了一个新的框架模型的信念变化。这个框架结合了时间和认知模态的概念，使我们能够检查随着时间的推移信念的变化。在本文中，我们将展示如何在我们的框架中捕获信念修正和信念更新。这使我们能够比较每种方法所做的假设，并更好地理解它们背后的原理。特别是，它表明，胜野和门德尔松的信念更新的概念取决于几个强有力的假设，可能会限制其在人工智能的适用性。最后，我们的分析使我们能够确定一个概念，最小的变化，基础广泛的信念改变操作，包括修订和更新。

2003-07-30cs.AIcs.LO

信念修正和3值逻辑：19，683个信念改变算子的特征

Belief revision and 3-valued logics: Characterization of 19,683 belief change operators

Universidad Simón Bolívar（西蒙玻利瓦尔大学）；Universidad de Los Andes（德洛斯安第斯大学）

在大多数经典的信念改变模型中，认知状态由理论（AGM）或公式（Katsuno-Mendelzon）表示，新的信息由公式表示。修正算子的表示定理说，算子由全预序表示。这一重要的表征被Darwiche和Pearl利用来将认识状态的概念转移到一个更抽象的概念上，其中认识状态的范式实际上是对解释的总的前序。在这项工作中，我们引入了一个3值逻辑，其中的公式可以确定与概括的总前序的三个级别：排名功能映射到真值的解释。然后我们分析了此类结构的一些变化并给出了它们的句法特征。

2019-10-30cs.AIcs.LOmath.LO

更多相关论文收起更多论文

信念修正、最小变化和松弛：基于满意度系统的一般框架及其在描述逻辑中的应用

Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics

Centrale Supelec（中央理工-高等电力学院）；Université Paris-Saclay（巴黎萨克雷大学）；Université Paris-Dauphine（巴黎多芬大学）；CNRS（法国国家科学研究中心）；Télécom ParisTech（巴黎电信学院）

信念修订的知识库表示的一组句子在一个给定的逻辑已被广泛研究，但具体的逻辑，主要是命题，最近也霍恩和描述逻辑。在这里，我们建议从模型理论的角度来概括这种操作，通过定义在一个抽象的模型理论的名称下的满意度系统的修订。在这个框架中，我们推广到任何满意度系统的特征的著名AGM假设给出的胜野和Mendelzon命题逻辑的最小变化之间的解释。此外，我们研究了如何定义修订，满足AGM假设，从松弛的概念，已首次引入描述逻辑定义概念之间的相异性措施，其后果是放松的旧信念的模型集，直到它成为符合新的知识。我们展示了如何建议的一般框架可以在不同的逻辑，如命题，一阶，描述和霍恩逻辑实例化。特别是描述逻辑，我们介绍了几个具体的松弛算子定制的描述逻辑$\ALC{}$和它的片段$\EL{}$和$\ELext{}$，讨论它们的属性，并提供了一些说明性的例子。

2017-01-13cs.AI