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