Propositional Clausal Defeasible Logic

Defeasible logics are non-monotonic reasoning systems that have efficient implementations and practical applications. We list several desirable properties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.

[1]  David Billington,et al.  The Proof Algorithms of Plausible Logic Form a Hierarchy , 2005, Australian Conference on Artificial Intelligence.

[2]  Bela Stantic,et al.  Correcting Stored RFID Data with Non-Monotonic Reasoning , 2007 .

[3]  Shichao Zhang,et al.  AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings , 2005, Australian Conference on Artificial Intelligence.

[4]  Guido Governatori,et al.  Dialogue Games in Defeasible Logic , 2007, Australian Conference on Artificial Intelligence.

[5]  David Billington,et al.  Propositional Plausible Logic: Introduction and Implementation , 2001, Stud Logica.

[6]  Andrew Rock,et al.  Using Temporal Consistency to Improve Robot Localisation , 2006, RoboCup.

[7]  David Billington,et al.  A plausible logic which detects loops , 2004, NMR.

[8]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[9]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[10]  Guido Governatori,et al.  An algorithm for the induction of defeasible logic theories from databases , 2003, ADC.

[11]  Shazia Wasim Sadiq,et al.  A Model of Dynamic Resource Allocation in Workflow Systems , 2004, ADC.

[12]  Guido Governatori,et al.  A formal approach to protocols and strategies for (legal) negotiation , 2001, ICAIL '01.

[13]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[14]  Osamu Yoshie,et al.  Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support , 2001 .

[15]  Guido Governatori,et al.  Defeasible Logic: Agency, Intention and Obligation , 2004, DEON.

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

[17]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[18]  Ioannis P. Vlahavas,et al.  DR-DEVICE: A Defeasible Logic System for the Semantic Web , 2004, PPSWR.

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

[20]  Michael J. Maher,et al.  On the analysis of regulations using defeasible rules , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

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

[22]  Rene Hexel,et al.  Non-monotonic Reasoning for Localisation in RoboCup , 2005 .

[23]  Guido Governatori,et al.  A Defeasible Logic of Policy-Based Intention , 2002, Australian Conference on Artificial Intelligence.

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

[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]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

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

[28]  Osamu Yoshie,et al.  Web Knowledge Management and Decision Support , 2003, Lecture Notes in Computer Science.

[29]  Michael J. Maher,et al.  A Flexible Framework for Defeasible Logics , 2000, AAAI/IAAI.

[30]  Donald Nute,et al.  Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics , 2006, JELIA.