Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

• Published in: New Frontiers in Artificial Intelligence pp. 45 - 58
• Main Authors: Governatori, Guido, Rotolo, Antonino, Rubino, Rossella
• Format: Book Chapter
• Language: English
• Published: Berlin, Heidelberg Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Default Theory; Java Implementation; Logic Program; Situation Calculus; Superiority Relation

In this paper we briefly present an efficient implementation of temporal defeasible logic, and we argue that it can be used to efficiently capture the the legal concepts of persistence, retroactivity and periodicity. In particular, we illustrate how the system works with a real life example of a reg...