Default Reasoning in CHR _

CHR∨ has emerged as a versatile knowledge representation language, usable for an unparalleled variety of automated reasoning tasks: constraint solving, optimization, classification, subsumption, classical deduction, abduction, truth-maintenance, belief revision, belief update and planning. In this paper, we add default reasoning to this list, by showing how to represent default logic theories in CHR∨. We then discuss how to leverage this representation together with the well-know correspondence between default logic and Negation As Failure (NAF) in logic programming, to propose an extension CHR∨,naf of CHR∨ allowing NAF in the rule heads.

[1]  Maurice Pagnucco,et al.  The Role of Abductive Reasoning within the Process of Belief Revision , 1996 .

[2]  François Fages,et al.  Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..

[3]  Peter J. Stuckey,et al.  Automatic Implication Checking for CHR Constraints , 2006, Electron. Notes Theor. Comput. Sci..

[4]  Armin Wolf,et al.  Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications , 2008, Constraint Handling Rules.

[5]  Matthew L. Ginsberg,et al.  Readings in Nonmonotonic Reasoning , 1987, AAAI 1987.

[6]  Peter J. Stuckey,et al.  The Refined Operational Semantics of Constraint Handling Rules , 2004, ICLP.

[7]  Jacques Robin,et al.  ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components , 2006, WLP.

[8]  Michael Thielscher,et al.  Representing Beliefs in the Fluent Calculus , 2004, ECAI.

[9]  Slim Abdennadher.  Rule-based Constraint Programming: Theory and Practice , 2001 .

[10]  Slim Abdennadher,et al.  Essentials of Constraint Programming , 2010, Cognitive Technologies.

[11]  Tom Schrijvers,et al.  Extending CHR with negation as absence , 2006 .

[12]  Grigoris Antoniou,et al.  A tutorial on default logics , 1999, CSUR.

[13]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[14]  Paolo Mancarella,et al.  Abductive Logic Programming , 1992, LPNMR.

[15]  Georg Gottlob,et al.  Semantics and Complexity of Abduction from Default Theories , 1995, IJCAI.

[16]  Michael Kifer,et al.  Inheritance in Rule-Based Frame Systems: Semantics and Inference , 2006, J. Data Semant..

[17]  Thom Frühwirth.  Description Logic and Rules the CHR Way Extended , 2007 .