Abduction-Based Search for Cooperative Answers

We propose that agents may use abductive reasoning to adopt a Cooperative Answering behavior. In the event of failure or inadequacy of answers to a query (question), the agent should provide related answers by employing Query Relaxation. These answers are to be related to the query and might be useful to the querying agent. In order to achieve that, we consider agents with knowledge bases consisting of Abductive Logic Programs. Such agents are able to explain failure and guide the search for related answers. A distinctive aspect of our proposal is that in order to avoid undesirable results, one can select the parts of the query that cannot be relaxed.

[1]  Troels Andreasen,et al.  Flexible Query-Answering Systems Modelled in Metalogic Programming , 1996, KRDB.

[2]  Agostino Cortesi,et al.  Cooperative Query Answering by Abstract Interpretation , 2011, SOFSEM.

[3]  Chiaki Sakama,et al.  An abductive framework for computing knowledge base updates , 2003, Theory Pract. Log. Program..

[4]  Chiaki Sakama,et al.  Negotiation by abduction and relaxation , 2007, AAMAS '07.

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

[6]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[7]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

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

[9]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

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

[11]  Olivier Pivert,et al.  A Method Based on Query Caching and Predicate Substitution for the Treatment of Failing Database Queries , 2010, ICCBR.

[12]  Chiaki Sakama,et al.  Abductive Framework for Nonmonotonic Theory Change , 1995, IJCAI.

[13]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[14]  Marko Vukolic,et al.  SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings , 2011, SOFSEM.

[15]  Francesca Toni,et al.  Semantic Query Optimization through Abduction and Constraint Handling , 1998, FQAS.

[16]  Antonis C. Kakas,et al.  Abduction in Logic Programming , 2002, Computational Logic: Logic Programming and Beyond.

[17]  Parke Godfrey,et al.  Relaxation as a platform for cooperative answering , 1992, Journal of Intelligent Information Systems.

[18]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1989, IJCAI 1989.