Prev Up
Go backward to Solution to part (b)
Go up to 3 Proofs and Logical Consequences (ground)

Solution to part (c)

g is a logical consequence of KB means that g is true in all models of KB.

Here is a top-down derivation for the query ?g, where we always select the leftmost atom to resolve against:

yes <- g
yes <- c & d
yes <- h & e & d
yes <- e & d
yes <- h & d
yes <- d
yes <- e
yes <- h
yes <- 

Computational Intelligence online material, ©David Poole, Alan Mackworth and Randy Goebel, 1998

Prev Up