Approaches to inductive logic programming

  • Pavel B. Brazdil
Part 3: Machine Learning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 617)


Inductive Logic Programming (ILP) is concerned with construction of logic programs from examples. It shares many concerns of Machine Learning (ML), but is committed to logic. As logic can help to provide a basis for elaborating such a methodology for learning, the area of ILP has attracted a wide attention of many researchers. This paper reviews some of the methods and techniques in ML that exploit logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Banerji R.B. (1988): Learning Theories in a Subset of Polyadic Logic, in Proceedings of the First Workshop on Computational Learning Theory (COLT), 1988.Google Scholar
  2. Bergadano F, Giordana A. (1988): A Knowledge Intensive Approach to Concept Induction, in Proceedings of 5th International Conference on Machine Learning, Ann Harbour.Google Scholar
  3. Brazdil P. (1981): Model for Error Detection and Correction, Ph.D. Thesis, University of Edinburgh.Google Scholar
  4. Brazdil P. (1984): Use of Derivation Trees in Discrimination, presented at ECAI-84, Pisa, Italy.Google Scholar
  5. Brazdil P. (1989): Transfer of Knowledge between Systems: Use of Meta-Knowledge in Debugging, in Y. Kodratoff and A. Hutchinson (eds.), Machine and Human Learning. Michael Horwood, London.Google Scholar
  6. Brazdil P. and Torgo L. (1990): Knowledge Acquisition via Knowledge Integration, in B. Wielinga (ed.), Current Trends in Artificial Intelligence. IOS Press, Amsterdam.Google Scholar
  7. Brazdil P. (1991): Learning in Multi-Agent Environments, in Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91), pp. 15–29, Tokyo. Ohmsha.Google Scholar
  8. Burstall R. and Darlington J. (1977): Transformations for Developing Recursive Programs, J. ACM, Vol. 24, No.1, pp. 44–67.Google Scholar
  9. Console L. and Torasso P. (1990): Integrating Models of the Correct Behaviour into Abductive Diagnosis, in L. Aiello (ed.), Proceedings of 9th European Conference on Artificial Intelligence (ECAI-90), Stockholm. Pitman.Google Scholar
  10. Dahl O., J.W. Dijkstra and C.A. Hoare (1972): Structured Programming. Academic Press.Google Scholar
  11. Davies T.R. and Russell S. (1987): A Logical Approach to Reasoning by Analogy, in Proceedings of IJCAI-87, Milan. Morgan Kaufmann.Google Scholar
  12. Genesereth M.R.and Nilsson N.J.(1987): Logical Foundations of Artificial Intelligence, Morgan Kaufmann.Google Scholar
  13. Hogger C.J. (1990): Essentials of Logic Programming, Oxford University Press.Google Scholar
  14. Idestam-Almquist P.(1992): A General Bias for Learning Missing Clauses by Inverse Resolution, to appear in Proceedings of FGCS '92, Tokyo. Ohmsha Press.Google Scholar
  15. Kisirikul B., Numao M. and Shimura M. (1992): Discrimination-Based Induction of Logic Programs, Dept. of Computer Science, Tokyo Institute of Technology. Submitted to 9th International Conference on Machine Learning, Aberdeen, Scotland.Google Scholar
  16. Ling C. (1992): The Completeness of Inductive Learning Based on Inverse Resolution, submitted to 9th International Conference on Machine Learning, Aberdeen, Scotland.Google Scholar
  17. Lloyd J.W. (1987): Foundations of Logic Programming (2nd ed.), Berlin, Springer-Verlag.Google Scholar
  18. Michalski R., Mozetic I., Hong J. and Lavrac N. (1986): The Multi-purpose Incremental System AQ15 and its Testing Application to Three Medical Domains, in Proceedings of AAAI-86, pp. 1041–1045.Google Scholar
  19. Muggleton S. (1991): Inductive Logic Programming, New Generation Computing, Vol. 8, pp. 295–318.Google Scholar
  20. Muggleton S. and Buntine W. (1988): Machine Invention of First-order Predicates by Inverting Resolution, in Fifth International Conference on Machine Learning, pp. 339–352, Ann Harbour, Michigan. Morgan Kaufmann.Google Scholar
  21. Muggleton S. and Feng C. (1990): Efficient Induction of Logic Programs, in Proceedings of the First Conference on Algorithmic Learning Theory (ALT-91), pp. 368–381, Tokyo. Ohmsha.Google Scholar
  22. Quinlan R. (1986): Induction of Decision Trees, Machine Learning, Vol. 5, pp. 239–236.Google Scholar
  23. Quinlan R.(1990): Learning Logical Definitions from Relations, Machine Learning, 5, pp. 239–266, Kluwer.Google Scholar
  24. Rouveirol C. and Puget J.F.(1990): Beyond Inversion of Resolution, in Proceedings of Seventh International Conference on Machine Learning, pp. 122–130, Austin, Texas. Morgan Kaufmann.Google Scholar
  25. Russell S. and Grosof B. (1991): A Sketch of Autonomous Learning using Declarative Bias, in P. Brazdil and K.Konolige (eds.), Machine Learning, Meta-Reasoning and Logics. Kluwer.Google Scholar
  26. Tangkitvanich S. and M. Shimura (1991): Recovery from Multiple Faults in Relational Theory, Proceedings of the Second Conference on Algorithmic Learning Theory (ALT-91), pp. 15–29, Tokyo. Ohmsha.Google Scholar
  27. Wirth R. (1988): Learning by Failure to Prove, in D.Sleeman (ed.), Proceedings of EWSL-88, pp. 237–251. Pitman.Google Scholar
  28. Wirth R. (1989): Completing Logic Programs by Inverse Resolution, in K.Morik (ed.), Proceedings of EWSL-89, pp. 239–250. Pitman.Google Scholar
  29. Wirth R. and O'Rorke P. (1991): Constraints on Predicate Invention, in Proceedings of Eighth International Conference on Machine Learning, pp. 457–461, San Mateo, CA. Morgan Kaufmann.Google Scholar
  30. Shapiro E. (1983): Algorithmic Program Debugging. MIT Press, Cambridge, Mass.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Pavel B. Brazdil
    • 1
  1. 1.LIACC, University of PortoPortoPortugal

Personalised recommendations