Skip to main content
Springer Nature Link
Log in

Formal Modeling of Dynamic Environments for Real-Time Agents

  • Conference paper
  • First Online:
Multi-Agent Systems and Applications III (CEEMAS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2691))

  • 700 Accesses

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 to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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.

    Article  MathSciNet  Google Scholar 

  2. Bowen Alpern and Fred B. Schneider. Defining liveness. Information Processing Letters, 21(4):181–185, 1985.

    Article  MATH  MathSciNet  Google Scholar 

  3. 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.

    Article  MathSciNet  Google Scholar 

  4. E. Emerson. Temporal and Modal Logic, volume B of Handbook of Theoretical Computer Science. Elsevier Science, 1990.

    Google Scholar 

  5. E. Emerson. Automated temporal reasoning about reactive systems. In Banff Higher Order Workshop, pages 41–101, 1995.

    Google Scholar 

  6. E. Emerson, A.K. Mok, A.P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Real-Time Systems, (4):331–352, 1992.

    Article  Google Scholar 

  7. E. Emerson and R.J. Treffler. Parametric quantitative temporal reasoning.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. A. Pnueli. The temporal logic of programs. In Proc. of Eighteen Symposium on the Foundations of Computer Science, 1977.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. M. Wooldridge and A. Lomuscio. A Computationally Grounded Logic of Visibility, Perception and Knowledge. Journal of the IGPL, 9(2):273–288, 2001.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Spain

    Miguel Rebollo, Vicente Botti & Eva Onaindía

Authors
  1. Miguel Rebollo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vicente Botti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eva Onaindía
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Electrical Engineering, Dept. of Cybernetics, Czech Technical University, 16627, Praha 6, Czech Republic

    Vladimír Mařík  & Michal Pěchouček  & 

  2. Siemens AG, CT, IC 6, Otto-Hahn-Ring 6, 81730, München, Germany

    Jörg Müller

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation