Reference : AGM Contraction and Revision of Rules
Scientific journals : Article
Engineering, computing & technology : Computer science
AGM Contraction and Revision of Rules
Boella, Guido mailto [Università degli Studi di Torino - Unito > Dipartimento di Informatica]
Pigozzi, Gabriella mailto [Université Paris Dauphine]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Journal of Logic, Language and Information
Springer Netherlands
[en] AGM theory change ; rule based systems ; knowledge representation ; normative systems ; belief revision
[en] In this paper we study AGM contraction and revision of rules using input/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 representation results 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.

File(s) associated to this reference

Fulltext file(s):

Open access
AGM_contraction_and_revision_of_rules.pdfPublisher postprint684.05 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.