FOIL Example

Learning Sets of Rules

Say we are tying to predict the Target-predicate GrandDaughter(x,y).
FOIL begins with
NewRule = GrandDaughter(x,y) ←
To specialize it, generate these candidate additions to the preconditions:
Equal(x,y), Female(x), Female(y), Father(x,y), Father(y.x), Father(x,z), Father(z,x), Father(y,z), Father(z,y)
and their negations.