Inductive logic programming
Inductive logic programming (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesised logic program which entails all the positive and none of the negative examples.
Schema: positive examples + negative examples + background knowledge => hypothesis.
Inductive logic programming is particularly useful in bioinformatics and natural language processing. The term Inductive Logic Programming was first introduced in a paper by Stephen Muggleton in 1991. The term "inductive" here refers to philosophical (i.e. suggesting a theory to explain observed facts) rather than mathematical (i.e. proving a property for all members of a well-ordered set) induction.
The background knowledge is given as a logical proposition , commonly in the form of Horn clauses used in logic programming. The positive and negative examples are given as a conjunction and of unnegated and negated ground literals, respectively. A hypothesis is a logical proposition satisfying the following requirements.
"Necessity" does not impose a restriction on , but forbids any generation of a hypothesis as long as the positive facts are explainable without it. "Sufficiency" requires any generated hypothesis to explain all positive examples . "Weak consistency" forbids generation of any hypothesis that contradicts the background knowledge . "Strong consistency" also forbids generation of any hypothesis that is inconsistent with the negative examples , given the background knowledge ; it implies "Weak consistency"; if no negative examples are given, both requirements coincide. Džeroski  requires only "Sufficiency" (called "Completeness" there) and "Strong consistency".
The following well-known example about learning definitions of family relations uses the abbreviations , , , , , , , , and . It starts from the background knowledge (cf. picture)
the positive examples
and the trivial proposition to denote the absence of negative examples.
This approach uses the following steps.
- Relativize each positive example literal with the complete background knowledge:
- Convert into clause normal form:
- Anti-unify each compatible  pair  of literals:
- from and ,
- from and ,
- from and ,
- from and , similar for all other background-knowledge literals
- from and , and many more negated literals
- Delete all negated literals containing variables that don't occur in a positive literal:
- after deleting all negated literals containing other variables than , only remains, together with all ground literals from the background knowledge
- Convert clauses back to Horn form:
The resulting Horn clause is the hypothesis obtained by the rlgg approach. Ignoring the background knowledge facts, the clause informally reads " is called a daughter of if is the parent of and is female", which is a commonly accepted definition.
Concerning the above requirements, "Necessity" was satisfied because the predicate doesn't appear in the background knowledge, which hence cannot imply any property containing this predicate, such as the positive examples are. "Sufficiency" is satisfied by the computed hypothesis , since it, together with from the background knowledge, implies the first positive example , and similarly and from the background knowledge implies the second positive example . "Weak consistency" is satisfied by , since holds in the (finite) Herbrand structure described by the background knowledge; similar for "Strong consistency".
The common definition of the grandmother relation, viz. , cannot be learned using the above approach, since the variable occurs in the clause body only; the corresponding literals would have been deleted in the 4th step of the approach. To overcome this flaw, that step has to be modified such that it can be parametrized with different literal post-selection heuristics. Historically, the GOLEM implementation is based on the rlgg approach.
- 1BC and 1BC2: first-order naive Bayesian classifiers: (http://www.cs.bris.ac.uk/Research/MachineLearning/1BC/)
- ACE (A Combined Engine) (http://dtai.cs.kuleuven.be/ACE/)
- Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
- Atom (http://www.ahlgren.info/research/atom/)
- Claudien (http://dtai.cs.kuleuven.be/claudien/)
- DL-Learner (http://dl-learner.org)
- DMax (http://dtai.cs.kuleuven.be/dmax/)
- FOIL (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
- Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
- Inthelex (INcremental THEory Learner from EXamples) (http://lacam.di.uniba.it:8000/systems/inthelex/)
- Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
- Mio (http://libra.msra.cn/Publication/3392493/mio-user-s-manual)
- MIS (Model Inference System) by Ehud Shapiro
- PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
- RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
- Warmr (now included in ACE)
- Luc De Raedt. A Perspective on Inductive Logic Programming. The Workshop on Current and Future Trends in Logic Programming, Shakertown, to appear in Springer LNCS, 1999. CiteSeerX: 10.1.1.56.1790
- Muggleton, S. (1991). "Inductive logic programming". New Generation Computing 8 (4): 295–318. doi:10.1007/BF03037089.
- Muggleton, Stephen (1999). "Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic". Artificial Intelligence 114: 283–296.; here: Sect.2.1
- Džeroski, Sašo (1996), "Inductive Logic Programming and Knowledge Discovery in Databases", in Fayyad, U.M.; Piatetsky-Shapiro, G.; Smith, P. et al., Advances in Knowledge Discovery and Data Mining, MIT Press, pp. 117–152 ; here: Sect.5.2.4
- Plotkin, Gordon D. (1970). "A Note on Inductive Generalization". In Meltzer, B.; Michie, D. Machine Intelligence (Edinburgh University Press) 5: 153–163.
- Plotkin, Gordon D. (1971). "A Further Note on Inductive Generalization". In Meltzer, B.; Michie, D. Machine Intelligence (Edinburgh University Press) 6: 101–124.
- i.e. sharing the same predicate symbol and negated/unnegated status
- in general: -tuple when positive example literals are given
- Muggleton, S.; De Raedt, L. (1994). "Inductive Logic Programming: Theory and methods". The Journal of Logic Programming. 19-20: 629–679. doi:10.1016/0743-1066(94)90035-3.
- Lavrac, N.; Dzeroski, S. (1994). Inductive Logic Programming: Techniques and Applications. New York: Ellis Horwood. ISBN 0-13-457870-8.
- Visual example of inducing the grandparenthood relation by the Atom system. http://john-ahlgren.blogspot.com/2014/03/inductive-reasoning-visualized.html