Inductive logic programming: Difference between revisions

Revision as of 15:30, 29 May 2002

Revision as of 22:13, 10 June 2002

Line 1:

'''Inductive logic programming''' ('''ILP''') is a [[machine learning]] approach, which uses techniques of [[logic programming]]. From a database of facts and expected results, which are divided into positive and negative examples, thean ILP systemssystem trytries to derive a logic program that proves all the positive and none of the negative examples.

Schema: ''positive examples'' + ''negative examples'' + ''background knowledge'' = ''rules''.

Line 8:

* Aleph (http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph)

* Foil (ftp://ftp.cs.su.oz.au/pub/foil6.sh)

* Lime (http://cs.anu.edu.au/people/Eric.McCreath/lime.html)