Normative change: an AGM approach
Maranhao, Juliano; Casini, Giovanni; Pigozzi, Gabriella; van Der Torre, Leendert (2022), Normative change: an AGM approach, Journal of Applied Logic, 9, 4, p. 855-920
TypeArticle accepté pour publication ou publié
External document linkhttps://hal.archives-ouvertes.fr/hal-03884004
Journal nameJournal of Applied Logic
MetadataShow full item record
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
van Der Torre, Leendert
Individual and Collective Reasoning [ICR]
Abstract (EN)Studying normative change is of practical and theoretical interest. Changing legal rules pose interpretation problems in determining the content of legal rules. The question of interpretation is tightly linked to questions about determining the validity of rules and their ability to produce eﬀects. Diﬀerent formal models of normative change seem to be better suited to capturing these diﬀerent dimensions: the dimension of validity appears to be better captured by the AGM approach, while syntactic methods are better suited to modelling how the eﬀects of rules are blocked or enabled. Historically, the AGM approach to belief revision (on which we focus in this article) was the ﬁrst formal model of normative change. We provide a survey of the AGM approach along with the main criticisms of it. We then turn to a formal analysis of normative change that combines AGM theory and input/output logic, thereby allowing a clear distinction between norms and obligations. Our approach addresses some of the diﬃculties of normative change, like combining constitutive and regulative rules (and the normative conﬂicts that may arise from such a combination), revision and contraction of normative systems, as well as contraction of normative systems that combine sets of constitutive and regulative rules. We end our article by highlighting and discussing some challenges and open problems with the AGM approach regarding normative change.
Subjects / KeywordsLogique en informatique
Showing items related by title and author.