# Inductive Logic Programming (ILP) Algorithm

Jump to navigation
Jump to search

An Inductive Logic Programming (ILP) Algorithm is an model-based eager supervised classification algorithm that can solve a Recursive Rule Learning Task.

**AKA:**ILP, Inductive Logic Programming.**Context:**- It can (typically) be used to solve a Knowledge-based Supervised Binary Classification Task.
- It can (typically) find a Hypothesis [math]\displaystyle{ H }[/math], such that
- [math]\displaystyle{ B \cup H \vDash e, \forall e \in E^+ }[/math]
- [math]\displaystyle{ B \cup H \nvDash e, \forall f \in E^- }[/math]
- [math]\displaystyle{ B \cup H }[/math] is consistent.
- assuming, [math]\displaystyle{ B \nvDash e, \exists e \in E^+ }[/math]

- It can be applied by a Inductive Logic Programming System.
- It can be a Rule Induction Algorithm.
- …

**Example(s):****Counter-Example(s):****See:**Supervised Learning; First-Order Logic; Inductive Reasoning; Propositional Learner; Multi-Relational Data Mining, Analytical Learning Algorithm, Logic Programming, Mathematical Induction.

## References

### 2014

- (Wikipedia, 2014) ⇒ http://en.wikipedia.org/wiki/Inductive_logic_programming Retrieved:2014-5-6.
**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 a hypothesised logic program which entails all the positive and none of the negative examples.Schema:

*positive examples*+*negative examples*+*background knowledge*=>*hypothesis*.Inductive logic programming is particularly useful in bioinformatics and natural language processing.

The term

*Inductive Logic Programming*was first introduced^{[1]}in a paper by Stephen Muggleton in 1991. The term “*inductive*” here refers to philosophical (i.e. suggesting a theory to explain observed facts) rather than mathematical (i.e. proving a property for all members of a well-ordered set) induction.

- ↑ Luc De Raedt. A Perspective on Inductive Logic Programming. The Workshop on Current and Future Trends in Logic Programming, Shakertown, to appear in Springer LNCS, 1999. CiteSeerX:

### 2011

- (De Raedt, 2011a) ⇒ Luc De Raedt. (2011). “Inductive Logic Programming.” In: (Sammut & Webb, 2011) p.529

### 1991

- (Muggleton, 1991) ⇒ Stephen Muggleton. (1991). “Inductive Logic Programming.” In: Journal of New Generation Computing, 8(4). doi:10.1007/BF03037089