This is a Golog interpreter written in Haskell and applications of it. Golog is an action language based on the situation calculus. There are many dialects of Golog; this is one of them.
- The Golog interpreter code.
- A few toy examples are available.
- A plan recognition system, particularly for automotive traffic. We model the world with a situation calculus theory and define Golog programs which represent typical behavior. The plan recognition system then simulates execution of these Golog programs and compares the effects of this simulation with observations of the real world. Check out these slides for an overview how it works.
- An agent for a racing car. The car is controlled by Golog programs and Basic Action Theories. This work is at a very early stage.
Contact: Christoph Schwering (schwering at gmail dot com).