Exercise 5.4 You are given the knowledge base KB containing the following clauses: a b

Question:

Exercise 5.4 You are given the knowledge base KB containing the following clauses:

a ← b ∧ c.

b ← d.

b ← e.

c.

d ← h.

e.

f ← g ∧ b.

g ← c ∧ k.

j ← a ∧ b.

(a) Show how the bottom-up proof procedure works for this example. Give all logical consequences of KB.

(b) f is not a logical consequence of KB. Give a model of KB in which f is false.

(c) a is a logical consequence of KB. Give a top-down derivation for the query ask a.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Artificial Intelligence Foundations Of Computational Agents

ISBN: 9780521519007

1st Edition

Authors: David L. Poole, Alan K. Mackworth

Question Posted: