Content deleted Content added
Citation bot (talk | contribs) Altered issue. Add: authors 1-1. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Ethmostigmus | #UCB_webform |
#WCUG2024 Added a photo of A photo of Family sample for Inductive Logic Programming article |
||
Line 1:
[[File:ILP family2.png|thumb|A photo of Family sample for Inductive Logic Programming article]]
'''Inductive logic programming''' ('''ILP''') is a subfield of [[symbolic artificial intelligence]] which uses [[logic programming]] as a uniform representation for examples, background knowledge and hypotheses. The term "''inductive''" here refers to [[Inductive reasoning|philosophical]] (i.e. suggesting a theory to explain observed facts) rather than [[mathematical induction|mathematical]] (i.e. proving a property for all members of a well-ordered set) induction. 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 a hypothesised logic program which [[Entailment|entails]] all the positive and none of the negative examples.
| |||