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.]
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998