Abstract
Multi-agent systems often are heterogeneous systems composed of different types of autonomous agents. Each of these agents may be based on a specific design specification, and may have its own semantics. Global dynamics at the level of the entire system emerges from the behaviours of the agents separately, and the manner in which the agents interact. Since the behaviour of each of the agents is specified in a local manner, independent of the global multi-agent system structure, an important semantical question is how global dynamics can be defined, given this variety of heterogeneous individual agents semantics. The question addressed in this chapter is how different behaviours independently defined at the level of individual agents can be composed to obtain emergent global multi-agent system behaviour, without assuming a uniform global semantic model for the system as a whole, and, in particular, without assuming a uniform global time frame.
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.
Similar content being viewed by others
Bibliography
J. Bradshaw. An Introduction to Software Agents. In Software Agents, J. Bradshaw, ed. pp. 3–46. MIT Press, 1997.
M. E. Bratman. Intentions, Plans and Practical Reason. Harvard University Press, 1987.
Brazier et al.,2001] F. M. T. Brazier, C. M. Jonker and J. Treur. Compositional Multi-agent System Design: Dynamics and Control. This volume,2001.
Brazier et al.,1999] F. M. T. Brazier, J. Treur, N. J. E. Wijngaards and M. Willems. Temporal semantics of task models and problem solving methods. Data and Knowledge Engineering,29 17112,1999.
Charron-Bost et al.,1996] B. Charron-Bost, E Mattern and G. Tel. Synchronous, asynchronous, and causally ordered communication. Distributed Computing,9 173–191, 1996.
Engelfriet et al.,1999] J. Engelfriet, C. M. Jonker and J. Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. In Intelligent Agents V, Proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL’98,J. P. Mueller, M. P. Singh and A. S. Rao, eds. pp. 177–194. Lecture Notes in AI, vol. 1555, Springer Verlag, 1999. Also this volume.
Finin et al.,1997] T. Finin, Y. Labrou and J. Mayfield. KQML as an agent communication language. In Software Agents,J. Bradshaw, ed. MIT Press, 1997.
M. Fisher and M. Wooldridge. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems, 6, 37–65, 1997.
D. Garlan and D. le Métayer, eds. Coordination Languages and Models. Proceedings of the Second International Conference, COORDINATION ‘87. Lecture Notes in Computer Science, volume 1282, Springer-Verlag, 1997.
I. S. Gavrila and J. Treur. A formal model for the dynamics of compositional reasoning systems. In Proc. 11th European Conference on Artificial Intelligence, ECAI’94, A. G. Cohn, ed. pp. 307–311. Wiley and Sons, 1994.
Giunchiglia and Ghidini, 1997] E Giunchiglia and C. Ghidini. Local models semantics, or contextual reasoning = locality + compatibility. In AAA! Fall 1997 Symposium on Context in Knowledge Representation and Natural Language. MIT, Cambridge, MA.
C. M. Jonker and J. Treur. A generic architecture for broker agents. In Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM’98, H. S. Nwana and D. T. Ndumu, eds. pp. 623–624. The Practical Application Company Ltd, 1998.
L. Lamport On interprocess communication, part I-basic formalism. Distributed Computing, 1, 77–85, 1986.
Lassila, 1998] O. Lassila. Web metadata: A matter of semantics. IEEE Internet Computing,2, 1998. See also http://www.w3.org/RDF/.
R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
Milner et al.,1992] R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, parts I and II. Journal of Information and Computation,100 1–40 and 41–77,1992.
P. D. O’Brien and R. C. Nichol. FIPA—towards a standard for software agents. BT Technology Journal, 16, 51–59, 1998.
V. R. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15, 33–71, 1986.
A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI architecture. In Proceedings of the Second Conference on Knowledge Representation and Reasoning, R. Fikes and E. Sandewall, eds. pp. 473–484, Morgan Kaufman, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brazier, F., Van Eck, P., Treur, J. (2002). Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems. In: Meyer, JJ.C., Treur, J. (eds) Agent-Based Defeasible Control in Dynamic Environments. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1741-0_7
Download citation
DOI: https://doi.org/10.1007/978-94-017-1741-0_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-6109-6
Online ISBN: 978-94-017-1741-0
eBook Packages: Springer Book Archive