GologSpeak: Golog speaks the BDI language
Sebastian Sardiña, Yves Lespérance · RMIT Research Repository (RMIT University Library) · 2011
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 panieular, we show how 'Gologlike' programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how praclical agent systems can be developed using high-level languages like Golog or lndiGolog. 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.