Go backward to Solution to part (a)
Go up to 3 Proofs and Logical Consequences (ground)
Go forward to Solution to part (c)
Solution to part (b)
"a isn't a logical consequence of KB" means there exists a model of
KB in which a is false.
To show why a isn't a logical consequence of KB, we can give such
a model. The minimal model will always be one such model.
This model has {h,e,d,c,g} all true and {a,b,f} all false.
Computational
Intelligence online
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998