AGM Contraction and Revision of Rules
Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert (2016), AGM Contraction and Revision of Rules, Journal of Logic, Language and Information, 25, 3-4, p. 273-297. 10.1007/s10849-016-9244-9
Type
Article accepté pour publication ou publiéDate
2016Journal name
Journal of Logic, Language and InformationVolume
25Number
3-4Publisher
Springer
Pages
273-297
Publication identifier
Metadata
Show full item recordAuthor(s)
Boella, GuidoPigozzi, Gabriella
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
van der Torre, Leendert
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.Subjects / Keywords
AGM theory change; rule based systems; knowledge representation; normative systems; belief revisionRelated items
Showing items related by title and author.
-
van der Torre, Leendert; Tettamanzi, Andrea; Pigozzi, Gabriella; da Costa Pereira, Célia; Boella, Guido (2010) Article accepté pour publication ou publié
-
van der Torre, Leendert; Slavkovik, Marija; Pigozzi, Gabriella; Boella, Guido (2011) Communication / Conférence
-
van der Torre, Leendert; Slavkovik, Marija; Pigozzi, Gabriella; Boella, Guido (2011) Communication / Conférence
-
Lang, Jérôme; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert; Vesic, Srdjan (2017) Article accepté pour publication ou publié
-
Pigozzi, Gabriella; van der Torre, Leendert (2017) Article accepté pour publication ou publié