Temporal Deontic Defeasible Logic: An Analytical Approach
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.
KeywordsLegal Reasoning Proof Theory Nonmonotonic Reasoning Proof Condition Superiority Relation
Unable to display preview. Download preview PDF.
- 2.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)Google Scholar
- 3.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)Google Scholar
- 9.Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7(1) (1997)Google Scholar