Go up to
3 Proofs and Logical Consequences (ground)
Go forward to
Solution to part (b)
Solution to part (a)
The following shows the elements of
C
at each stage:
{h} {e,h} {c,e,h} {d,c,e,h} {g,d,c,e,h}
The set of logical consequences of
KB
is
{g,d,c,e,h}
.
Computational Intelligence
online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998