The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application

We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of multiagent systems.

[1]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: System Description , 2004, JELIA.

[2]  Bert Van Nuffelen,et al.  Problem solving in ID-logic with aggregates: some experiments , 2000, ArXiv.

[3]  autoepistemic Zogic.  Logic programming and negation : a survey , 2001 .

[4]  Francesca Toni,et al.  Abduction with Negation as Failure for Active and Reactive Rules , 1999, AI*IA.

[5]  Judea Pearl,et al.  Embracing Causality in Formal Reasoning , 1987, AAAI.

[6]  Chitta Baral,et al.  Logic Programming and Knowledge Representation , 1994, J. Log. Program..

[7]  Francesca Toni,et al.  A Semantics for the Kakas-Mancarella Procedure for Abductive Logic Programming , 1995, GULP-PRODE.

[8]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

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

[10]  Georg Gottlob,et al.  The Complexity of Logic-Based Abduction , 1993, STACS.

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

[12]  Marek Sergot,et al.  A Query-the-User Facility for Logic Programming , 1984, ECICS.

[13]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[14]  Murray Shanahan,et al.  An abductive event calculus planner , 2000, J. Log. Program..

[15]  Piero A. Bonatti,et al.  Abduction over Unbounded Domains via ASP , 2004, ECAI.

[16]  Frank van Harmelen,et al.  A semantic web primer , 2004 .

[17]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[18]  Paolo Mancarella,et al.  Generalized Stable Models: A Semantics for Abduction , 1990, ECAI.

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

[20]  Kave Eshghi,et al.  Abductive Planning with Event Calculus , 1988, ICLP/SLP.

[21]  Francesca Toni,et al.  PROCALOG - Programming with Constraints and Abducibles in Logic (Poster Abstract) , 1996, JICSLP.

[22]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[23]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

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

[25]  Bert Van Nuffelen.  SLDNFA-system , 2000, ArXiv.

[26]  Victor W. Marek,et al.  Default Reasoning System DeReS , 1996, KR.

[27]  Tze Ho Fung,et al.  Abduction by deduction , 1996 .

[28]  Chandrabose Aravindan,et al.  Knowledge base dynamics, Abduction and Databases updates , 1995, J. Appl. Non Class. Logics.

[29]  Paolo Mancarella,et al.  A logic-based approach to model computees , 2003 .

[30]  María Alpuente,et al.  A Semi-Automatic Methodology for Repairing FaultyWeb Sites , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[31]  Francesca Toni,et al.  Automated information management via abductive logic agents , 2001, Telematics Informatics.

[32]  Evelina Lamma,et al.  An abductive framework for a-priori verification of web services , 2006, PPDP '06.

[33]  John W. Lloyd,et al.  A Basis for Deductive Database Systems II , 1986, J. Log. Program..

[34]  Michael Gelfond,et al.  Answer set based design of knowledge systems , 2006, Annals of Mathematics and Artificial Intelligence.

[35]  Evelina Lamma,et al.  Abductive coordination for logic agents , 1999, SAC '99.

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

[37]  Luís Moniz Pereira,et al.  Psychiatric Diagnosis from the Viewpoint of Computational Logic , 2000, Computational Logic.

[38]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

[40]  Luigi Portinale,et al.  Using Compiled Knowledge to Guide and Focus Abductive Diagnosis , 1996, IEEE Trans. Knowl. Data Eng..

[41]  María Alpuente,et al.  A Rewriting-based Framework for Web Sites Verification , 2005, Electron. Notes Theor. Comput. Sci..

[42]  R. Reiter.  On Closed World Data Bases , 1987, Logic and Data Bases.

[43]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[44]  Danny De Schreye,et al.  Answer Set Planning , 1999 .

[45]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[46]  Ulf Nilsson,et al.  Logic, programming and Prolog , 1990 .

[47]  José Júlio Alferes,et al.  Abduction in well-founded semantics and generalized stable models via tabled dual programs , 2003, Theory and Practice of Logic Programming.

[48]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[49]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[50]  Krzysztof R. Apt,et al.  Introduction to Logic Programming , 1988 .

[51]  Paolo Mancarella,et al.  Refinements of the CIFF Procedure , 2005 .

[52]  D. Warren,et al.  Xsb -a System for Eeciently Computing Well Founded Semantics , 1997 .

[53]  Bert Van Nuffelen.  Abductive constraint logic programming: implementation and applications. , 2004 .

[54]  Dov M. Gabbay,et al.  Labelled abduction and relevance reasoning , 1994 .

