Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Abstract Constraint Handling Rules (CHR) is an extension to Prolog which opens up a spectrum of hypothesis-based reasoning in logic programs without additional interpretation overhead. Abduction with integrity constraints is one example of hypothesis-based reasoning which can be implemented directly in Prolog and CHR with a straightforward use of available and efficiently implemented facilities. The present paper clarifies the semantic foundations for this way of doing abduction in CHR and Prolog as well as other examples of hypothesis-based reasoning that is possible, including assumptive logic programming, hypotheses with priority and scope, and nonmonotonic reasoning. Examples are presented as executable code so the paper may also serve the additional purpose of a practical guide for developing such programs, and it is demonstrated that the approach provides a seamless integration with existing constraint solvers.

[1]  Ruslan Mitkov,et al.  Automatic Anaphora Resolution: Limits, Impediments, and Ways Forward , 2002, PorTAL.

[2]  Irina Trubitsyna,et al.  Prioritized Reasoning in Logic Programming , 2007, FLAIRS Conference.

[3]  Henning Christiansen,et al.  From use cases to UML class diagrams using logic grammars and constraints , 2007 .

[4]  Bert Van Nuffelen,et al.  A-System: Problem Solving through Abduction , 2001, IJCAI.

[5]  Antonis C. Kakas,et al.  Special issue: abductive logic programming , 2000, The Journal of Logic Programming.

[6]  Gerald Penn.  Applying Constraint Handling Rules to HPSG , 2000, ArXiv.

[7]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[8]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[9]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[10]  FRANK MORAWIETZ.  Parsing Natural Languages with CHR , 2002 .

[11]  Henning Christiansen,et al.  On the Implementation of Global Abduction , 2006, CLIMA.

[12]  Christian Holzbaur.  OFAI clp(Q,R) Manual , 1995 .

[13]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[14]  Henning Christiansen,et al.  Reasoning about Use Cases using Logic Grammars and Constraints , 2007 .

[15]  Bart Demoen,et al.  User-definable rule priorities for CHR , 2007, PPDP '07.

[16]  Verónica Dahl,et al.  HYPROLOG: A New Logic Programming Language with Assumptions and Abduction , 2005, ICLP.

[17]  Verónica Dahl,et al.  Semantic Property Grammars for Knowledge Extraction from Biomedical Text , 2006, ICLP.

[18]  Slim Abdennadher,et al.  Chr _ : a Flexible Query Language , 2022 .

[19]  Frank Morawietz.  Chart Parsing and Constraint Programming , 2000, COLING.

[20]  Chiaki Sakama,et al.  Representing Priorities in Logic Programs , 1996, JICSLP.

[21]  Paolo Mancarella,et al.  Programming Applications in CIFF , 2007, LPNMR.

[22]  Verónica Dahl,et al.  An Abductive Treatment of Long Distance Dependencies in CHR , 2004, CSLP.

[23]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[24]  Henning Christiansen,et al.  Automated Reasoning with a Constraint-Based Metainterpreter , 1998, J. Log. Program..

[25]  Antonis C. Kakas,et al.  Abduction in logic programming , 2002 .

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

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

[28]  Patricia M. Hill,et al.  A Comparative Study of Eight Constraint Programming Languages Over the Boolean and Finite Domains , 2000, Constraints.

[29]  Verónica Dahl,et al.  Logic Grammars for Diagnosis and Repair , 2003, Int. J. Artif. Intell. Tools.

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

[31]  Verónica Dahl,et al.  Implantation de grammaires de propriétés en CHR , 2004, JFPLC.

[33]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[34]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[35]  Verónica Dahl,et al.  Assumption Grammars for Processing Natural Language , 1997, ICLP.

[36]  Verónica Dahl,et al.  Meaning in Context , 2005, CONTEXT.

[37]  Slim Abdennadher,et al.  An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.

[38]  Yan Zhang,et al.  Two results for prioritized logic programming , 2002, Theory and Practice of Logic Programming.

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

[40]  Antonis C. Kakas,et al.  ACLP: Abductive Constraint Logic Programming , 2000, J. Log. Program..

[41]  Robert A. Kowalski,et al.  The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..

[42]  Michael Gelfond,et al.  Towards an Integration of Answer Set and Constraint Solving , 2005, ICLP.

[43]  Henning Christiansen,et al.  Symbolic constraints for meta-logic programming , 2000, Appl. Artif. Intell..

[44]  Ilkka Niemelä,et al.  The Smodels System , 2001, LPNMR.

[45]  Edsger W. Dijkstra,et al.  Hierarchical ordering of sequential processes , 1971, Acta Informatica.

[46]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[47]  Evelina Lamma,et al.  An Abductive Framework for Information Exchange in Multi-agent Systems , 2004, CLIMA.

[48]  Thom W. Frühwirth,et al.  A Linear-Logic Semantics for Constraint Handling Rules , 2005, CP.

[49]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[50]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

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

[52]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[53]  Ken Satoh.  "All's well that ends well" - a proposal of global abduction , 2004, NMR.

[54]  Henning Christiansen,et al.  CHR grammars , 2004, Theory and Practice of Logic Programming.

[55]  Ken Satoh.  An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report , 2004, CLIMA.

[56]  Lee Naish.  Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 , 1997, ICLP.