The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming

Volumn 9, Issue 6, 2009, Pages 691-750

  Mancarella, Paolo ^a   Terreni, Giacomo ^a   Sadri, Fariba ^b   Toni, Francesca ^b   Endriss, Ulle ^c  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Abduction; Constraints; Proof procedures

Indexed keywords

ABDUCTIVE LOGIC PROGRAMMING; ANSWER SET; CONSTRAINT LOGIC PROGRAMMING; CONSTRAINT SOLVERS; PROOF PROCEDURES;

LOGIC PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 74149090143     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068409990093     Document Type: Article

References (68)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P. and Torroni, P. 2008. Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic 9 (4), 1-43.
2. Alferes, J. J., Pereira, L. M. and Swift, T. 2004. Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory and Practice of Logic Programming 4 , 4, 383-428.
3. Aliseda-Llera, A. 1997. Abduction in Logic, Philosophy of Sand Artificial Intelligence, PhD Thesis, ILLC, University of Amsterdam, Amsterdam, The Netherlands.
4. Baral, C. 2003. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York.
5. Baral, C. and Gelfond, M. 1994. Logic programming and knowledge representation. Journal of Logic Programming 19/20, 73-148.
6. Baselice, S., Bonatti, P. A. and Gelfond, M. 2005. Towards an integration of answer set and constraint solving. In Proceedings of the 21st International Conference on Logic Programming, M. Gabbrielli and G. Gupta, Eds. Sitges, Spain, Lecture Notes in Computer Science, Vol.3668, Springer, 52-66.
7. Bonatti, P. A. 2002. Abduction, ASP and open logic programs. In Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning (NMR-2002), 184-190. CoRR, cs.AI/0207021, http://arxiv.org/abs/cs.AI/0207021.
8. Bressan, S., Goh, C. H., Lee, T., Madnick, S. E. and Siegel, M. 1997. A procedure for mediation of queries to sources in disparate contexts. In Proceedings of the International Logic Programming Symposium, J. Maluszynski, Ed., Port Jefferson, NY, USA, MIT Press, 213-227.
9. Christiansen, H. and Dahl, V. 2005. Hyprolog: A new logic programming language with assumptions and abduction. In Proceedings of the 21st International Conference on Logic Programming, (ICLP05), M. Gabbrielli and G. Gupta, Eds., Sitges, Spain, Lecture Notes in Computer Science, Vol.3668, Springer, 159-173.
10. Ciampolini, A., Lamma, E., Mello, P., Toni, F. and Torroni, P. 2003. Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Annals of Mathematics and Artificial Intelligence 37 , 1-2, 65-91.
11. Clark, K. L. 1978. Negation as failure. In Logic and Data Bases, H. Gallaire and J. Minker, Eds., Plenum Press, New York, 77-106.
12. Console, L., Dupre, D. T. and Torasso, P. 1991. On the relationship between abduction and deduction. Journal of Logic and Computation 1 , 5, 661-690.
13. D'Agostino, M., Gabbay, D. M., Hähnle, R., and Posegga, J., Eds. 1999. Handbook of Tableau Methods. Springer-Verlag.
14. Denecker, M. and De Schreye, D. 1992. SLDNFA: An abductive procedure for normal abductive programs. In Proceedings of the Ninth Joint International Conference and Symposium on Logic Programming, K. Apt, Ed., Washington, DC, USA, MIT Press, 686-700.
15. Denecker, M. and De Schreye, D. 1998. SLDNFA: An abductive procedure for abductive logic programs. Journal of Logic Programming 34 , 2, 111-167.
16. Denecker, M. and Kakas, A. C. 2002. Abduction in logic programming. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I, A. C. Kakas and F. Sadri, Eds., Lecture Notes in Computer Science 2407, Springer, 402-436.
17. Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. 1997. A deductive system for non-monotonic reasoning. In Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, J. Dix, U. Furbach and A. Nerode, Eds., Lecture Notes in Computer Science 1265, Springer, London, 364-375.
18. Endriss, U., Hatzitaskos, M., Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2005. Refinements of the CIFF procedure. In Proceedings of the 12th Workshop on Automated Reasoning, A. Bundy and J. Fleuriot, Eds., University of Edinburgh.
19. Endriss, U., Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2004a. Abductive logic programming with CIFF: System description. In Logics in Artificial Intelligence, 9th European Conference, J. J. Alferes and J. A. Leite, Eds., Lisbon, Portugal, Lecture Notes in Computer Science 3229, Springer, 680-684.
20. Endriss, U., Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2004b. The CIFF proof procedure for abductive logic programming with constraints. In Logics in Artificial Intelligence, 9th European Conference, J. J. Alferes and J. A. Leite, Eds., Lisbon, Portugal, Lecture Notes in Computer Science 3229, Springer, 31-43. (Pubitemid 41049924)
21. Eshghi, K. and Kowalski, R. A. 1989. Abduction compared with negation by failure. In Proceedings of the Sixth International Conference on Logic Programming, G. Levi and M. Martelli, Eds., Lisbon, Portugal, MIT Press, 234-254.
22. Fernández, A. J. and Hill, P. M. 2000. A comparative study of eight constraint programming languages over the Boolean and finite domains. Constraints 5 , 3, 275-301.
23. Frühwirth, T. W. 1998. Theory and practice of constraint handling rules. J. Log. Program. 37 , 1-3, 95-138.
24. Fung, T. H. 1996. Abduction by Deduction, PhD Thesis. Imperial College, University of London, London.
25. Fung, T. H. and Kowalski, R. A. 1997. The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33 , 2, 151-165.
26. Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Proceedings of the Fifth International Conference and Symposium on Logic Programming (ICLP/SLP), R. A. Kowalski and K. Bowen, Eds., Seattle, Washington, USA, MIT Press, 1070-1080.
27. Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365-385.
28. Holzbaur, C. 1992. Metastructures versus attributed variables in the context of extensible unification. In Proceedings of Fourth Symposium on Programming Language Implementation and Logic Programming, M. Bruynooghe and M. Wirsing, Eds., Leuven, Belgium, Lecture Notes in Computer Science 631, Springer, 260-268.
29. Jaffar, J. and Maher, M. 1994. Constraint logic programming: A survey. Journal of Logic Programming 19/20, 503-581.
30. Jaffar, J., Maher, M. J., Marriott, K. and Stuckey, P. J. 1998. The semantics of constraint logic programs. Journal of Logic Programming 37 , 1-3, 1-46.
31. Kakas, A., Kowalski, R. and Toni, F. 1998. The role of abduction in logic programming. In Handbook of Logic in Artificial Intelligence and Logic Programming 5. Oxford University Press, 235-324.
32. Kakas, A. C., Kowalski, R. A. and Toni, F. 1992. Abductive logic programming. Journal of Logic and Computation 2 , 6, 719-770.
33. Kakas, A. C. and Mancarella, P. 1990a. Abductive logic programming. In Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, V. W. Marek, A. Nerode, D. Pedreschi and V. S. Subrahmanian, Eds., Austin, TX, USA, 49-61.
34. Kakas, A. C. and Mancarella, P. 1990b. Generalized stable models: A semantics for abduction. In Proceedings of the Ninth European Conference on Artificial Intelligence, Stockholm, Sweden, 385-391.
35. Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. and Toni, F. 2004. The KGP model of agency. In Proceedings of the 16th European Conference on Artificial Intelligence, R. Ló pez de Ḿ antaras, L. Saitta, Eds., Valencia, Spain, IOS Press, 33-37.
36. Kakas, A. C., Mancarella, P., Sadri, F., Stathis, K. and Toni, F. 2008. Computational logic foundations of KGP agents. Journal of Artificial Intelligence Research 33, 285-348.
37. Kakas, A. C., Michael, A. and Mourlas, C. 2000. ACLP: Abductive constraint logic programming. Journal of Logic Programming 44, 129-177.
38. Kakas, A. C., Van Nuffelen, B. and Denecker, M. 2001. A-system: Problem solving through abduction. In Proceedings of the 17th International Joint Conference on Artificial Intelligence, B. Nebel, Ed., Seattle, Washington, USA, Morgan Kaufmann, 591-596.
39. Klarman, S. 2008. ABox Abduction in Description Logic, MS Thesis. ILLC, University of Amsterdam, Amsterdam, The Netherlands.
40. Kowalski, R. and Sergot, M. 1986. A logic-based calculus of events. New Generation Computing 4 , 1, 67-95.
41. Kowalski, R. A., Toni, F. and Wetzel, G. 1998. Executing suspended logic programs. Fundamenta Informaticae 34 , 3, 203-224.
42. Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4 , 4, 289-308.
43. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7 , 3, 499-562.
44. Lin, F. and You, J.-H. 2002. Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artificial Intelligence 140 , 1/2, 175-205.
45. Lloyd, J. W. 1987. Foundations of Logic Programming, 2nd extended ed. Springer-Verlag, New York.
46. Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2004. Planning partially for situated agents. In Proceedings of the Fifth International Workshop on Computational Logic in Multi- Agent Systems, J. A. Leite and P. Torroni, Eds., Lisbon, Portugal, Lecture Notes in Computer Science 3487, Springer, 230-248.
47. Mancarella, P., Sadri, F., Terreni, G. and Toni, F. 2007. Programming applications in CIFF. In Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning, C. Baral, G. Brewka and J. S. Schlipf, Eds., Tempe, AZ, USA, Lecture Notes in Computer Science 4483, Springer, 284-289.
48. Mancarella, P., Terreni, G. and Toni, F. 2007. Web sites verification: An abductive logic programming tool. In Proceedings of the 23rd International Conference on Logic Programming, V. Dahl and I. Niemelä, Eds., Porto, Portugal, Lecture Notes in Computer Science 4670, Springer, 434-435.
49. Mancarella, P., Terreni, G. and Toni, F. 2009. Web sites repairing through abduction. Electronic Notes on Theoretical Computer Science 235, 137-152.
50. Marek, W. and Truszczynski, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 375-398.
51. Martelli, A. andMontanari, U. 1982. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems 4 , 2, 258-282.
52. Mayer, M. C. and Pirri, F. 1993. First order abduction via tableau and sequent calculi. Bulletin of the IGPL 1 , 1, 99-117.
53. Mellarkod, V. S. and Gelfond, M. 2008. Integrating answer set reasoning with constraint solving techniques. In Proceedings of the 9th International Symposium on Functional and Logic Programming, J. Garrigue and M. V. Hermenegildo, Eds., Ise, Japan, Lecture Notes in Computer Science 4989, Springer, 15-31.
54. Miller, R. and Shanahan, M. 2002. Some alternative formulations of the event calculus. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, A. C. Kakas and F. Sadri, Eds., Lecture Notes in Computer Science 2408, Springer, London, 452-490.
55. Niemela, I. and Simons, P. 1997. SMODELS-an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the Fourth International Conference on Logic Programming and Nonmonotonic Reasoning, J. Dix, U. Furbach and A. Nerode, Eds., London, UK, Lecture Notes in Computer Science 1265, Springer, 421-430.
56. Pereira, L. M., Apaŕicio, J. N. and Alferes, J. J. 1991. Nonmonotonic reasoning with well founded semantics. In Proceedings of the Eighth International Conference on Logic Programming, K. Furukawa, Ed., Paris, France, MIT Press, 475-489.
57. Sadri, F. and Toni, F. 1999. Abduction with negation as failure for active and reactive rules. In AI*IA 99: Advances in Artificial Intelligence, Sixth Congress of the Italian Association for Artificial Intelligence, E. Lamma and P. Mello, Eds., Bologna, Italy, Lecture Notes in Computer Science 1792, Springer, 49-60.
58. Sadri, F., Toni, F. and Torroni, P. 2002. An abductive logic programming architecture for negotiating agents. In Logics in Artificial Intelligence, European Conference, S. Flesca, S. Greco, N. Leone and G. Ianni, Eds., Cosenza, Italy, Lecture Notes in Computer Science 2424, Springer, 419-431.
59. Shanahan, M. 1989. Prediction is deduction but explanation is abduction. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, N. S. Sridharan, Ed., Detroit, MI, USA, Morgan Kaufmann, 1055-1060.
60. Simons, P. 2000. Extending and Implementing the Stable Model Semantics, Technical Report. Helsinki University of Technology, Espoo, Helsinki, Finland.
61. SOCS-Consortium. 2002-2005. Societies of computees (SOCS): A computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530 [online]. Accessed 22 July 2009. URL: http://lia.deis.unibo.it/Research/SOCS/
62. Terreni, G. 2008a. The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application, PhD Thesis. Universit̀a di Pisa, Pisa, Tuscany, Italy.
63. Terreni, G. 2008b. The CIFF system [online]. Accessed 22 July 2009. URL: http://www.di.unipi.it/ t~erreni/research.php
64. Toni, F. 2001. Automated information management via abductive logic agents. Telematics and Informatics 18 , 1, 89-104.
65. Van Gelder, A., Ross, K., and Schlipf, J. S. 1991. The well-founded semantics for general logic programs. Journal of the ACM 38 , 3, 620-650.
66. Van Nuffelen, B. 2004. Abductive Constraint Logic Programming: Implementation and Applications, PhD Thesis. K. U. Leuven, Leuven, Belgium.
67. Wetzel, G., Kowalski, R. A., and Toni, F. 1996. PROCALOG-programming with constraints and abducibles in logic (poster abstract). In Proceedings of the 13th Joint International Conference and Symposium on Logic Programming, M. J. Maher, Ed., Bonn, Germany, MIT Press, 535.
68. Wielemaker, J. 2003. An overview of the SWI-Prolog programming environment. In Proceedings of the 13th International Workshop on Logic Programming Environments, F. Mesnard and A. Serebrenik, Eds., Mumbai, India, Report CW371 Katholieke Universiteit Leuven, Department of Computer Science, 1-16. Accessed 22 July 2009. URL: http://www.swi-prolog.org/.