mainlibILP - An OCaml library for Inductive Logic Programming - Summary

Show feedback again
Membership Info
Project Admin:
1 active member

Group identification
Id: #671
System Name: libilp
Name: libILP - An OCaml library for Inductive Logic Programming
Group Type: Programs

Search in this Group


ILP is a set of techniques to perform Machine Learning using a high level, relational representation language: Datalog (function free Horn clauses).

More references on the theory behind ILP can be found here:

Planned features:
<li>Top-down and bottom-up refinement operators;</li>
<li>[long term] Meta-heuristic search strategies: memetic algorithm combining Genetic Logic Programming and local refinement operators;</li>
<li>CSP-based subsumption tests (cf <a href="">Django</a> by Maloberti and Sebag);</li>
<li>SQL DB or datalog text files as background knowledge datasources;
<li>Use of <a href="">UML/CDBL (Common Declarative Bias Language)</a> to specify the bias;</li>
<li>[long term] parallelization using the "Island Model" for distributed evolutionary computation.</li>
<li>[very long term] add probabilistic reasoning capabilities to the representation language (such as BLP, SLP or other Probabilistic-Logical Models).</li>
LibILP is Free Software and is distributed under the terms of the GNU GPL license.

Registration Date: Sat Jul 10 03:28:23 2004
License: GNU General Public License V2 or later
Development Status: 1 - Planning


Latest News 
Show feedback again

Back to the top

Powered by Savane 3.1-cleanup