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
TypeArticle accepté pour publication ou publié
Journal nameJournal of Logic, Language and Information
MetadataShow full item record
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 / KeywordsAGM theory change; rule based systems; knowledge representation; normative systems; belief revision
Showing items related by title and author.
Lang, Jérôme; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert; Vesic, Srdjan (2017) Article accepté pour publication ou publié