Simply Logical – Chapter 8© Peter Flach, 2000 Induction +Given a background theory Th (clauses) positive examples Pos (ground facts) negative examples.