Belief revision in institutions: a relaxation-based approach

Abstract :

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, but also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in a categorical abstract model theory known under the name of theory of institutions. In this framework, we generalize to any institution the characterization of the well known AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change with respect to an ordering among interpretations. Moreover, we study how to define revision, satisfying the 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. The proposed general framework can be instantiated in different logics such as propositional, description and Horn logics.

Document type :
Reports
Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02287097
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:35:00 PM
Last modification on : Thursday, October 17, 2019 - 12:37:00 PM

Identifiers

  • HAL Id : hal-02287097, version 1

Collections

Citation

Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch. Belief revision in institutions: a relaxation-based approach. [Research Report] abs/1502.02298, arXiv CoRR. 2015. ⟨hal-02287097⟩

Share

Metrics

Record views

4