...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
【24h】

Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics

机译：信念修订，最小的更改和放松：基于满意度系统的通用框架，以及描述逻辑的应用

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model theoretic point of view, by defining revision in the abstract model theory of satisfaction systems. In this framework, we generalize to any satisfaction system the characterization of the AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpretations. In this generalization, the constraint on syntax independence is partially relaxed. Moreover, we study how to define revision, satisfying these weakened AGM postulates, from relaxation notions that have been first introduced in description logics to define dissimilarity measures between concepts, and the consequence of which is to relax the set of models of the old belief until it becomes consistent with the new pieces of knowledge. We show how the proposed general framework can be instantiated in different logics such as propositional, first-order, description and Horn logics. In particular for description logics, we introduce several concrete relaxation operators tailored for the description logic ALC and its fragments EL and ELU, discuss their properties and provide some illustrative examples. (C) 2018 Elsevier B.V. All rights reserved.
机译：对给定逻辑中由一组句子表示的知识库的信念修订已进行了广泛的研究，但针对特定逻辑（主要是命题逻辑）以及最近的Horn和描述逻辑。在这里，我们建议通过定义满意度系统的抽象模型理论中的修订，从模型理论的角度对此操作进行概括。在此框架中，我们将对任何命题系统的描述，都由Katsuno和Mendelzon针对命题逻辑给出的AGM假设的表征，以最小的解释间的变化来概括。在这种概括中，对语法独立性的约束被部分地放宽了。此外，我们研究了如何定义修订，以满足这些弱化的AGM假设，从描述逻辑中首次引入的松弛概念定义概念之间的差异度量，其结果是放松旧信念模型集，直到它变得与新知识一致。我们展示了如何在诸如命题，一阶，描述和霍恩逻辑之类的不同逻辑中实例化提出的通用框架。特别是对于描述逻辑，我们介绍了一些为描述逻辑ALC及其片段EL和ELU量身定制的具体松弛运算符，讨论了它们的性质并提供了一些说明性示例。 （C）2018 Elsevier B.V.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号