Abstract
In earlier works, we used Defeasible Logic to argue that techniques from belief and base revision encounter a number of difficulties in modelling legal dynamics. In particular, we showed that these techniques are not suitable when legal changes are retroactive. This suggested to adopt a different logical model able to express two main timelines, one internal to a given temporal version of the legal system, and another relative to how the legal system evolves over time. In this paper, we adjust our view and show that, under some restrictions, ideas from base revision, if applied to Defeasible Logic or to similar rule-based systems, can indeed capture some significant aspects of annulments, abrogations, and derogations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510–530 (1985)
Antoniou, G., Billington, D., Governatori, G., Maher, M.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming 6, 703–735 (2006)
Billington, D., Antoniou, G., Governatori, G., Maher, M.: Revising nonmonotonic belief sets: The case of defeasible logic. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS (LNAI), vol. 1701, pp. 101–112. Springer, Heidelberg (1999)
Boella, L.v.d.T.G., Pigozzi, G.: A normative framework for norm change. In: Proc. AAMAS 2009. ACM, New York (2009)
Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Norm modifications in defeasible logic. In: Proc. JURIX 2005. IOS Press, Amsterdam (2005)
Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Variants of temporal defeasible logic for modelling norm modifications. In: Proc. ICAIL 2007. ACM Press, New York (2007)
Governatori, G., Rotolo, A.: Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol. 5076, pp. 3–18. Springer, Heidelberg (2008)
Governatori, G., Rotolo, A.: Changing legal systems: Abrogation and annulment. Part II: Temporalised defeasible logic. In: Proc. NorMAS 2008 (2008)
Governatori, G., Rotolo, A.: Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL 18(1), 157–194 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rotolo, A. (2010). Retroactive Legal Changes and Revision Theory in Defeasible Logic. In: Governatori, G., Sartor, G. (eds) Deontic Logic in Computer Science. DEON 2010. Lecture Notes in Computer Science(), vol 6181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14183-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-14183-6_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14182-9
Online ISBN: 978-3-642-14183-6
eBook Packages: Computer ScienceComputer Science (R0)