Go! for multi-threaded deliberative agents

Keith L. Clark and Frank G. McCabe


Abstract

Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as memory stores. In this paper we introduce the essential features of Go! illustrating them by programming a simple multi-agent application comprising hybrid reactive/deliberative agents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. An agent's reactive and deliberative components are concurrently executing threads which communicate and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which Go! is well suited.

KEYWORDS: Multi-paradyme programming languages, multi-threaded logic programming, distributed symbolic programming, concurrent agent architectures


Paper given at the DALT03 Workshop at AAMAS03, Melbourne. To be published in Proceedings of the Workshop by Springer-Verlag in 2004


Click here for a pdf version of the paper (daltForSpringer.pdf, 221102 bytes).