• français
    • English
  • français 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

AGM Contraction and Revision of Rules

Thumbnail
Date
2016
Dewey
Programmation, logiciels, organisation des données
Sujet
AGM theory change; rule based systems; knowledge representation; normative systems; belief revision
Journal issue
Journal of Logic, Language and Information
Volume
25
Number
3-4
Publication date
12-2016
Article pages
273-297
Publisher
Springer
DOI
http://dx.doi.org/10.1007/s10849-016-9244-9
URI
https://basepub.dauphine.fr/handle/123456789/21419
Collections
  • LAMSADE : Publications
Metadata
Show full item record
Author
Boella, Guido
Pigozzi, Gabriella
989 Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
van der Torre, Leendert
Type
Article accepté pour publication ou publié
Abstract (EN)
In this paper we study AGM contraction and revision of rules usinginput/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representationresults of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.