Inductive Logic Programming (ILP)
- given
- B background knowledge
- E (E+, E-) positive and negative examples
- find
- such that
- B Ù E- |° o (prior satisfiability)
- B Ù H Ù E- |° o (posterior satisfiability)
- B |° E+ (prior necessity)
- B Ù H |= E+ (posterior sufficiency)
Inductive Logic Programming (ILP)