Computing Temporal Defeasible Logic

We investigate the complexity of temporal defeasible logic, and propose an efficient algorithm to compute the extension of any theory. The logic and algorithm are discussed in regard to modeling deadlines and normative retroactivity.

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

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

[3]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

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

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

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

[7]  Guido Governatori,et al.  BIO logical agents: Norms, beliefs, intentions in defeasible logic , 2008, Autonomous Agents and Multi-Agent Systems.

[8]  Guido Governatori,et al.  Implementing Temporal Defeasible Logic for Modeling Legal Reasoning , 2009, JSAI-isAI Workshops.

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

[10]  Guido Governatori,et al.  On the complexity of Temporal Defeasible Logic , 2010 .

[11]  Dov M. Gabbay,et al.  Modal and Temporal Argumentation Networks , 2010, Essays in Memory of Amir Pnueli.

[12]  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.

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

[14]  Guido Governatori,et al.  What Are the Necessity Rules in Defeasible Reasoning? , 2011, LPNMR.

[15]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[16]  Guido Governatori,et al.  A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web , 2011, Int. J. Semantic Web Inf. Syst..

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

[18]  Guido Governatori,et al.  A computational framework for institutional agency , 2008, Artificial Intelligence and Law.

[19]  Michael J. Maher.  Propositional defeasible logic has linear complexity , 2001, Theory and Practice of Logic Programming.

[20]  Guido Governatori,et al.  Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings , 2009, RuleML.

[21]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[22]  Zohar Manna,et al.  Time for Verification, Essays in Memory of Amir Pnueli , 2010, Essays in Memory of Amir Pnueli.

[23]  Grigoris Antoniou,et al.  Implementing Modal Extensions of Defeasible Logic for the Semantic Web , 2007, AAAI.

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

[25]  Mehmet A. Orgun,et al.  AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings , 2007, Australian Conference on Artificial Intelligence.

[26]  Takao Terano,et al.  New Frontiers in Artificial Intelligence , 2008, Lecture Notes in Computer Science.

[27]  Guido Governatori,et al.  Norm Modifications in Defeasible Logic , 2005, JURIX.

[28]  Anthony Hunter,et al.  Argumentation Using Temporal Knowledge , 2008, COMMA.

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

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

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

[32]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

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

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

[35]  Guido Governatori,et al.  Rule-Based Agents in Temporalised Defeasible Logic , 2006, PRICAI.

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

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