Abduction-Based Search for Cooperative Answers

  • Samy Sá
  • João Alcântara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)


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.


Rational Explanation Original Query Ground Instance Deductive Database Abductive Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Andreasen, T., Christiansen, H.: Flexible query-answering systems modelled in metalogic programming. In: ECAI 1996 Workshop Knowledge Representation Meets Databases, pp. 1–7 (1996)Google Scholar
  2. 2.
    Balduccini, M.: Computing answer sets of cr-prolog programs. Technical report, Texas Tech. University (2006)Google Scholar
  3. 3.
    Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artif. Intell. 49, 25–60 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Denecker, M., Kakas, A.C.: Abduction in logic programming. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 402–436. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Gaasterland, T., Godfrey, P., Minker, J.: Relaxation as a platform for cooperative answering. J. Intell. Inf. Syst. 1(3/4), 293–321 (1992)CrossRefGoogle Scholar
  6. 6.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Comput. 9(3/4), 365–386 (1991)CrossRefzbMATHGoogle Scholar
  7. 7.
    Godfrey, P.: Minimization in cooperative response to failing database queries. International Journal of Cooperative Information Systems 6, 95–149 (1997)CrossRefGoogle Scholar
  8. 8.
    Halder, R., Cortesi, A.: Cooperative query answering by abstract interpretation. In: Černá, I., Gyimóthy, T., Hromkovič, J., Jefferey, K., Králović, R., Vukolić, M., Wolf, S. (eds.) SOFSEM 2011. LNCS, vol. 6543, pp. 284–296. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Inoue, K., Sakama, C.: Abductive framework for nonmonotonic theory change. In: IJCAI, pp. 204–210 (1995)Google Scholar
  10. 10.
    Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235–324. Oxford University Press, Oxford (1998)Google Scholar
  11. 11.
    Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. J. Log. Program. (19/20), 629–679 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Pivert, O., Jaudoin, H., Brando, C., Hadjali, A.: A method based on query caching and predicate substitution for the treatment of failing database queries. In: Bichindaritz, I., Montani, S. (eds.) ICCBR 2010. LNCS, vol. 6176, pp. 436–450. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Sadri, F., Toni, F.: Active behaviour in deductive databases. Technical report (1996)Google Scholar
  14. 14.
    Sakama, C., Inoue, K.: An abductive framework for computing knowledge base updates. Theory Pract. Log. Program. 3, 671–715 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Sakama, C., Inoue, K.: Negotiation by abduction and relaxation. In: AAMAS, pp. 1022–1029 (2007)Google Scholar
  16. 16.
    Wetzel, G., Toni, F.: Semantic query optimization through abduction and constraint handling. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol. 1495, pp. 149–366. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Samy Sá
    • 1
  • João Alcântara
    • 1
  1. 1.Universidade Federal do CearáBrazil

Personalised recommendations