Abstract
Reactive systems are those that continuously interact with their environment asynchronously. A number of formalisms have been presented in the literature for reactive systems. However, these formalisms do not model systems that consist of a number of reactive sub-components dynamically interacting with each other and the environment. An example of this type of system can be seen in the telecommunications arena, where sophisticated telephony applications involve controlling a number of individual calls distributed across different switches, and where the interactions between the calls changes dynamically. Another example, is the modelling of multi-agent systems consisting of agents that are conceptually distinct from each other, and which maintain internal state and beliefs. The agents interact with each other and the environment, and can change their internal state and beliefs as they evolve over time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
P. Sampath. Modelling multi-agent reactive systems. Available from http://www.vaikuntam.dsl.pipex.com/reports.html.
V. A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science. Paris, France, 1994.
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
Sampath, P. (2002). Modelling Multi-agent Reactive Systems. In: Stuckey, P.J. (eds) Logic Programming. ICLP 2002. Lecture Notes in Computer Science, vol 2401. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45619-8_39
Download citation
DOI: https://doi.org/10.1007/3-540-45619-8_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43930-1
Online ISBN: 978-3-540-45619-3
eBook Packages: Springer Book Archive