Golog Speaks the BDI Language

Abstract

In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and “Golog-like” high-level programming. In particular, we show how “Golog-like” programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent systems can be developed using high-level languages like Golog or IndiGolog. Second, it provides BDI languages a clear classical-logic-based semantics and a powerful logical foundation for incorporating new reasoning capabilities not present in typical BDI systems.

DOI: 10.1007/978-3-642-14843-9_6

Extracted Key Phrases

Cite this paper

@inproceedings{Sardia2009GologST, title={Golog Speaks the BDI Language}, author={Sebastian Sardi{\~n}a and Yves Lesp{\'e}rance}, booktitle={PROMAS}, year={2009} }