Go backward to 2 Interpretations and Models (with variables)
Go up to Top
Go forward to 4 Unification
3 Proofs and Logical Consequences (ground)
Given the knowledge base KB containing the clauses:
a <- b & d.
b <- e & f.
c <- h & e.
d <- e.
d <- b & g.
e <- h.
g <- c & d.
- Show how the bottom-up proof procedure works for this example.
Show at each stage the value of C.
Give all logical consequences of
- a isn't a logical consequence
of KB. Explain what this means.
Show why a isn't a logical consequence of KB.
- g is a logical consequence of
KB. Explain what this means. Give a top-down derivation for the
material, ©David Poole, Alan Mackworth and Randy Goebel, 1998