Integrating induction and abduction in logic programming. (English) Zbl 0933.68030
Summary: We propose an approach for the integration of abduction and induction in logic programming. We define an abductive learning problem as an extended Inductive logic programming problem where both the background and target theories are abductive theories and where abductive derivability is used as the coverage relation instead of deductive derivability. The two main benefits of this integration are the possibility of learning in presence of incomplete knowledge and the increased expressive power of the background and target theories. We present the system LAP (Learning Abductive Programs) that is able to solve this extended learning problem and we describe, by means of examples, four different learning tasks that can be performed by the system: learning from incomplete knowledge, learning rules with exceptions, learning from integrity constraints and learning recursive predicates.
MSC:
| 68N17 | Logic programming |
Keywords:
learning abductive programsReferences:
| [1] | Adé, H.; Denecker, M., AILP: Abductive inductive logic programming, (Mellish, C. S., Proceedings of the 14th International Joint Conference on Artificial Intelligence (1995), Morgan Kaufmann: Morgan Kaufmann New York), 1201-1207 |
| [2] | Adé, H.; Malfait, B.; De Raedt, L., RUTH: An ILP theory revision system, (Proceedings of the Eighth International Symposium on Methodologies for Intelligent Systems, vol. 869, Lecture Notes in Artificial Intelligence (1994), Springer: Springer Los Altos, CA), 336-345 |
| [3] | Apt, K. R., Logic programming, (Handbook of Theoretical Computer Science, vol. B (1990), Elsevier: Elsevier Berlin), 493-574 · Zbl 0900.68136 |
| [4] | Bain, M.; Muggleton, S., Non-monotonic learning, (Muggleton, S., Inductive Logic Programming (1992), Academic Press: Academic Press Amsterdam), 145-161 |
| [5] | Bergadano, F.; Gunetti, D., Inductive Logic Programming (1995), MIT Press: MIT Press New York |
| [6] | Brogi, A.; Lamma, E.; Mancarella, P.; Mello, P., A unifying view for logic programming with non-monotonic reasoning, Theoretical Computer Science, 184, 1-59 (1997) · Zbl 0942.68021 |
| [7] | Bry, F., Intensional updates: Abduction via deduction, (Warren, D.; Szeredi, P., Proceedings of the Seventh International Conference on Logic Programming (1990), MIT Press: MIT Press Cambridge, MA), 561-578 |
| [8] | Cohen, W. W., Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem, Machine Learning, 8, 167-219 (1992) · Zbl 0754.68094 |
| [9] | Console, L.; Theseider Duprè, D.; Torasso, P., Abductive reasoning through direct deduction from completed domains models, (Ras, Z., Proceedings of the Third International Symposium on Methodologies for Intelligent Systems (1989), North Holland: North Holland Cambridge, MA), 175-182 |
| [10] | De Raedt, L.; Bruynooghe, M., On negation and three-valued logic in interactive concept-learning, (Aiello, L. C., Proceedings of the Ninth European Conference on Artificial Intelligence. Proceedings of the Ninth European Conference on Artificial Intelligence, Pitman, London (1990)), 207-212 |
| [11] | De Raedt, L.; Bruynooghe, M., Belief updating from integrity constraints and queries, Artificial Intelligence, 53, 291-307 (1992) |
| [12] | De Raedt, L.; Bruynooghe, M., A theory of clausal discovery, (Bajcsy, R., Proceedings of the 13th International Joint Conference on Artificial Intelligence (1993), Morgan Kaufmann: Morgan Kaufmann Amsterdam), 1058-1063 |
| [13] | De Raedt, L.; Lavrač, N.; Deroski, S., Multiple predicate learning, (Muggleton, S., Proceedings of the Third International Workshop on Inductive Logic Programming. Proceedings of the Third International Workshop on Inductive Logic Programming, J. Stefan Institute (1993)), 221-240 |
| [14] | De Raedt, L.; Van Laer, W., Inductive constraint logic, (Proceedings of the Fifth Conference on Algorithmic Learning Theory, vol. 997, Lecture Notes in Artificial Intelligence, Springer, Berlin (1995)) · Zbl 1527.68102 |
| [15] | (Denecker, M.; De Raedt, L.; Flach, P.; Kakas, A., Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning (1996), Catholic University of Leuven: Catholic University of Leuven Los Altos, CA) |
| [16] | Dimopoulos, Y.; Kakas, A., Learning non-monotonic logic programs: Learning exceptions, (Lavrač, N.; Wrobel, S., Proceedings of the Eighth European Conference on Machine Learning, vol. 912, Lecture Notes in Artificial Intelligence (1995), Springer), 122-137 |
| [17] | Dimopoulos, Y.; Kakas, A., Abduction and inductive learning, (Advances in Inductive Logic Programming (1996), IOS Press: IOS Press Berlin) |
| [18] | Dung, P. M., Negation as hypothesis: An abductive foundation for logic programming, (Furukawa, K., Proceedings of the Eighth International Conference on Logic Programming (1991), MIT Press), 3-17 |
| [19] | Deroski, S., Handling noise in inductive logic programming, (Master’s thesis (1991), Faculty of Electrical Engineering and Computer Science: Faculty of Electrical Engineering and Computer Science Cambridge, MA) |
| [20] | Eshghi, K.; Kowalski, R. A., Abduction compared with Negation by Failure, (Proceedings of the Sixth International Conference on Logic Programming (1989)) |
| [21] | Esposito, F.; Lamma, E.; Malerba, D.; Mello, P.; Milano, M.; Riguzzi, F.; Semeraro, G., Learning abductive logic programs, (Denecker, M.; De Raedt, L.; Flach, P.; Kakas, A., Proceedings of ECAI96 Workshop on Abductive and Inductive Reasoning (1996), Catholic University of Leuven: Catholic University of Leuven University of Ljubljana) |
| [22] | (Flach, P.; Kakas, A., Proceedings of IJCAI97 Workshop on Abductive and Inductive Reasoning (1997)) |
| [23] | Kakas, A. C.; Kowalski, R. A.; Toni, F., Abductive logic programming, Journal of Logic and Computation, 2, 719-770 (1993) · Zbl 0778.68081 |
| [24] | Kakas, A. C.; Kowalski, R. A.; Toni, F., The role of abduction in logic programming, (Gabbay, D.; Hogger, C.; Robinson, J., Handbook of Logic in AI and Logic Programming, vol. 5 (1997), Oxford University Press), 233-306 |
| [25] | Kakas, A. C.; Mancarella, P., Generalized stable models: a semantics for abduction, (Proceedings of the Ninth European Conference on Artificial Intelligence (1990)) · Zbl 0769.68081 |
| [26] | Kakas, A. C.; Mancarella, P., On the relation between truth maintenance and abduction, (Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence (1990)) · Zbl 1275.68139 |
| [27] | Kakas, A. C.; Mancarella, P.; Dung, P. M., The acceptability semantics for logic programs, (Proceedings of the 11th International Conference on Logic Programming (1994)) |
| [28] | Kakas, A. C.; Riguzzi, F., Learning with abduction, (Proceedings of the Seventh International Workshop on Inductive Logic Programming (1997)) |
| [29] | Lamma, E.; Mello, P.; Milano, M.; Riguzzi, F., Introducing abduction into (extensional) inductive logic programming systems, (Lenzerini, M., \(AI^*\) IA97, Advances in Artificial Intelligence. \(AI^*\) IA97, Advances in Artificial Intelligence, Proceedings of the Fifth Congress of the Italian Association for Artificial Intelligence, vol. 1321, LNAI (1997), Springer) |
| [30] | Lavrač, N.; Deroski, S., Inductive Logic Programming: Techniques and Applications (1994), Ellis Horwood: Ellis Horwood Berlin · Zbl 0830.68027 |
| [31] | (Michalski, R.; Carbonell, J. G.; Mitchell, T. M., Machine Learning — An Artificial Intelligence Approach (1984), Springer: Springer Chichester, UK) · Zbl 0593.68060 |
| [32] | (Michalski, R.; Carbonell, J. G.; Mitchell, T. M., Machine Learning — An Artificial Intelligence Approach, vol. 11 (1986), Morgan Kaufmann: Morgan Kaufmann Berlin) · Zbl 0593.68060 |
| [33] | Muggleton, S., Inverse entailment and Progol, New Generation Computing, 13, 3/4, 245-286 (1995), (Special issue on Inductive Logic Programming) |
| [34] | O’Rourke, P., Abduction and explanation-based learning: Case studies in diverse domains, Computational Intelligence, 10, 295-330 (1994) |
| [35] | Pearl, J., Embracing causality in formal reasoning, (Proceedings of the Sixth National Conference on Artificial Intelligence. Proceedings of the Sixth National Conference on Artificial Intelligence, Seattle, WA (1987)), 369-373 |
| [36] | Quinlan, J. R.; Cameron-Jones, R. M., Introduction of logic programs: FOIL and related systems, New Generation Computing, 13, 3/4, 287-312 (1995), (Special issue on Inductive Logic Programming) |
| [37] | Shapiro, E., Algorithmic Program Debugging (1983), MIT Press: MIT Press Los Altos |
| [38] | Swedish Institute of Computer Science, SICStus Prolog User’s Manual (1997), Kista, Sweden |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
