Inductive Logic Programming

Assessment | Biopsychology | Comparative | Cognitive | Developmental | Language | Individual differences | Personality | Philosophy | Social |
Methods | Statistics | Clinical | Educational | Industrial | Professional items | World psychology |

Other fields of psychology: AI · Computer · Consulting · Consumer · Engineering · Environmental · Forensic · Military · Sport · Transpersonal · Index

---

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.

See also

• Inductive reasoning

International Conferences on Inductive Logic Programming

Year	Dates	Location	Chairs
2011	July 31 - Aug 3	Windsor Great Park, United Kingdom	Stephen Muggleton, Hiroaki Watanabe
2010	June 27–30	Florence, Italy	Paolo Frasconi, Francesca A. Lisi
2009	July 2–5	Leuven, Belgium, Katholieke Universiteit Leuven	Hendrik Blockeel, Luc De Raedt
2008	September 10–12	Prague, Czech Republic, Czech Technical University	Filip Zelezny, Nada Lavrac
2007	June 19–21	Corvallis, Oregon, USA, Oregon State University	Jude Shavlik, Hendrik Blockeel, Prasad Tadepalli
2006	August 24–27	Santiago de Compostela, Spain	Stephen Muggleton, Ramon Otero
2005	August 10–13	Bonn, Germany	Stephan Kramer, Bernhard Pfahringer
2004	September 6–8	Porto, Portugal	Ashwin Srinivasan, Ross King
2003	September 29-October 1	Szeged, Hungary	Tamas Horváth, Akihiro Yamamoto
2002	July 9–11	Sydney, Australia	Stan Matwin, Claude Sammut
2001	September 9–11	Strasbourg, France	Celine Rouveirol, Michele Sebag
2000	July 24–27	London, England	James Cussens, Alan Frisch
1999	June 24–27	Bled, Slovenia	Saso Dzeroski, Peter Flach
1998	July 22–24	Madison, Wisconsin, USA	C. David Page, Jr.
1997	September 17–20	Prague, Czech Republic	Nada Lavrac, Saso Dzeroski
1996	August 26–28	Stockholm, Sweden	Stephen Muggleton
1995	September 4–6	Leuven, Belgium	Luc De Raedt
1994	September 12–14	Bonn, Germany	Stefan Wrobel
1993	April 1–3	Bled, Slovenia	Stephen Muggleton
1992	June 6–7	Tokyo, Japan	Stephen Muggleton
1991	March 2–4	Viana do Castelo, Portugal	Stephen Muggleton

Implementations

• PROGOL (http://www.doc.ic.ac.uk/~shm/Software/progol5.0)
• Golem (ILP) (http://www.doc.ic.ac.uk/~shm/Software/golem)
• Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/)
• FOIL (ftp://ftp.cs.su.oz.au/pub/foil6.sh)
• TAL (https://github.com/kuramae/Inductive-Learning)
• Claudien (http://dtai.cs.kuleuven.be/claudien/)
• Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)
• ACE (A Combined Engine) (http://dtai.cs.kuleuven.be/ACE/)
• DMax (http://dtai.cs.kuleuven.be/dmax/)
• Warmr (now included in ACE)
• RSD (http://labe.felk.cvut.cz/~zelezny/rsd/)
• Mio (http://kd.cs.uni-magdeburg.de/~pena/)
• DL-Learner (http://dl-learner.org)
• MIS (Model Inference System) by Ehud Shapiro

References

• DOI:10.1007/BF03037089
  This citation will be automatically completed in the next few minutes. You can jump the queue or expand by hand
• DOI:10.1016/0743-1066(94)90035-3
  This citation will be automatically completed in the next few minutes. You can jump the queue or expand by hand
• N. Lavrac and S. Dzeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, New York, 1994, ISBN 0-13-457870-8 Publicly available online version.