Abstract
Inductive Logic Programming (ILP) is a promising technology for knowledge extraction applications. ILP has produced intelligible solutions for a wide variety of domains where it has been applied. The ILP lack of efficiency is, however, a major impediment for its scalability to applications requiring large amounts of data. In this paper we propose a set of techniques that improve ILP systems efficiency and make then more likely to scale up to applications of knowledge extraction from large datasets. We propose and evaluate the lazy evaluation of examples, to improve the efficiency of ILP systems. Lazy evaluation is essentially a way to avoid or postpone the evaluation of the generated hypotheses (coverage tests).
The techniques were evaluated using the IndLog system on ILP datasets referenced in the literature. The proposals lead to substantial efficiency improvements and are generally applicable to any ILP system.
The work presented in this paper has been partially supported by Universidade do Porto, project APRIL (Project POSI/SRI/40749/2001), funds granted to LIACC through the Programa de Financiamento Plurianual, Fundaçã o para a Ciência e Tecnologia and Programa POSI.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Nédellec, C., Rouveirol, C., Adé, H., Bergadano, F., Tausend, B.: Declarative Bias in ILP. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 82–103. IOS, Amsterdam (1996)
van der Laag, P., Nienhuys-Cheng, S.-H.: Completeness and Properness of Refinement Operators. Journal of Logic Programming 34(3), 201–226 (1998)
Srinivasan, A.: A study of two sampling methods for analysing large datasets with ILP. Data Mining and Knowledge Discovery 3(1), 95–123 (1999)
Sebag, M., Rouveirol, C.: Tractable induction and classification in first-order logic via stochastic matching. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 888–893 (1997)
Santos Costa, V., Srinivasan, A., Camacho, R.: A note on two simple transformations for improving the efficiency of an ILP system. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 225–242. Springer, Heidelberg (2000)
Costa, V., Srinivasan, A., Camacho, R., Blockeel, H., Demoen, B., Janssens, G., Struyf, J., Vandecasteele, H., Van Laer, W.: Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research (2002)
Botta, M., Giordana, A., Saitta, L., Sebag, M.: Relational learning: hard problems and phase transitions. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol. 1792, pp. 178–189. Springer, Heidelberg (2000)
Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., Vandecasteele, H.: Executing Query Packs in ILP. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 60–77. Springer, Heidelberg (2000)
Muggleton, S.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4), 245–286 (1995)
Camacho, R.: Inducing Models of Human Control Skills using Machine Learning Algorithms, PhD thesis,Department of Electrical Engineering and Computation, Universidade do Porto (2000)
Srinivasan, A., Camacho, R.C.: Numerical reasoning with an ILP program capable of lazy evaluation and customised search. Journal of Logic Programming 40(2-3), 185–214 (1999)
Costa, V., Damas, L., Reis, R., Azevedo, R.: YAP Prolog User’s Manual Universidade do Porto (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Camacho, R. (2003). Improving the Efficiency of ILP Systems. In: Pires, F.M., Abreu, S. (eds) Progress in Artificial Intelligence. EPIA 2003. Lecture Notes in Computer Science(), vol 2902. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24580-3_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-24580-3_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20589-0
Online ISBN: 978-3-540-24580-3
eBook Packages: Springer Book Archive