9.5 In this question we will use the sentences you wrote in Exercise 9.4 to answer a
Question:
9.5 In this question we will use the sentences you wrote in Exercise 9.4 to answer a question using a backward-chaining algorithm.
a. Draw the proof tree generated by an exhaustive backward-chaining algorithm for the query 3h Horse(h).
b. What do you notice about this domain?
c. How many solutions for h actually follow from your sentences?
d. Can you think of a way to find all of them? (Hint: You might want to consult (Smith et al., 1986).)
Step by Step Answer:
Related Book For
Artificial Intelligence A Modern Approach
ISBN: 9780131038059
1st Edition
Authors: Stuart Russell, Peter Norvig
Question Posted: