Formal Setting for ILP
Use a family of logic programs
- Background knowledge B
- positive examples E+
- negative examples E-
- Must construct hypothesis H
Require some formal properties
- Necessity: B =/=> E+
- Sufficiency: B & H => E+
- Consistency of B & H
- Strong Consistency: B & H & E- consistent
- (can disregard last two in a “noisy” system)