Abstract
In [1,2,3] basic Defeasible Logic was extended to capture some temporal aspects in legal reasoning. All these extensions can be criticized in two respects: first, a synthetical approach with which all temporal and substantial elements of the norm are represented within the same sentence was adopted instead of an analytical approach in which one sentence represents the substantive content of the norm, and other sentences specify its temporal features. Second, no semantics was provided. This paper aims to provide a Temporal Deontic Defeasible Logic adopting an analytical approach and an argumentation semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL 2005, Proceedings of 10th Int. Conf. on Artif. Intell. and Law, pp. 25–34. ACM, New York (2005)
Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: ICAIL 2007, Proceedings of the 11h Int. Conf. on Artif. Intell. and Law, pp. 155–159. ACM, New York (2007)
Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: AUSTAI 2007, 20th Australian Joint Conf. on Artif. Intell. Springer, Heidelberg (2007)
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)
MarĂn, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL 1999, Proceedings of the 7th Int. Conf. on Artif. Intell. and Law, pp. 90–99. ACM, New York (1999)
Governatori, G., Maher, M.J., Billington, D., Antoniou, G.: Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5), 675–702 (2004)
Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell 77(2), 321–358 (1995)
Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)
Vila, L., Yoshino, H.: Time in automated legal reasoning. Information and Communications Technology Law 7(3), 173–197 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Riveret, R., Rotolo, A. (2008). Temporal Deontic Defeasible Logic: An Analytical Approach. In: Casanovas, P., Sartor, G., Casellas, N., Rubino, R. (eds) Computable Models of the Law. Lecture Notes in Computer Science(), vol 4884. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85569-9_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-85569-9_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85568-2
Online ISBN: 978-3-540-85569-9
eBook Packages: Computer ScienceComputer Science (R0)