Distributed Abductive Reasoning with Constraints

Abductive inference has many known applications in multi-agent systems. However, most abductive frameworks rely on a centrally executed proof procedure whereas many of the application problems are distributed by nature. Confidentiality and communication overhead concerns often preclude transmitting all the knowledge required for centralised reasoning. We present in this paper a novel multi-agent abductive reasoning framework underpinned by a flexible and extensible distributed proof procedure that permits collaborative abductive reasoning with constraints between agents over decentralised knowledge.

[1]  Paolo Mancarella,et al.  Abduction and Abductive Logic Programming , 1994, ICLP.

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

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

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

[5]  Paolo Mancarella,et al.  The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application , 2008 .

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

[7]  Antonis C. Kakas,et al.  Computational Logic: Logic Programming and Beyond , 2002, Lecture Notes in Computer Science.

[8]  Jorge Lobo,et al.  Expressive policy analysis with enhanced system dynamicity , 2009, ASIACCS '09.

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

[10]  Sofie Verbaeten.  Termination Analysis for Abductive General Logic Programs , 1999, ICLP.

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

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

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

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

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

[16]  Frank Teusink.  Three-Valued Completion for Abductive Logic Programs , 1994, ALP.

[17]  Krysia Broda,et al.  Speculative Abductive Reasoning for Hierarchical Agent Systems , 2010, CLIMA.

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

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

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

[21]  Mark Wallace,et al.  Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases , 1987, SLP.

[22]  Stefania Bandini,et al.  AI*IA 2005: Advances in Artificial Intelligence, 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-23, 2005, Proceedings , 2005, AI*IA.

[23]  Peter J. Stuckey,et al.  Constraint Logic Programming , 1992, Handbook of Constraint Programming.

[24]  Evelina Lamma,et al.  LAILA: a language for coordinating abductive reasoning among logic agents , 2001, Comput. Lang..

[25]  Krysia Broda,et al.  DARE: a system for distributed abductive reasoning , 2008, Autonomous Agents and Multi-Agent Systems.