Assignment 1 : A Block's World Problem


This will be elaborated further as we go ahead. But you should keep thinking about it now. The specs are as follows:

1. There are 3 blocks A, B, C

2. The START configuration is some placement of the blocks on a table (note that 2 or more blocks can be on top of one other).

3. The GOAL configuration is also some placement of the blocks on the table.

4. You have to show the path from the START to the GOAL configuration in terms of the robot operations like "pick up", "put down", "push", "pop" and so on.

5. You have to do the assignment using Prolog which will be taught in the class. But go ahead and learn, if you feel like. GNU Prolog and SB Prolog are freely downloadable.

6. You can study the STRIPS system (N.J. Nilsson) which will be taught in the class.

7. Predicate calculus and Search are the foundations for this problem, though Prolog will take care of many headaches.