Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

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 regulation.

[1]  Hudson Turner,et al.  Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..

[2]  Guillermo R. Simari,et al.  Temporal Defeasible Reasoning , 2001, Knowledge and Information Systems.

[3]  Michael J. Maher,et al.  Efficient Defeasible Reasoning Systems , 2001, Int. J. Artif. Intell. Tools.

[4]  Guido Governatori,et al.  Variants of temporal defeasible logics for modelling norm modifications , 2007, ICAIL.

[5]  Michael J. Maher,et al.  Embedding Defeasible Logic into Logic Programming , 2005, ArXiv.

[6]  Sandro Hawke.  Bringing Order to Chaos: RIF as the New Standard for Rule Interchange , 2009, RuleML.

[7]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[8]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[9]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[10]  Grigoris Antoniou.  A Nonmonotonic Rule System using Ontologies , 2002, RuleML.

[11]  V. S. Costa,et al.  Theory and Practice of Logic Programming , 2010 .

[12]  Angelo Montanari,et al.  A Guided Tour through some Extensions of the Event Calculus , 2000, Comput. Intell..

[13]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[14]  Grigoris Antoniou,et al.  Nonmonotonic Rule Systems on Top of Ontology Layers , 2002, SEMWEB.

[15]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[16]  Ioannis P. Vlahavas,et al.  A Defeasible Logic Reasoner for the Semantic Web , 2004, Int. J. Semantic Web Inf. Syst..

[17]  Grigoris Antoniou,et al.  DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web , 2007, IEEE Transactions on Knowledge and Data Engineering.

[18]  Antonino Rotolo,et al.  A Java Implementation of Temporal Defeasible Logic , 2009, RuleML.

[19]  Rossella Rubino.  Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico , 2009 .

[20]  Guido Governatori,et al.  A Semantic Web Based Architecture for e-Contracts in Defeasible Logic , 2005, RuleML.

[21]  Guido Governatori,et al.  The Making of SPINdle , 2009, RuleML.

[22]  Guido Governatori,et al.  Temporal Extensions to Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[23]  Guido Governatori,et al.  Temporalised normative positions in defeasible logic , 2005, ICAIL '05.

[24]  Guido Governatori,et al.  Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain , 2009, RuleML.

[25]  Guido Governatori,et al.  Characterising Deadlines in Temporal Modal Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[26]  Guido Governatori,et al.  Changing legal systems: legal abrogations and annulments in Defeasible Logic , 2010, Log. J. IGPL.