FRDCSA | git codebases | Car-Parking-Planner

[Project image]

Jump to: Project Description

Project Description

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.

This page is part of the FWeb package.
Last updated Sat Oct 26 16:59:52 EDT 2019 .