Abstract
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framework is a highly structured shared store in the form of a constraint logic program (CLP), which is used as a knowledge base and being reacted to by agents through the use of “reactors”. The biggest challenge arising from such a reactive programming framework using CLP is to develop a trigger mechanism that allows efficient “wakeup” of blocked reactors. This paper addresses the architecture of this open framework, and discusses a general methodology for doing triggering of logic conditions using views and abstractions.
This is a preview of subscription content, log in via an institution to check access.
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
Agha, G., Callsen, C.J.: Actorspace: an open distributed programming paradigm. In: ACM PPoPP, pp. 23–32 (1993)
Berry, G., Gonthier, G.: The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: ACM POPL, pp. 178–188 (1987)
Distances between 325 cities in the world, http://www.etn.nl/distanc4.htm
Gaede, V.: Multidimensional access methods. ACM Computing Survey 30(2), 170–231 (1998)
Gautier, T., Guernic, P.L.: SIGNAL: A declarative language for synchronous programming of real-time systems. In: FPCA, pp. 257–277. Springer, Heidelberg (1987)
Gelernter, D.: Generative communication in Linda. ACM TOPLAS 7(1), 80–112 (1985)
Jaffar, J., Lassez, J.-L.: Constraint logic programming. ACM POPL, pp. 111–119 (1987)
Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP(R) language and system. ACM TOPLAS 14(3), 339–395 (1992)
Nii, H.P.: Blackboard Systems. Addison Wesley, Reading (1989)
Samet, H.: The Design and Analysis of Spatial Data Structures. Addison-Wesley, Reading (1990)
Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)
Smolka, G.: The Oz programming model. In: Computer Science Today, pp. 324–343. Springer, Heidelberg (1995)
Ueda, K.: Guarded horn clauses. In: Wada, E. (ed.) Logic Programming 1985. LNCS, vol. 221, pp. 168–179. Springer, Heidelberg (1986)
Widom, J., Ceri, S.: Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, Inc, San Francisco (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jaffar, J., Yap, R.H.C., Zhu, K.Q. (2005). Coordination of Many Agents. In: Gabbrielli, M., Gupta, G. (eds) Logic Programming. ICLP 2005. Lecture Notes in Computer Science, vol 3668. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11562931_10
Download citation
DOI: https://doi.org/10.1007/11562931_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29208-1
Online ISBN: 978-3-540-31947-4
eBook Packages: Computer ScienceComputer Science (R0)