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
Artificial Intelligence Foundations Of Computational Agents
ISBN: 9780521519007
1st Edition
Authors: David L. Poole, Alan K. Mackworth
Question Posted: