• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

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
2016
Journal name
Journal of Logic, Language and Information
Volume
25
Number
3-4
Publisher
Springer
Pages
273-297
Publication identifier
10.1007/s10849-016-9244-9
Metadata
Show full item record
Author(s)
Boella, Guido

Pigozzi, 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 revision

Related items

Showing items related by title and author.

  • Thumbnail
    The role of goals in belief selection 
    van der Torre, Leendert; Tettamanzi, Andrea; Pigozzi, Gabriella; da Costa Pereira, Célia; Boella, Guido (2010) Article accepté pour publication ou publié
  • Thumbnail
    A Satisficing Agreements Model 
    van der Torre, Leendert; Slavkovik, Marija; Pigozzi, Gabriella; Boella, Guido (2011) Communication / Conférence
  • Thumbnail
    Group Intention Is Social Choice with Commitment 
    van der Torre, Leendert; Slavkovik, Marija; Pigozzi, Gabriella; Boella, Guido (2011) Communication / Conférence
  • Thumbnail
    A partial taxonomy of judgment aggregation rules, and their properties 
    Lang, Jérôme; Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert; Vesic, Srdjan (2017) Article accepté pour publication ou publié
  • Thumbnail
    Special issue of The IfCoLog Journal of Logics and their Applications 
    Pigozzi, Gabriella; van der Torre, Leendert (2017) Article accepté pour publication ou publié
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo