CRAM (Cognitive Robot Abstract Machine) is a programming system for autonomous robots. This thesis consists of developing a formal semantics for CRAM, to allow us to reason about the behavior of robots.
CRAM (Cognitive Robot Abstract Machine) is a programming system to develop software for autonomous robots. CRAM supports introspection, such that a robot can reason about its own experiences. The topic of this thesis is to develop a semantics for programs written in CRAM, either in SOS (Structural Operational Semantics) or as an interpreter in the specification language Maude.
- More information about CRAM: Tobias Christian Rittweiler Bachelor thesis
- More information about SOS and the formalization of programming languages:
Benjamin C. Pierce: Types and Programming Languages (MIT Press, 2002)
This project will be part of REMARO, a large research project about reliable AI-systems for underwater robots, funded as a Marie-Curie network by the EU.