Question 1
Printed graph sheets were provided on time.
Printed graph sheets were provided late.
Printed graph sheets were not provided.
I used the graph sheets.
I did not use graph sheets.

The IIT Madras BS AI: Search Methods for Problem Solving (AI Search Methods) Quiz 2 paper sat on 16 Mar 2025, in the January 2025 term: 25 questions for 24 marks in 120 minutes. Every question is below with its answer. Take it as a timed mock test to be marked, or read it through first.
Printed graph sheets were provided on time.
Printed graph sheets were provided late.
Printed graph sheets were not provided.
I used the graph sheets.
I did not use graph sheets.
Correct answers
Printed graph sheets were provided on time.
I used the graph sheets.
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
In the map, S is the first node to be refined, determine the next 3 nodes (from the 2nd to 4th node) refined by A*. Enter the nodes in the order they are refined.
Enter a comma separated list of node labels.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: E,F,D or F,E,D
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
For the 3 nodes from the 2nd to 4th node refined by A*, list the f-values of those nodes as a comma separated list.
Enter a comma separated list of natural numbers.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 2,7,1
Correct answer: 12,12,13
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
For the 3 nodes from the 2nd to 4th node refined by A*, list the parent nodes assigned by A*. Enter a comma separated list of parent node labels.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: S,S,F
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
What is the final path found by A*?
Enter the path as a comma separated list.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: S,X,Y,G
Correct answer: S,F,D,B,G
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
For w=2, what is the final path found by WA* algorithm?
Enter the path as a comma separated list.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: S,X,Y,G
Correct answer: S,E,B,G
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
What is the cost of the path found by Branch-and-Bound algorithm?
Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 42
Correct answer: 10
SEARCH
The figure shows a map with several locations on a grid where each tile is 1x1 in size. The locations are at grid points and are connected by two way edges (roads), where each edge has a cost that is the same in both directions. Observe that the edge costs are not necessarily proportional to the coordinate based distance estimates.
The start node is S and the goal node is G, the MoveGen function returns neighbours in alphabetical order. Use Manhattan distance as the heuristic function.
Tie-breaker: when several nodes have the same best cost, use alphabetical order to break ties.
Emulate A*, WA* and Branch-and-Bound on the given map, then answer the subquestions.
Is the heuristic admissible in the given map?
Yes
No
Cannot be determined
Correct answer
No
TSP
The distance matrix for 6 cities are provided below. For each city the distances to other cities are listed in ascending order. For example, the distance from A to D is 38, and from A to E is 46, and so on.
| A | D:38 | E:46 | F:64 | B:66 | C:68 |
|---|---|---|---|---|---|
| B | E:40 | F:42 | C:58 | A:66 | D:74 |
| C | F:18 | E:26 | D:42 | B:58 | A:68 |
| D | E:36 | A:38 | C:42 | F:48 | B:74 |
| E | F:18 | C:26 | D:36 | B:40 | A:46 |
| F | C:18 | E:18 | B:42 | D:48 | A:64 |
Solve the sub-questions using the TSP Branch-and-Bound algorithm.
Attention: Infer as much as possible (and as early as possible) about the permanent segments in the partial solutions. A segment is a two-way edge between two cities.
What is the lower bound on the cost of the tours (S0) as per the TSP BnB algorithm discussed in class?
Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 17
Correct answer: 182
TSP
The distance matrix for 6 cities are provided below. For each city the distances to other cities are listed in ascending order. For example, the distance from A to D is 38, and from A to E is 46, and so on.
| A | D:38 | E:46 | F:64 | B:66 | C:68 |
|---|---|---|---|---|---|
| B | E:40 | F:42 | C:58 | A:66 | D:74 |
| C | F:18 | E:26 | D:42 | B:58 | A:68 |
| D | E:36 | A:38 | C:42 | F:48 | B:74 |
| E | F:18 | C:26 | D:36 | B:40 | A:46 |
| F | C:18 | E:18 | B:42 | D:48 | A:64 |
Solve the sub-questions using the TSP Branch-and-Bound algorithm.
Attention: Infer as much as possible (and as early as possible) about the permanent segments in the partial solutions. A segment is a two-way edge between two cities.
Infer all the permanently included segments in the node (S0,CF,EF,~DE) in the TSP BnB search tree. Enter the total number of permanently INCLUDED segments in the text box.
Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 17
Correct answer: 2
TSP
The distance matrix for 6 cities are provided below. For each city the distances to other cities are listed in ascending order. For example, the distance from A to D is 38, and from A to E is 46, and so on.
| A | D:38 | E:46 | F:64 | B:66 | C:68 |
|---|---|---|---|---|---|
| B | E:40 | F:42 | C:58 | A:66 | D:74 |
| C | F:18 | E:26 | D:42 | B:58 | A:68 |
| D | E:36 | A:38 | C:42 | F:48 | B:74 |
| E | F:18 | C:26 | D:36 | B:40 | A:46 |
| F | C:18 | E:18 | B:42 | D:48 | A:64 |
Solve the sub-questions using the TSP Branch-and-Bound algorithm.
Attention: Infer as much as possible (and as early as possible) about the permanent segments in the partial solutions. A segment is a two-way edge between two cities.
Infer all the permanently excluded segments in the node (S0,CF,EF,~DE) in the TSP BnB search tree. Enter the total number of permanently EXCLUDED segments in the text box.
Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 17
Correct answer: 5
TSP
The distance matrix for 6 cities are provided below. For each city the distances to other cities are listed in ascending order. For example, the distance from A to D is 38, and from A to E is 46, and so on.
| A | D:38 | E:46 | F:64 | B:66 | C:68 |
|---|---|---|---|---|---|
| B | E:40 | F:42 | C:58 | A:66 | D:74 |
| C | F:18 | E:26 | D:42 | B:58 | A:68 |
| D | E:36 | A:38 | C:42 | F:48 | B:74 |
| E | F:18 | C:26 | D:36 | B:40 | A:46 |
| F | C:18 | E:18 | B:42 | D:48 | A:64 |
Solve the sub-questions using the TSP Branch-and-Bound algorithm.
Attention: Infer as much as possible (and as early as possible) about the permanent segments in the partial solutions. A segment is a two-way edge between two cities.
How many tours are represented by the node (S0,CF,EF,~DE) in the TSP BnB search tree? Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 17
Correct answer: 4
TSP
The distance matrix for 6 cities are provided below. For each city the distances to other cities are listed in ascending order. For example, the distance from A to D is 38, and from A to E is 46, and so on.
| A | D:38 | E:46 | F:64 | B:66 | C:68 |
|---|---|---|---|---|---|
| B | E:40 | F:42 | C:58 | A:66 | D:74 |
| C | F:18 | E:26 | D:42 | B:58 | A:68 |
| D | E:36 | A:38 | C:42 | F:48 | B:74 |
| E | F:18 | C:26 | D:36 | B:40 | A:46 |
| F | C:18 | E:18 | B:42 | D:48 | A:64 |
Solve the sub-questions using the TSP Branch-and-Bound algorithm.
Attention: Infer as much as possible (and as early as possible) about the permanent segments in the partial solutions. A segment is a two-way edge between two cities.
What is the cost of the node (S0,CF,EF,~DE) in the TSP BnB search tree?
Enter a natural number.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 17
Correct answer: 208
GAMES
The figure shows a game tree with evaluations W (win), D (draw) and L (loss) from Max's perspective. The horizon nodes carry evals (W/D/L) and node labels a1, b1, b2, b3, c1, ..., c8, d1, ..., d10, e1, ..., e8.
Based on the above data, answer the given subquestions.
What is the outcome (W, D or L) of the game when both players play perfectly?
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X
Correct answer: W
GAMES
The figure shows a game tree with evaluations W (win), D (draw) and L (loss) from Max's perspective. The horizon nodes carry evals (W/D/L) and node labels a1, b1, b2, b3, c1, ..., c8, d1, ..., d10, e1, ..., e8.
Based on the above data, answer the given subquestions.
Change the value of only one horizon node such that the outcome of the game changes. Which horizon node will you change and what will be its new value? Enter the label of the horizon node and its new value as a comma separated list.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: c9,X
Correct answer: e5,D or e6,D or e5,L or e6,L
GAMES: ALGORITHMS
The figure shows a game tree with evaluations at the horizon from Max's perspective. The horizon nodes carry evals (numbers) and node labels (A to P).
Based on the above data, answer the given subquestions.
List the horizon nodes in the best strategy. Enter the node labels.
Enter the node labels as a comma separated list in ASCENDING order.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: K,L,M,N
GAMES: ALGORITHMS
The figure shows a game tree with evaluations at the horizon from Max's perspective. The horizon nodes carry evals (numbers) and node labels (A to P).
Based on the above data, answer the given subquestions.
List the horizon nodes pruned by Alpha-Beta algorithm.
Enter the node labels as a comma separated list in ASCENDING order.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: G,H,J,O,P
GAMES: ALGORITHMS
The figure shows a game tree with evaluations at the horizon from Max's perspective. The horizon nodes carry evals (numbers) and node labels (A to P).
Based on the above data, answer the given subquestions.
List the horizon nodes in the initial cluster formed by SSS* algorithm.
Enter the node labels as a comma separated list in ASCENDING order.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: A,C,I,K
GAMES: ALGORITHMS
The figure shows a game tree with evaluations at the horizon from Max's perspective. The horizon nodes carry evals (numbers) and node labels (A to P).
Based on the above data, answer the given subquestions.
List the horizon nodes (other than the initial cluster) that are assigned SOLVED status by the SSS* algorithm.
Enter the node labels as a comma separated list in ASCENDING order.
NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: X,Y,Z
Correct answer: L,M,N
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
What is the length of the optimal plan? Enter the number of actions in the optimal plan. NO SPACES, TABS, DOTS, BRACKETS OR EXTRANEOUS CHARACTERS.
Answer format: 42
Correct answer: 6
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
Which of the following are applicable actions in the start state for the given planning problem?
Pickup(C)
Pickup(G)
Stack(A,G)
Stack(G,E)
Unstack(C,A)
Unstack(E,B)
Correct answers
Pickup(G)
Unstack(C,A)
Unstack(E,B)
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
Which of the following are relevant actions for the goal description in the given planning problem?
Pickup(C)
Pickup(G)
Stack(A,G)
Stack(G,E)
Unstack(C,A)
Unstack(E,B)
Correct answers
Stack(A,G)
Stack(G,E)
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
For the subgoal ordering given in the goal description (and using the given tie breaking rules) which of the following can be pushed as the first four elements onto the stack by the Goal Stack Planning algorithm? In the representation below, the bottom of the stack is on the right end, marked by BOTTOM.
on(A,G); on(G,E); { on(A,G), on(G,E) }; BOTTOM
on(G,E); on(A,G); { on(A,G), on(G,E) }; BOTTOM
{ on(A,G), on(G,E) }; on(A,G); on(G,E); BOTTOM
{ on(A,G), on(G,E) }; on(G,E); on(A,G); BOTTOM
Correct answer
on(G,E); on(A,G); { on(A,G), on(G,E) }; BOTTOM
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
For the subgoal ordering given in the goal description (and using the given tie breaking rules), which of the following is the first goal popped out of the stack in Goal Stack Planning?
on(A,G)
on(G,E)
holding(G)
clear(E)
Correct answer
clear(E)
AUTOMATED PLANNING
The domain description of a blocks-world with a single one-armed robot is provided below. Note: this is the same domain description used in the weekly assignments.
PREDICATES
armEmpty The arm is not holding any block, it is empty. holding(X) The arm is holding X. onTable(X) X is on the table. clear(X) X has nothing above it, it is clear. on(X,Y) X is directly on Y.
OPERATORS
Pickup(X): pick up X from the table.
Preconditions: { armEmpty, clear(X), onTable(X) } Add Effects : { holding(X) } Del Effects : { armEmpty, onTable(X) }
Putdown(X): place X on the table.
Preconditions: { holding(X) } Add Effects : { armEmpty, onTable(X) } Del Effects : { holding(X) }
Unstack(X,Y): pick up X that is directly sitting on Y.
Preconditions: { armEmpty, clear(X), on(X,Y) } Add Effects : { clear(Y), holding(X) } Del Effects : { armempty, on(X,Y) }
Stack(X,Y): place X directly on top of Y.
Preconditions: { holding(X), clear(Y) } Add Effects : { armEmpty, on(X,Y) } Del Effects : { holding(X), clear(Y) }Tie-breaker: When actions are chosen non-deterministically, choose actions that lead to a plan. Throw away the actions that lead to deadends and cycles.
Tie-breaker: Treat the goal description, preconditions and effects as lists that are accessed from left to right. When the elements in a list are pushed one by one to a stack, the last element in the list will be at the top of the stack. It has the effect of reversing the list.
A planning problem is given below, find a plan using the operators and predicates defined in the blocks-world domain.
Based on the above data, answer the given subquestions.
For the subgoal ordering given in the goal description (and using the given tie breaking rules), which of the following is the first action popped out of the stack in Goal Stack Planning?
Pickup(C)
Pickup(G)
Stack(A,G)
Stack(G,E)
Unstack(C,A)
Unstack(E,B)
Correct answer
Pickup(G)