Inductive logic programming: Difference between revisions

Content deleted Content added
Changed "an" to "a" preceding the word "hypothesised" in the introductory paragraph. (grammar)
Line 1:
'''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 ana hypothesised logic program which entails all the positive and none of the negative examples.
 
Schema: ''positive examples'' + ''negative examples'' + ''background knowledge'' => ''hypothesis''.