Before revision: Example The and-or tree: Image:And-or tree.JPG represents the search space for solving the problem P, using the goal-reduction methods: P if Q and R P if S Q if T Q if U Definitions Given an initial problem P0 and set of problem solving methods of the form: P if P1 and … and Pn the associated and-or tree is a set of labelled nodes such that: The root of the tree is a node labelled by P0.
After revision: Example The and-or tree: frameless|319px represents the search space for solving the problem P, using the goal-reduction methods: P if Q and R P if S Q if T Q if U Definitions Given an initial problem P0 and set of problem solving methods of the form: P if P1 and … and Pn the associated and-or tree is a set of labelled nodes such that: The root of the tree is a node labelled by P0.