Re: Ilp aleph in swi prolog

Steve Moyle <[email protected]>
Newsgroups gmane.comp.ai.prolog.swi
Message-ID <[email protected]>
I was an active ILP researcher from 1995 - 2003.  The software list at Wikipedia should be viewed with caution.  Many of the systems on the list existed in my time (annotated with a * below).  ILP systems can be hard to fly, so my advice is choose one which is used by people who are _not_ the original author and hence have some rudimentary usability.  A literature search might be advisable.

The ILP field has moved on somewhat and has been researching the incorporation of probabilities -- check out Probabilistic Rational Models.

That said, I am keen to get a version of Aleph 5 that works on SWI-Prolog as I am just starting a project that seems to fit its (broad and deep) capabilities.

-- Steve

PS: The earliest ILP system on the list is Shapiro's MIS from his thesis/book "Algorithmic Program Debugging" (http://www.cs.yale.edu/publications/techreports/tr237.pdf).  Still a great read (however things have moved on quite a way since 1882).

>
*> 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)
>
> Cheers,
>
> Dominique
>
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.