Up Next
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

Up Next