• This assignment considers the Situation Calculus and planning. It focuses on: - Formalizing a planning problem, using Situation Calculus to represent the world. - Implementing the model and verifying its correctness using a planner based on the golog syntax. - Extending the model as well as its implementation in order to deal with additional aspects of the environment.