https://github.com/schwering/golog

Plan recognition system based on the situation calculus and action language Golog, written in Haskell
https://github.com/schwering/golog

action-language functional-programming golog haskell logic-programming plan-recognition situation-calculus

Last synced: 4 months ago
JSON representation

Plan recognition system based on the situation calculus and action language Golog, written in Haskell

• Host: GitHub
• URL: https://github.com/schwering/golog
• Owner: schwering
• License: mit
• Created: 2013-04-11T15:00:42.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2021-06-22T11:12:22.000Z (almost 4 years ago)
• Last Synced: 2023-03-11T08:26:36.976Z (over 2 years ago)
• Topics: action-language, functional-programming, golog, haskell, logic-programming, plan-recognition, situation-calculus
• Language: Haskell
• Homepage:
• Size: 4.78 MB
• Stars: 6
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Golog in Haskell and a few Aplications

======================================

This is a Golog interpreter written in Haskell and applications of it.

[Golog](http://www.cs.toronto.edu/cogrobo/main/) is an action language based on

the [situation calculus](http://en.wikipedia.org/wiki/Situation_calculus).

There are many dialects of Golog; this is one of them.

* The [Golog interpreter code](golog/).

* A few [toy examples](golog-examples/) are available.

* A [plan recognition system](plan-recog/), 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.](http://schwering.github.io/commonsense-2013-slides/)

* An [agent for a racing car](torcs-agent/).

  The car is controlled by Golog programs and Basic Action Theories.

  This work is at a very early stage.

Contact: [Christoph Schwering](https://schwering.github.io)

(schwering at gmail dot com).