**Go up to **1 Models and Logical Consequences (ground)

**Go forward to **Solution to part (b)

## Solution to part (a)

*Give a model of the knowledge base.*
One model is where all of the atoms are true.

Another model is where *e,f,c,b,a* are true and *d,g,h* are all false.
[This is the minimal model.]

Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998