FOIL Example
Next State:
Pos: ((Ford Air-force) (Obrein Navy))
Neg: ()
Body: enlist(Name, Org)
& Armed-Forces(Org)
Variables (Name, Org)
Barbara-Nelson
Edgar-Sheppard
Lisa-Ford
Michael-Obrein
Michael-Dixon
Karen-Davis
David-Tyson
Michael-Adams
Not Due
True
True
True
True
False
False
False
False
LOAN
Lisa-Ford
Michael-Obrein
David-Tyson
Name
Org.
Air-Force
Navy
Peace-Corp
ENLIST
Air-Force
Navy
Army
Marines
Peace-Corps
Org.
Service
True
True
True
True
False
ARMED FORCES
Previous slide
Next slide
Back to first slide
View graphic version