Meta-interpretive learning: application to grammatical inference

  title={Meta-interpretive learning: application to grammatical inference},
  author={Stephen Muggleton and Dianhuan Lin and Niels Pahlavi and Alireza Tamaddoni-Nezhad},
  journal={Machine Learning},
Despite early interest Predicate Invention has lately been under-explored within ILP. We develop a framework in which predicate invention and recursive generalisations are implemented using abduction with respect to a meta-interpreter. The approach is based on a previously unexplored case of Inverse Entailment for Grammatical Inference of Regular languages. Every abduced grammar H is represented by a conjunction of existentially quantified atomic formulae. Thus ¬H is a universally quantified… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 47 extracted citations

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 30 references

Introduction to Automata and Formal Languages. Reading: AddisonWesley

  • J. E. Hopcroft, J. D. Ullman
  • 1979
Highly Influential
5 Excerpts

A note on inductive generalisation

  • G. D. Plotkin
  • Machine Intelligence (Vol
  • 1969
Highly Influential
3 Excerpts

Towards efficient higher-order logic learning in a first-order datalog framework

  • S. H. Muggleton, N. Pahlavi
  • In Latest Advances in Inductive Logic Programming
  • 2012
2 Excerpts

Similar Papers

Loading similar papers…