[55]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.

[56]  Philippe Codognet,et al.  Abduction and Concurrent Logic Languages , 1994, ECAI.

[57]  Fangzhen Lin,et al.  Abduction in logic programming: A new definition and an abductive procedure based on rewriting , 2001, Artif. Intell..

[58]  Yuliya Lierler,et al.  Answer Set Programming Based on Propositional Satisfiability , 2006, Journal of Automated Reasoning.

[59]  Allen Van Gelder,et al.  The Alternating Fixpoint of Logic Programs with Negation , 1993, J. Comput. Syst. Sci..

[60]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[61]  Murray Shanahan,et al.  Some Alternative Formulations of the Event Calculus , 2002, Computational Logic: Logic Programming and Beyond.

[62]  Michael Eckert,et al.  A High-Level Query Language for Events , 2006, 2006 IEEE Services Computing Workshops.

[63]  Danny De Schreye,et al.  A Strong Correspondence between Description Logics and Open Logic Programming , 1997, ICLP.

[64]  Paolo Mancarella,et al.  The KGP Model of Agency , 2004, ECAI.

[65]  Evelina Lamma,et al.  A logic-based approach to model interaction amongst computees , 2003 .

[66]  Paolo Mancarella,et al.  Planning Partially for Situated Agents , 2004, CLIMA.

[67]  Hector J. Levesque,et al.  Abductive and Default Reasoning: A Computational Core , 1990, AAAI.

[68]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.

[69]  Bashar Nuseibeh,et al.  An Abductive Approach for Analysing Event-Based Requirements Specifications , 2002, ICLP.

[70]  Georg Gottlob,et al.  Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..

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

[72]  Carlo Zaniolo,et al.  Deterministic and Non-Deterministic Stable Models , 1997, J. Log. Comput..

[73]  Theresa Swift,et al.  A New Formulation of Tabled Resolution with Delay , 1999, EPIA.

[74]  Antonis C. Kakas,et al.  ACLP: Flexible Solutions to Complex Problems , 1997, LPNMR.

[75]  Paolo Mancarella,et al.  Knowledge Assimilation and Abduction , 1990, Truth Maintenance Systems.

[76]  Mário Florido,et al.  VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content , 2006, APWeb Workshops.

[77]  Paolo Mancarella,et al.  The CIFF Proof Procedure: Definition and Soundness Results , 2004 .

[78]  Mats Carlsson,et al.  An Open-Ended Finite Domain Constraint Solver , 1997, PLILP.

[79]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[80]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[81]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[82]  Phan Minh Dung,et al.  On the Relations between Stable and Well-Founded Semantics of Logic Programs , 1992, Theor. Comput. Sci..

[83]  Danny De Schreye,et al.  SLDNFA: An Abductive Procedure for Abductive Logic Programs , 1998, J. Log. Program..

[84]  Bert Van Nuffelen,et al.  Coherent Integration of Databases by Abductive Logic Programming , 2004, J. Artif. Intell. Res..

[85]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[86]  Melvin Fitting.  A Deterministic Prolog Fixpoint Semantics , 1985, J. Log. Program..

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

[88]  Ken Satoh.  Using Two Level Abduction to Decide Similarity of Cases , 1998, ECAI.

[89]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[90]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

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

[92]  Ulrike Sattler,et al.  A Case for Abductive Reasoning over Ontologies , 2006, OWLED.

[93]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[94]  Carolina Ruiz,et al.  On Extended Disjunctive Logic Programs , 1993, ISMIS.

[95]  Dan Suciu,et al.  Verifying Integrity Constraints on Web Sites , 1999, IJCAI.

[96]  Murray Shanahan,et al.  Perception as Abduction: Turning Sensor Data Into Meaningful Representation , 2005, Cogn. Sci..

[97]  Roman Schindlauer.  Nonmonotonic Logic Programs for the Semantic Web , 2005, ICLP.

[98]  Antonis C. Kakas,et al.  An abductive-based scheduler for air-crew assignment , 2001, Appl. Artif. Intell..

[99]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[100]  David Poole,et al.  A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[101]  Chris Preist,et al.  Consistency-based and abductive diagnoses as generalised stable models , 1994, Annals of Mathematics and Artificial Intelligence.

[102]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[103]  John McCarthy,et al.  Programs with common sense , 1960 .

[104]  Evelina Lamma,et al.  The SCIFF Abductive Proof-Procedure , 2005, AI*IA.

[105]  David Poole,et al.  On the Comparison of Theories: Preferring the Most Specific Explanation , 1985, IJCAI.

