Inductive Logic Programming (ILP) System

An Inductive Logic Programming (ILP) System is a logic programming system that implements an ILP Algorithm to solve an inductive logic programming task.

• Context:
  • …
• Example(s):
  • Aleph ILP System.
  • Golem ILP System.
  • 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
  • RSD (Http://Labe.Felk.Cvut.cz/~Zelezny/Rsd/)
  • Warmr (Now Included in ACE).
  • …
• Counter-Example(s):
  • a Prolog System.
  • a LISP System.
• See: First Order Inductive Learner.

---

---

References

2014

• (Wikipedia, 2014) ⇒ http://en.wikipedia.org/wiki/Inductive_logic_programming#Implementations Retrieved:2014-5-6.
  • • 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)

---