Machine-translated by Google. Questions are authored in English.
Top

Discussion

What is the relationship between backward chaining and search?

  • A.Backward chaining is a search over the space of proof trees
  • B.Backward chaining avoids search by computing the answer directly
  • C.Search is used only when backward chaining fails to find a proof
  • D.Backward chaining and search are entirely unrelated mechanisms

Answer: A

Each rule matching a goal gives a branch, and the conditions give the successors, so proving a goal is a search whose nodes are subgoal sets. Prolog searches it depth first. Direct computation and independence are false. Recognising a familiar activity as an instance of search brings the whole vocabulary of completeness, ordering and pruning to bear on it, which is more useful than treating it as a separate topic.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.