Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 2001: Intelligent Agents VIII pp 100–115Cite as

Agents and Roles: Refinement in Alternating-Time Temporal Logic

  • Conference paper
  • First Online:

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

Abstract

We present a notion of refinement between agent-oriented systems defined using alternating-time temporal logic (ATL). The refinement relation provides a framework for defining roles in a society of interacting agents, and formalising a relation of conformance between agents and roles. The refinement relation also allows us to construct abstractions in order to make verification more tractable.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, H. Anand, R. Grosu, F. Ivancic, M. Kang, M. McDougall, B.-Y. Wang, L. de Alfaro, T. Henzinger, B. Horowitz, R. Majumdar, F. Mang, C. Meyer, M. Minea, S. Qadeer, S. Rajamani, and J.-F. Raskin. Mocha User Manual. University of California, Berkeley. www.eecs.berkeley.edu/~mocha.

  2. R. Alur, T. Henzinger, O. Kupferman, and M. Vardi. Alternating refinement relations. In D. Sangiorgi and R. de Simone, editors, CONCUR 98: Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163–178. Springer-Verlag, 1998.

    Chapter  Google Scholar 

  3. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pages 100–109. IEEE Computer Society Press, 1997.

    Google Scholar 

  4. E. M. Clarke and E. A. Emerson. Synthesis of synchronization skeletons for branching time temporal logic. In D. Kozen, editor, Logic of Programs Workshop, number 131 in LNCS. Springer Verlag, 1981.

    Google Scholar 

  5. G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1990.

    Google Scholar 

  6. K. McMillan. The SMV language. Available from www-cad.eecs.berkeley.edu/-~kenmcmil, June 1998.

  7. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.

    Google Scholar 

  8. M. C. Plath and M. D. Ryan. Feature integration using a feature construct. Science of Computer Programming, 2001. In print.

    Google Scholar 

  9. M. P. Singh. Group ability and structure. In Y. Demazeau and J.-P. Müller, editors, Decentralised AI 2, pages 127–146. Elsevier, 1991.

    Google Scholar 

  10. E. Werner. What can agents do together: A semantics of co-operative ability. In Proc. ECAI 90, pages 694–701, 1990.

    Google Scholar 

  11. M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, UMIST, Manchester, 1992.

    Google Scholar 

  12. M. Wooldridge and M. Fisher. A first-order branching time logic of multi-agent systems. In Proceedings of the Tenth European Conference on AI (ECAI-92), Vienna, Austria, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK

    Mark Ryan

  2. Institut d’Informatique, Facultés Universitaires de Namur, Rue Grandgagnage 21, 5000, Namur, Belgium

    Pierre-Yves Schobbens

Authors
  1. Mark Ryan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierre-Yves Schobbens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ryan, M., Schobbens, PY. (2002). Agents and Roles: Refinement in Alternating-Time Temporal Logic. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43858-8

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation