Integrating induction and abduction in logic programming

Information Sciences

Volumn 116, Issue 1, 1999, Pages 25-54

  Lamma, Evelina ^a   Mello, Paola ^a   Milano, Michela ^a   Riguzzi, Fabrizio ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Abductive Logic Programming; Inductive Logic Programming; Machine learning; Nonmonotonic reasoning

Indexed keywords

LEARNING SYSTEMS; PROBLEM SOLVING;

ABDUCTIVE LOGIC PROGRAMMING; INDUCTIVE LOGIC PROGRAMMING; NONMONOTONIC REASONING;

LOGIC PROGRAMMING;

EID: 0033133141     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(98)10092-0     Document Type: Article

References (38)

1. H. Adé, M. Denecker, AILP: Abductive inductive logic programming, in: C.S. Mellish (Ed.), Proceedings of the 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1995, pp. 1201-1207.
2. H. Adé, B. Malfait, L. De Raedt, RUTH: An ILP theory revision system, Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems, vol. 869, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1994, pp. 336-345.
3. K.R. Apt, Logic programming, in: Handbook of Theoretical Computer Science, vol. B, Elsevier, Amsterdam, 1990, pp. 493-574.
4. M. Bain, S. Muggleton, Non-monotonic learning, in: S. Muggleton (Ed.), Inductive Logic Programming, Academic Press, New York, 1992, pp. 145-161.
5. F. Bergadano, D. Gunetti, Inductive Logic Programming, MIT press, Cambridge, MA, 1995.
6. A. Brogi, E. Lamma, P. Mancarella, P. Mello, A unifying view for logic programming with non-monotonic reasoning, Theoretical Computer Science 184 (1997) 1-59.
7. F. Bry, Intensional updates: Abduction via deduction, in: D. Warren, P. Szeredi (Eds.), Proceedings of the Seventh International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 561-578.
8. W.W. Cohen, Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem, Machine Learning 8 (1992) 167-219.
9. L. Console, D. Theseider Duprè, P. Torasso, Abductive reasoning through direct deduction from completed domains models, in: Z. Ras (Ed.), Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, North Holland, Amsterdam, 1989, pp. 175-182.
10. L. De Raedt, M. Bruynooghe, On negation and three-valued logic in interactive concept-learning, in: L.C. Aiello (Ed.), Proceedings of the Ninth European Conference on Artificial Intelligence, Pitman, London, 1990, pp. 207-212.
11. L. De Raedt, M. Bruynooghe, Belief updating from integrity constraints and queries, Artificial Intelligence 53 (1992) 291-307.
12. L. De Raedt, M. Bruynooghe, A theory of clausal discovery, in: R. Bajcsy (Ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, Los Altos, CA, 1993, pp. 1058-1063.
13. L. De Raedt, N. Lavrač, S. Džeroski, Multiple predicate learning, in: S. Muggleton (Ed.), Proceedings of the Third International Workshop on Inductive Logic Programming, J. Stefan Institute, 1993, pp. 221-240.
14. L. De Raedt, W. Van Laer, Inductive constraint logic, Proceedings of the Fifth Conference on Algorithmic Learning Theory, vol. 997, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1995.
15. M. Denecker, L. De Raedt, P. Flach, A. Kakas (Eds.), Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning, Catholic University of Leuven, 1996.
16. Y. Dimopoulos, A. Kakas, Learning non-monotonic logic programs: Learning exceptions, in: N. Lavrač, S. Wrobel (Eds.), Proceedings of the Eighth European Conference on Machine Learning, vol. 912, Lecture Notes in Artificial Intelligence, Springer, Berlin, 1995, pp. 122-137.
17. Y. Dimopoulos, A. Kakas, Abduction and inductive learning, in: Advances in Inductive Logic Programming, IOS Press, 1996.
18. P.M. Dung, Negation as hypothesis: An abductive foundation for logic programming, in: K. Furukawa (Ed.), Proceedings of the Eighth International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991, pp. 3-17.
19. S. Džeroski, Handling noise in inductive logic programming, Master's thesis, Faculty of Electrical Engineering and Computer Science, University of Ljubljana, 1991.
20. K. Eshghi, R.A. Kowalski, Abduction compared with Negation by Failure, Proceedings of the Sixth International Conference on Logic Programming, 1989.
21. F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, G. Semeraro, Learning abductive logic programs, in: M. Denecker, L. De Raedt, P. Flach, A. Kakas (Eds.), Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning, Catholic University of Leuven, 1996.
22. P. Flach, A. Kakas (Eds.), Proceedings of IJCAI97 Workshop on Abductive and Inductive Reasoning, 1997.
23. A.C. Kakas, R.A. Kowalski, F. Toni, Abductive logic programming, Journal of Logic and Computation 2 (1993) 719-770.
24. A.C. Kakas, R.A. Kowalski, F. Toni, The role of abduction in logic programming, in: D. Gabbay, C. Hogger, J. Robinson (Eds.), Handbook of Logic in AI and Logic Programming, vol. 5, Oxford University Press, 1997, pp. 233-306.
25. A.C. Kakas, P. Mancarella, Generalized stable models: a semantics for abduction, Proceedings of the Ninth European Conference on Artificial Intelligence, 1990.
26. A.C. Kakas, P. Mancarella, On the relation between truth maintenance and abduction, Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, 1990.
27. A.C. Kakas, P. Mancarella, P.M. Dung, The acceptability semantics for logic programs, Proceedings of the 11th International Conference on Logic Programming, 1994.
28. A.C. Kakas, F. Riguzzi, Learning with abduction, Proceedings of the Seventh International Workshop on Inductive Logic Programming, 1997.
29. E. Lamma, P. Mello, M. Milano, F. Riguzzi, Introducing abduction into (extensional) inductive logic programming systems, in: M. Lenzerini (Ed.), AI*IA97, Advances in Artificial Intelligence, Proceedings of the Fifth Congress of the Italian Association for Artificial Intelligence, vol. 1321, LNAI, Springer, Berlin, 1997.
30. N. Lavrač, S. Džeroski, Inductive Logic Programming: Techniques and Applications. Ellis Horwood, Chichester, UK, 1994.
31. R. Michalski, J.G. Carbonell, T.M. Mitchell (Eds), Machine Learning - An Artificial Intelligence Approach, Springer, Berlin, 1984.
32. R. Michalski, J.G. Carbonell, T.M. Mitchell (Eds), Machine Learning - An Artificial Intelligence Approach, vol. II, Morgan Kaufmann, Los Altos, 1986.
33. S. Muggleton, Inverse entailment and Progol, New Generation Computing (Special issue on Inductive Logic Programming) 13(3/4) (1995) 245-286.
34. P. O'Rourke, Abduction and explanation-based learning: Case studies in diverse domains, Computational Intelligence 10 (1994) 295-330.
35. J. Pearl, Embracing causality in formal reasoning, Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA, 1987, pp. 369-373.
36. J.R. Quinlan, R.M. Cameron-Jones, Introduction of logic programs: FOIL and related systems, New Generation Computing (Special issue on Inductive Logic Programming) 13 (3/4) (1995) 287-312.
37. E. Shapiro, Algorithmic Program Debugging, MIT Press, Cambridge, MA, 1983.
38. Swedish Institute of Computer Science, Kista, Sweden, SICStus Prolog User's Manual, 1997.