Example

• target concept is Child(u,v)
• single positive example Child(Bob,Sharon) where instance is described by Male(Bob), Female(Sharon), and Father(Sharon,Bob)
• general background knowledge of
• two of the many hypothesis that satisfy are and
• new predicates which were not present in the initial description can be introduced into the hypothesis - constructive induction
• well understood algorithms for automated deduction
• inverses of these procedures can automate inductive generalization