AIMA Artificial Intelligence a modern approch

AIMA-exercises is an open-source community of students, instructors and developers. Anyone can add an exercise, suggest answers to existing questions, or simply help us improve the platform. We accept contributions on this github repository.

Exercise 9.17 [bc-trace-exercise]

Trace the execution of the backward-chaining algorithm in Figure backward-chaining-algorithm (page backward-chaining-algorithm) when it is applied to solve the crime problem (page west-problem-page). Show the sequence of values taken on by the ${goals}$ variable, and arrange them into a tree.

View Answer