Query transformations for improving the efficiency of ILP systems

Journal of Machine Learning Research

Volumn 4, Issue 4, 2004, Pages 465-491

  Costa, Vítor Santos ^a,b   Srinivasan, Ashwin ^c   Camacho, Rui ^b   Blockeel, Hendrik ^d   Demoen, Bart ^d   Janssens, Gerda ^d   Struyf, Jan ^d   Vandecasteele, Henk ^e   Van Laer, Wim ^d  

^a FEDERAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b UNIVERSITY OF PORTO   (Portugal)

^c UNIVERSITY OF OXFORD   (United Kingdom)

^d UNIVERSITY OF LEUVEN   (Belgium)

^e PharmaDM   (Belgium)

Author keywords

Inductive Logic Programming; Program Analysis

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COSTS; DATA MINING; ITERATIVE METHODS; PROBABILITY;

INDUCTIVE LOGIC PROGRAMMING (ILP); PROGRAM ANALYSIS; QUERY TRANSFORMATION;

LOGIC PROGRAMMING;

EID: 2542494099     PISSN: 15324435     EISSN: None     Source Type: Journal    
DOI: 10.1162/153244304773936027     Document Type: Conference Paper

References (38)

1. H. Blockeel. Top-down induction of first order logical decision trees. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1998. URL http://www.cs.kuleuven.ac.be/~ml/PS/blockeel98:phd.ps.gz.
2. H. Blockeel, B. Demoen, L. Dehaspe, G. Janssens, J. Ramon, and H. Vandecasteele. Executing query packs in ILP. In J. Cussens and A. Frisch, editors, Proceedings of the 10th International Conference in Inductive Logic Programming, volume 1866 of Lecture Notes in Artificial Intelligence, pages 60-77, London, UK, July 2000a. Springer.
3. H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer. Two advanced transformations for improving the efficiency of an ILP system. In 10th International Conference on Inductive Logic Programming, Work-in-Progress Reports, pages 43-59, London, UK, July 2000b.
4. I. Bratko and M. Grobelnik. Inductive learning applied to program construction and verification. In Stephen Muggleton, editor, Proceedings of the Third International Workshop on Inductive Logic Programming, pages 279-292. Jožef Stefan Institute, 1993.
5. F. Bueno, M. García de la Banda, and M. Hermenegildo. Effectiveness of global analysis in strict independence-based automatic program parallelization. In International Symposium on Logic Programming, pages 320-337. MIT Press, 1994.
6. M. Codish, M. Bruynooghe, M. García de la Banda, and M. Hermenegildo. Exploiting goal independence in the analysis of logic programs. Journal of Logic Programming, 32(3), 1997.
7. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3):103-179, 1992.
8. J. Cussens. Part-of-speech tagging using Progol. In Nada Lavrač and Sašo Džeroski, editors, Proceedings of the Seventh International Workshop on Inductive Logic Programming, Lecture Notes in Artificial Intelligence, pages 93-108. Springer-Verlag, 1997.
9. L. De Raedt and W. Van Laer. Inductive constraint logic. In Klaus P. Jantke, Takeshi Shinohara, and Thomas Zeugmann, editors, Proceedings of the Sixth International Workshop on Algorithmic Learning Theory, volume 997 of Lecture Notes in Artificial Intelligence, pages 80-94. Springer-Verlag, 1995.
10. L. Dehaspe and H. Toivonen. Discovery of frequent datalog patterns. Data Mining and Knowledge Discovery, 3(1):7-36, 1999.
11. B. Dolšak and S. Muggleton. The application of Inductive Logic Programming to finite element mesh design. In S. Muggleton, editor, Inductive Logic Programming, pages 453-472. Academic Press, 1992.
12. S. Džeroski, L. Dehaspe, B. Ruck, and W. Walley. Classification of river water quality data using machine learning. In Proceedings of the 5th International Conference on the Development and Application of Computer Techniques to Environmental Studies, 1994.
13. W. Emde and D. Wettschereck. Relational instance-based learning. In L. Saitta, editor, Proceedings of the Thirteenth International Conference on Machine Learning, pages 122-130. Morgan Kaufmann, 1996.
14. C. Feng. Inducing temporal fault dignostic rules from a qualitative model. In S. Muggleton, editor, Inductive Logic Programming. Academic Press, London, 1992.
15. D. Jacobs and A. Langen. Static analysis of logic programmings for independent and-parallelism. Journal of Logic Programming, 13:291-314, 1992.
16. J.U. Kietz and M. Lübbe. An efficient subsumption algorithm for inductive logic programming. In W.W. Cohen and H Hirsh, editors, Proceedings of the 11th International Conference on Machine Learning, pages 130-138. Morgan Kaufmann, 1994.
17. R.D. King, S. Muggleton, R.A. Lewis, and M.J.E. Sternberg. Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences, 89(23), 1992.
18. R.D. King, S. Muggleton, A. Srinivasan, and M.J.E. Sternberg. Structure-activity relationships derived by machine learning: The use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. Proceedings of the National Academy of Sciences, 93:438-442, 1996.
19. Stefan Kramer. Structural regression trees. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 812-819, Cambridge/Menlo Park, 1996. AAAI Press/MIT Press.
20. J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
21. D. B. Loveman. Program improvement by source-to-source transformation. Journal of the Association for Computing Machinery, 24(1):121-145, 1977.
22. E. McCreath. Induction in First Order Logic from Noisy Training Examples and Fixed Example Set Sizes. PhD thesis, University of New South Wales, 1999.
23. S. Muggleton. Inductive Logic Programming: derivations, successes and shortcomings. SIGART Bulletin, 5(1):5-11, 1994.
24. S. Muggleton. Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming, 13(3-4):245-286, 1995.
25. S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory, pages 368-381. Ohmsma, Tokyo, Japan, 1990.
26. S. Muggleton, R.D. King, and M.J.E. Sternberg. Protein secondary structure prediction using logic. Protein Engineering, 7:647-657, 1992.
27. C. Nédellec, H. Adé, F. Bergadano, and B. Tausend. Declarative bias in ILP. In L. De Raedt, editor, Advances in Inductive Logic Programming, volume 32 of Frontiers in Artificial Intelligence and Applications, pages 82-103. IOS Press, 1996.
28. S.-H. Nienhuys-Cheng and R. De Wolf. Foundations of Inductive Logic Programming, volume 1228 of Lecture Notes in Computer Science and Lecture Notes in Artificial Intelligence. Springer-Verlag, New York, NY, USA, 1997.
29. J.R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239-266, 1990.
30. V. Santos Costa, A. Srinivasan, and R. Camacho. A note on two simple transformations for improving the efficiency of an ILP system. In J. Cussens and A. Frisch, editors, Proceedings of the Tenth International Conference on Inductive Logic Programming, volume 1866 of Lecture Notes in Artificial Intelligence, pages 225-242. Springer-Verlag, 2000.
31. T. Scheffer, R. Herbrich, and F. Wysotzki. Efficient theta-subsumption based on graph algorithms. In Inductive Logic Programming, 6th International Workshop, Proceedings, volume 1314 of Lecture Notes in Artificial Intelligence, pages 212-228, 1996.
32. M. Sebag and C. Rouveirol. Tractable induction and classification in first-order logic via stochastic matching. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 888-893. Morgan Kaufmann, 1997.
33. A. Srinivasan. A study of two sampling methods for analysing large datasets with ILP. Data Mining and Knowledge Discovery, 3(1):95-123, 1999.
34. A. Srinivasan, R.D. King, and D.W. Bristol. An assessment of ILP-assisted models for toxicology and the PTE-3 experiment. In Proceedings of the Ninth International Workshop on Inductive Logic Programming, volume 1634 of Lecture Notes in Artificial Intelligence, pages 291-302. Springer-Verlag, 1999.
35. A. Srinivasan, S.H. Muggleton, M.J.E. Sternberg, and R.D. King. Theories for mutagenicity: A study in first-order and feature-based induction. Artificial Intelligence, 85(1,2):277-299, 1996.
36. Ashwin Srinivasan. The Aleph Manual. University of Oxford, 2001.
37. Patrick R. J. van der Laag and Shan-Hwei Nienhuys-Cheng. Completeness and properness of refinement operators in inductive logic programming. Journal of Logic Programming, 34(3):201-225, 1998.
38. J. Zelle and R. J. Mooney. Learning semantic grammars with constructive inductive logic programming. In Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-93), pages 817-822, 1993.