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

Up Next