[106]  Phan Minh Dung,et al.  Negations as Hypotheses: An Abductive Foundation for Logic Programming , 1991, ICLP.

[107]  José Júlio Alferes,et al.  Hypothetical Reasoning with Well Founded Semantics , 1991, SCAI.

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

[109]  D. Ballis,et al.  Fixing Web Sites Using Correction Strategies , 2006, 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06).

[110]  Evelina Lamma,et al.  Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate , 2004, Annals of Mathematics and Artificial Intelligence.

[111]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[112]  Paolo Mancarella,et al.  An Abductive Proof Procedure Handling Active Rules , 2003, AI*IA.

[113]  Arthur C. Sanderson,et al.  CHICA, an abductive planning system based on Event Calculus , 1994 .

[114]  K. A. Ross,et al.  Tabled Evaluation with Delaying for General Logic Programs , 1996 .

[115]  C. Peirce,et al.  Collected Papers of Charles Sanders Peirce , 1936, Nature.

[116]  Gerald Pfeifer,et al.  A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.

[117]  Stéphane Bressan,et al.  The Context Interchange mediator prototype , 1997, SIGMOD '97.

[118]  Christian Holzbaur,et al.  Metastructures versus Attributed Variables in the Context of Extensible Unification , 1992, PLILP.

[119]  Antonis C. Kakas,et al.  Air-Crew Scheduling through Abduction , 1999, IEA/AIE.

[120]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[121]  Timo Soininen,et al.  Extending and implementing the stable model semantics , 2000, Artif. Intell..

[122]  Antonis C. Kakas,et al.  Integrating Abductive and Constraint Logic Programming , 1995 .

[123]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[124]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[125]  Maurice Bruynooghe,et al.  Temporal Reasoning with Abductive Event Calculus , 1992, ECAI.

[126]  Juliana Freire,et al.  XSB: A System for Effciently Computing WFS , 1997, LPNMR.

[127]  Pieter H. Hartel,et al.  Programming Languages: Implementations, Logics, and Programs , 1996, Lecture Notes in Computer Science.

[128]  Brigitte Trousse,et al.  Semantic verification of web sites using natural semantics , 2000 .

[129]  James A. Hendler,et al.  Owl web ontology language 1 , 2002 .

[130]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[131]  Wolfgang Faber,et al.  Using Database Optimization , 1999 .

[132]  Stéphane Bressan,et al.  A Procedure for Mediation of Queries to Sources in Disparate Contexts , 1997, ILPS.

[133]  Piero A. Bonatti,et al.  Abduction, ASP and open logic programs , 2002, NMR.

[134]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[135]  Jan Wielemaker,et al.  An Overview of the SWI-Prolog Programming Environment , 2003, WLPE.

[136]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[137]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[138]  François Bry,et al.  The XML Query Language Xcerpt: Design Principles, Examples, and Semantics , 2002, Web, Web-Services, and Database Systems.

[139]  Raymond Reiter.  On Asking What a Database Knows , 1990 .

[140]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

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

[142]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[143]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

[144]  Taisuke Sato,et al.  Completed Logic Programs and their Consistency , 1990, J. Log. Program..

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

[146]  Joachim Schimpf,et al.  ECLiPSe: A Platform for Constraint Logic Programming , 1997 .

[147]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[148]  Marc Denecker,et al.  Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison , 2000, LPAR.

[149]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[150]  Randall Davis,et al.  Negotiation as a Metaphor for Distributed Problem Solving , 1988, Artificial Intelligence.

[151]  Tim Furche,et al.  Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt , 2006, PPSWR.

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

[153]  Ernest Teniente,et al.  On the abductive or deductive nature of database schema validation and update processing problems , 2003, Theory and Practice of Logic Programming.

[154]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[155]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: Implementation and Applications , 2004 .

[156]  Michael Gelfond,et al.  Logic programming and knowledge representation—The A-Prolog perspective , 2002 .

[157]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[158]  Michael J. Maher,et al.  The Semantics of Constraint Logic Programs , 1998, J. Log. Program..

[159]  Paolo Mancarella,et al.  The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation , 2004, Global Computing.

[160]  Philippe Roussel,et al.  The birth of Prolog , 1993, HOPL-II.

[161]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[162]  Francesca Toni,et al.  Executing Suspended Logic Programs , 1998, Fundam. Informaticae.

[163]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[164]  Antonis C. Kakas,et al.  Information Integration and Computational Logic , 2001, ArXiv.