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.
- ACE (A Combined Engine) (http://dtai.cs.kuleuven.be/ACE/)
- Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
- 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)
See also 
- 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.
Further reading 
- 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.
|This artificial intelligence-related article is a stub. You can help Wikipedia by expanding it.|
|This statistics-related article is a stub. You can help Wikipedia by expanding it.|