1 In this exercise, use the sentences you wrote in Exercise 6 to answer a question by...

Question:

1 In this exercise, use the sentences you wrote in Exercise 6 to answer a question by using a backward-chaining algorithm.

a. Draw the proof tree generated by an exhaustive backward-chaining algorithm for the query 9 h Horse(h), where clauses are matched in the order given.

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: See Smith et al. (1986).)

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: