Go backward to Solution to part (b)
Go up to 1 Models and Logical Consequences (ground)
Go forward to Solution to part (d)
Solution to part (c)
Give two atoms that are logical consequences of the
knowledge base.
Answer: Any two of e,f,c,b,a.
Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998