CS322, Fall 1997 - Practice Midterm -- Solution to Question 1, part 3

Go backward to Solution to Question 1, part 2
Go up to Question 1

Solution to Question 1, part 3

a is a logical consequence of KB means that a is true in all models of KB. Here is a a top-down derivation for the query ?a.

yes <- a.
yes <- b  &  c.
yes <- e  &  c.
yes <- c.
yes <-.