信念修正、最小改变与松弛：基于满足系统的一般框架及其在描述逻辑中的应用
人工智能
2017-01-17 v2
摘要
由给定逻辑中的句子集表示的知识库的信念修正已被广泛研究，但主要针对特定逻辑，主要是命题逻辑，以及最近的 Horn 逻辑和描述逻辑。在此，我们提议从模型论的角度推广这一操作，通过在称为满足系统的抽象模型论中定义修正。在此框架下，我们将 Katsuno 和 Mendelzon 针对命题逻辑给出的著名 AGM 公理的刻画（用解释间的最小改变来表述）推广到任意满足系统。此外，我们研究了如何从松弛概念出发定义满足 AGM 公理的修正，这些概念最初在描述逻辑中被引入以定义概念间的相异度度量，其结果是松弛旧信念的模型集直至其与新知识一致。我们展示了所提出的一般框架如何实例化为不同的逻辑，如命题逻辑、一阶逻辑、描述逻辑和 Horn 逻辑。特别是对于描述逻辑，我们引入了几种专为描述逻辑 及其片段 和 定制的具体松弛算子，讨论了它们的性质并提供了一些说明性示例。
引用
@article{arxiv.1502.02298,
title = {Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics},
author = {Marc Aiguier and Jamal Atif and Isabelle Bloch and Céline Hudelot},
journal= {arXiv preprint arXiv:1502.02298},
year = {2017}
}