To understand representation of knowledge bases using first order logic, and the resolution inference technique.
Formalize the blocks world using the situation calculus. The objects in the domain are blocks, tables, and situations. The predicates are:
On(x, y, s) ClearTop(x, s) Block(x) Table(x)
The only action is Puton(x, y), where x must be a block whose top is clear of other blocks, and y cab be either a table or another block whose top is also clear. The initial situation S0 has block A on B on C on the table.
Work in groups of 2 or 3, but no more. Let me know as soon as you can what your group is. You may work alone if you wish, but this assignment (and subsequent ones) will go faster if you work together.
The initial knowledge base (parts a and b). The goal (part c). The resolution proof
Monday 15th. March, in class.