Skip to main content
SpringerLink
Log in
Book cover

International Joint Conference on Rules and Reasoning

RuleML+RR 2017: Rules and Reasoning pp 1–6Cite as

Meta-Interpretive Learning: Achievements and Challenges (Invited Paper)

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10364))

Abstract

This invited talk provides an overview of ongoing work in a new sub-area of Inductive Logic Programming known as Meta-Interpretive Learning.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    \({\text {Metagol}_R}\) and \({\text {Metagol}_{CF}}\) learn Regular and Context-Free grammars respectively.

References

  1. Cropper, A., Muggleton, S.: Learning efficient logical robot strategies involving composable objects. In: Proceedings of the 24th International Joint Conference Artificial Intelligence (IJCAI 2015), pp. 3423–3429. IJCAI (2015). http://www.doc.ic.ac.uk/~shm/Papers/metagolo.pdf

  2. Cropper, A., Muggleton, S.H.: Logical minimisation of meta-rules within meta-interpretive learning. In: Davis, J., Ramon, J. (eds.) ILP 2014. LNCS, vol. 9046, pp. 62–75. Springer, Cham (2015). doi:10.1007/978-3-319-23708-4_5

    Chapter  Google Scholar 

  3. Dai, W.Z., Muggleton, S., Zhou, Z.H.: Logical vision: meta-interpretive learning for simple geometrical concepts. In: Late Breaking Paper Proceedings of the 25th International Conference on Inductive Logic Programming, pp. 1–16. CEUR (2015). http://ceur-ws.org/Vol-1636

  4. Farid, R., Sammut, C.: Plane-based object categorization using relational learning. ILP2012 MLJ special issue (2012)

    Google Scholar 

  5. Farquhar, C., Cropper, G.G.A., Muggleton, S., Bundy, A.: Typed meta-interpretive learning for proof strategies. In: Short Paper Proceedings of the 25th International Conference on Inductive Logic Programming. National Institute of Informatics, Tokyo (2015). http://www.doc.ic.ac.uk/~shm/Papers/typemilproof.pdf

  6. Lin, D., Dechter, E., Ellis, K., Tenenbaum, J., Muggleton, S.: Bias reformulation for one-shot function induction. In: Proceedings of the 23rd European Conference on Artificial Intelligence (ECAI 2014), pp. 525–530. IOS Press, Amsterdam (2014). http://www.doc.ic.ac.uk/~shm/Papers/metabias.pdf

  7. Muggleton, S.: Inductive logic programming. New Gener. Comput. 8(4), 295–318 (1991). http://www.doc.ic.ac.uk/~shm/Papers/ilp.pdf

  8. Muggleton, S., Buntine, W.: Machine invention of first-order predicates by inverting resolution. In: Proceedings of the 5th International Conference on Machine Learning, pp. 339–352. Kaufmann (1988). http://www.doc.ic.ac.uk/~shm/Papers/cigol.pdf

  9. Muggleton, S., Lin, D.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. In: Proceedings of the 23rd International Joint Conference Artificial Intelligence (IJCAI 2013), pp. 1551–1557 (2013). http://www.doc.ic.ac.uk/~shm/Papers/metagold.pdf

  10. Muggleton, S.H., Lin, D., Chen, J., Tamaddoni-Nezhad, A.: MetaBayes: bayesian meta-interpretative learning using higher-order stochastic refinement. In: Zaverucha, G., Santos Costa, V., Paes, A. (eds.) ILP 2013. LNCS, vol. 8812, pp. 1–17. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44923-3_1

    Google Scholar 

  11. Muggleton, S., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94, 25–49 (2014). http://www.doc.ic.ac.uk/~shm/Papers/metagolgram.pdf

  12. Muggleton, S., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49–73 (2015). http://www.doc.ic.ac.uk/~shm/Papers/metagolDMLJ.pdf

  13. Muggleton, S., Raedt, L.D.: Inductive logic programming: theory and methods. J. Logic Program. 19(20), 629–679 (1994). http://www.doc.ic.ac.uk/~shm/Papers/lpj.pdf

  14. Muggleton, S., Raedt, L.D., Poole, D., Bratko, I., Flach, P., Inoue, K.: ILP turns 20: biography and future challenges. Mach. Learn. 86(1), 3–23 (2011). http://www.doc.ic.ac.uk/~shm/Papers/ILPturns20.pdf

  15. Quinlan, J.: Learning logical definitions from relations. Mach. Learn. 5, 239–266 (1990)

    Google Scholar 

  16. Schmid, U., Zeller, C., Besold, T., Tamaddoni-Nezhad, A., Muggleton, S.: How does predicate invention affect human comprehensibility? In: Russo, A., Cussens, J. (eds.) Proceedings of the 26th International Conference on Inductive Logic Programming (ILP 2016). Springer, Berlin (2016)

    Google Scholar 

  17. Srinivasan, A.: The ALEPH manual. Machine Learning at the Computing Laboratory, Oxford University (2001)

    Google Scholar 

  18. Stahl, I.: Constructive induction in inductive logic programming: an overview. Fakultat Informatik, Universitat Stuttgart, Technical report (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College London, London, UK

    Stephen H. Muggleton

Authors
  1. Stephen H. Muggleton
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stephen H. Muggleton .

Editor information

Editors and Affiliations

  1. University of L’Aquila, L’Aquila, Italy

    Stefania Costantini

  2. Free University of Bozen-Bolzano, Bolzano, Italy

    Enrico Franconi

  3. Dalhousie University, Halifax, Nova Scotia, Canada

    William Van Woensel

  4. Birkbeck, University of London, London, United Kingdom

    Roman Kontchakov

  5. Imperial College London, London, United Kingdom

    Fariba Sadri

  6. SINTEF/University of Oslo, Oslo, Norway

    Dumitru Roman

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Muggleton, S.H. (2017). Meta-Interpretive Learning: Achievements and Challenges (Invited Paper). In: Costantini, S., Franconi, E., Van Woensel, W., Kontchakov, R., Sadri, F., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2017. Lecture Notes in Computer Science(), vol 10364. Springer, Cham. https://doi.org/10.1007/978-3-319-61252-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61252-2_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61251-5

  • Online ISBN: 978-3-319-61252-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation