zbMATH — the first resource for mathematics

Multi-threaded communicating agents in Qu-Prolog. (English) Zbl 1236.68253
Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27–29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 186-205 (2006).
Summary: In this tutorial paper we summarise the key features of the multi-threaded Qu-Prolog language for implementing multi-threaded communicating agent applications. Internal threads of an agent communicate using the shared dynamic database used as a generalisation of Linda tuple store. Threads in different agents, perhaps on different hosts, communicate using either a thread-to-thread store and forward communication system, or by a publish and subscribe mechanism in which messages are routed to their destinations based on content test subscriptions.
We illustrate the features using an auction house application. This is fully distributed with multiple auctioneers and bidders which participate in simultaneous auctions. The application makes essential use of the three forms of inter-thread communication of Qu-Prolog. The agent bidding behaviour is specified graphically as a finite state automaton and its implementation is essentially the execution of its state transition function. The paper assumes familiarity with Prolog and the basic concepts of multi-agent systems.
For the entire collection see [Zbl 1096.68007].
68T42 Agent technology and artificial intelligence
68N17 Logic programming
Full Text: DOI