An Embedding of ConGolog in 3APL

Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still difficult, however, to compare different programming frameworks and evaluate the relative benefits and disadvantages of these frameworks. In this paper, we present a general method for comparing agent programming frameworks based on a notion of bisimulation, and use it to formally compare the languages ConGolog and 3APL. ConGolog is a concurrent language for high-level robot programming based on the situation calculus. ConGolog provides a logical perspective on robot programming, but also incorporates a number of imperative programming constructs like sequential composition. 3APL is an agent programming language and its semantics offers a more operational perspective on agents. The language is a combination of logic and imperative programming and provides operators for beliefs, goals and plans of an agent...

• Type: Conference
• Year: 2000
• Where: ECAI
• Authors: Koen V. Hindriks, Yves Lespérance, Hector J. Levesque
• Keywords: Artificial Intelligence, ECAI 2000, Programming, Programming Frameworks, Programming Language