Access the full text.
Sign up today, get DeepDyve free for 14 days.
Martín Moguillansky, Luciano Tamargo (2020)
On argument acceptability change towards legal interpretation dynamicsArtificial Intelligence and Law, 29
James Allen (1983)
Maintaining knowledge about temporal intervalsCommun. ACM, 26
G. Wheeler, M. Alberti (2011)
NO Revision and NO ContractionMinds and Machines, 21
CE Alchourrón (1981)
10.1007/978-94-009-8484-4_5
C. Alchourrón, P. Gärdenfors, D. Makinson (1985)
On the logic of theory change: Partial meet contraction and revision functionsJournal of Symbolic Logic, 50
C. Alchourrón, D. Makinson (2008)
On the logic of theory change: Contraction functions and their associated revision functionsTheoria, 48
H. Kelsen, Michael Hartney (1991)
General Theory of Norms
S. Hansson (1999)
A Textbook Of Belief Dynamics
James Allen (1984)
Towards a General Theory of Action and Time
Audun Stolpe (2010)
Norm-system revision: theory and applicationArtificial Intelligence and Law, 18
G. Bonanno (2007)
Axiomatic characterization of the AGM theory of belief revision in a temporal logicArtif. Intell., 171
M. Budán, María Cobo, D. Martínez, Guillermo Simari (2017)
Bipolarity in temporal argumentation frameworksArXiv, abs/1903.01874
Guido Governatori, A. Rotolo, Francesco Olivieri, Simone Scannapieco (2013)
Legal contractions: a logical analysis
A Fuhrmann (1991)
10.1007/BF00284974J Philos Log, 20
Joseph Halpern, Y. Shoham (1991)
A propositional modal logic of time intervals
Guido Governatori, A. Rotolo, G. Sartor (2005)
Temporalised normative positions in defeasible logic
SO Hansson (1992)
10.1007/BF00413568Syntheses, 91
Steven Shapiro, M. Pagnucco, Y. Lespérance, H. Levesque (2000)
Iterated belief change in the situation calculusArtif. Intell., 175
I Levi (1977)
10.1007/BF00485649Synthese, 34
SO Hansson (1993)
10.1007/BF01054039J Philos Log, 22
Guido Governatori, A. Rotolo (2010)
Changing legal systems: legal abrogations and annulments in Defeasible LogicLog. J. IGPL, 18
Guido Governatori, A. Rotolo, Régis Riveret, M. Palmirani, G. Sartor (2007)
Variants of temporal defeasible logics for modelling norm modifications
C Alchourrón (1985)
10.1007/BF00370430Stud Log, 44
JC Augusto (2001)
10.1007/PL00011670Knowl Inf Syst, 3
Luciano Tamargo, D. Martínez, A. Rotolo, Guido Governatori (2019)
An axiomatic characterization of temporalised belief revision in the lawArtificial Intelligence and Law
Martín Moguillansky, Renata Wassermann, Marcelo Falappa (2012)
Inconsistent-tolerant base revision through Argument Theory ChangeLog. J. IGPL, 20
S. Hansson (1994)
Kernel contractionJournal of Symbolic Logic, 59
CE Alchourrón (1981)
10.1007/978-94-009-8484-4_4
Martín Moguillansky, A. Rotolo, Guillermo Simari (2019)
Hypotheses and their dynamics in legal argumentationExpert Syst. Appl., 129
As lawmakers produce norms, the underlying normative system is affected showing the intrinsic dynamism of law. Through undertaken actions of legal change, the normative system is continuously modified. In a usual legislative practice, the time for an enacted legal provision to be in force may differ from that of its inclusion to the legal system, or from that in which it produces legal effects. Even more, some provisions can produce effects retroactively in time. In this article we study a simulation of such process through the formalisation of a temporalised logical framework upon which a novel belief revision model tackles the dynamic nature of law. Represented through intervals, the temporalisation of sentences allows differentiating the temporal parameters of norms. In addition, a proposed revision operator allows assessing change to the legal system by including a new temporalised literal while preserving the time-based consistency. This can be achieved either by pushing out conflictive pieces of pre-existing norms or through the modification of intervals in which such norms can be either in force, or produce effects. Finally, the construction of the temporalised revision operator is axiomatically characterised and its rational behavior proved through a corresponding representation theorem.
Artificial Intelligence and Law – Springer Journals
Published: Jun 8, 2023
Keywords: Legal revision; Norm change; Belief revision; Temporal reasoning
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.