Abstract
Application of agent technology to dynamic environments makes developers to take into account some considerations that common agent-based systems need not meet.
Artis agent architecture is our proposal for agent-based systems that require bounded response times. This kind of systems are characterised by their sensitivity to the moment in which the response is obtained. If the answer does not arrive on time, the consequences for the systems are catastrophic. They are hard, real-time systems.
This paper proposes a formalisation, using an extension of Rtctl logic, to specify the Artis agent behaviour. It does not pretend to be a formal validation prove for the agent, but a way that allows the designer to checkt he fulfilment of the agent’s design goals.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Martín Abadi, B. Alpern, K.R. Apt, N. Francez, S. Katz, L. Lamport, and F.B. Scheider. Preserving liveness: Comments on ”safety and liveness from a methodological point of view”. Information Processing Letters, 40(3):141–142, 1991.
Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181–185, 1985.
R. Alur and T.A. Henzinger. Logics and Models of Real-Time: A Survey. In Real Time: Theory in Practice, volume 600, pages 74–106. Springer-Verlag, 1991.
E. Emerson. Temporal and Modal Logic, volume B of Handbook of Theoretical Computer Science. Elsevier Science, 1990.
E. Emerson. Automated temporal reasoning about reactive systems. In Banff Higher Order Workshop, pages 41–101, 1995.
E. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Real-Time Systems, (4):331–352, 1992.
E. Emerson and R.J. Treffler. Parametric quantitative temporal reasoning.
M. George. and Rao A. Modeling Rational Agents within a BDI-Architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, San Mateo, CA, 1991. Morgan Kaufmann.
A. Pnueli. The temporal logic of programs. In Proc. of Eighteen Symposium on the Foundations of Computer Science, 1977.
M. Wooldridge. Temporal Belief Logics for Modelling Distributed Artificial Intelligence Systems. In G. M. P. O’Hare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence. John Wiley & Sons, 1995.
M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception and Knowledge. Journal of the IGPL, 9(2):273–288, 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rebollo, M., Botti, V., Onaindía, E. (2003). Formal Modeling of Dynamic Environments for Real-Time Agents. In: Mařík, V., Pěchouček, M., Müller, J. (eds) Multi-Agent Systems and Applications III. CEEMAS 2003. Lecture Notes in Computer Science(), vol 2691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45023-8_46
Download citation
DOI: https://doi.org/10.1007/3-540-45023-8_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40450-7
Online ISBN: 978-3-540-45023-8
eBook Packages: Springer Book Archive