Abstract
We consider defining executable dialogues for communicating agents. Towards this end, we introduce agent classes whose communication primitives are based on deduction. Their operational semantics are given by an abstract logical machine that is defined purely in sequential terms. These agents communicate under the control of plans requiring a synchronization flag. These plans can be rewritten as dialogues with an implicit synchronization. Reversibly, dialogues can be compiled back into plans and then executed on the sequential machine. Sub-dialogues can be entered from any dialogue, such achieving dynamic conversation structures.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
P. Bonzon, An Abstract Machine for Communicating Agents Based on Deduction, in: J.-J. Meyer & M. Tambe (eds), Intelligent Agents VIII, LNAI vol. 2333, Springer Verlag (2002)
R. Elio, A. Haddadi and A. Singh, Task Models, Intentions and Agent Conversation Policies, in: Proc. PRICAI-2000, LNAI vol. 1886, Springer Verlag (2000)
FIPA Specifications, available on line at http://www.fipa.org
G. de Giacomo, Y. Lespérance and H. Levesque, ConGolog, a Concurrent Programming Language Based on the Situation Calculus, Artificial Intelligence, vol. 121 (2000)
K.V. Hendricks, F.S. de Boer, W. van der Hoek and J.-J. Meyer, Semantics of Communicating Agents Based on Deduction and Abduction, Proceedings IJCAI99 Workshop on ACL (also Utrecht University Technical Report UU-CS-1999-09)
M. Nowostawski, M. Purvis and S. Cranefield, A Layered Approach for Modelling Agent Conversations, in: E T. Wagner and O.F. Rana (eds), Proc. 2 nd Int. Workshop on Infrastructure for Agents, MAS, and Scalable MAS, 5 th Int. Conf. on Autonomous Agents, Montreal (2001)
J.J. Odell, H.V.D. Parunak and B. Bauer, Representing Agent Interaction Protocols in UML, in: P. Ciancarini and M. Wooldridge (eds), Agent-Oriented Software Engineering, Springer Verlag (2001)
R. Scott, Y. Chen, T. Finin, Y. Labrou and Y. Peng, Modeling Agent Conversations with Colored Petri Nets, in: Working Notes of the Worshop on Specifying and Implementing Conversation Policies, 3 rd Int. Conf. On Autonomous Agents, Seattle (1999)
M. Wooldridge and A. Lomuscio, Reasoning about Visibility, Perception and Knowledge, in: N.R. Jennings and Y. Lespérance (eds), Intelligent Agents VI, LNAI vol. 1757, Springer Verlag (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bonzon, P. (2002). Compiling Dynamic Agent Conversations. In: Jarke, M., Lakemeyer, G., Koehler, J. (eds) KI 2002: Advances in Artificial Intelligence. KI 2002. Lecture Notes in Computer Science(), vol 2479. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45751-8_3
Download citation
DOI: https://doi.org/10.1007/3-540-45751-8_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44185-4
Online ISBN: 978-3-540-45751-0
eBook Packages: Springer Book Archive