Skip to main content
SpringerLink
Log in
Book cover

International Conference on Knowledge-Based and Intelligent Information and Engineering Systems

KES 2009: Knowledge-Based and Intelligent Information and Engineering Systems pp 38–45Cite as

Describing Evolutions of Multi-Agent Systems

  • Conference paper

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

Abstract

This paper focuses on the issue of the formal logical description of evolutions of multi-agent systems (MAS). By evolution of a MAS we mean the change of inner states of the combined MAS caused by interaction of participating agents. We introduce a general scheme of combining propositional modal languages and respective logics into a single language suitable for such descriptions. The method is based on the representation of multi-agent systems by Kripke-Hintikka models. The obtained description allows to study the question of verifiable specifications.

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. Caleiro, C., Carnielli, W., Rasga, J., Sernadas, C.: Fibring of logics as a universal construction. In: Gabbay, D., Guenther, F. (eds.) Combination of Logics. Handbook of Philosopical Logic, vol. 13. Kluwer, Dordrecht (2005)

    Google Scholar 

  2. Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. Studies in Logic, vol. 148. Elsevier Science, Amsterdam (2003)

    MATH  Google Scholar 

  3. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  4. Halpern, J.Y., van der Meyden, R., Vardi, M.Y.: Complete axiomatizations for reasoning about knowledge and time. SIAM Journal on Computing 33(3), 674–703 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  5. Rybakov, V.: Logical consecutions in intransitive temporal linear logic of finite intervals. Journal of Logic Computation 15(5), 633–657 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  6. Rybakov, V.: A criterion for admissibility of rules in the modal system S4 and the intuitionistic logic. Algebra and Logica 23(5), 369–384 (1984)

    Article  MATH  Google Scholar 

  7. Segerberg, K.: Decidability of S4.1. Theoria 34, 7–20 (1968)

    Article  MathSciNet  Google Scholar 

  8. Gabbay, D.M.: Selective filtration in modal logic. Theoria 36, 323–330 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  9. Lemmon, E., Scott, D.: An Introduction to Modal Logic. Blackwell, Oxford (1977)

    MATH  Google Scholar 

  10. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Clarendon Press, Oxford (1997)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, U.K.

    Sergey Babenyshev

  2. Institute of Mathematics, Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041, Russia

    Vladimir Rybakov

Authors
  1. Sergey Babenyshev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladimir Rybakov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Chile, Republica 701, 8370439, Santiago, Chile

    Juan D. Velásquez  & Sebastián A. Ríos  & 

  2. University of Brighton, BN2 4GJ, Brighton, UK

    Robert J. Howlett

  3. University of South Australia, 5095, Mawson Lakes, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Babenyshev, S., Rybakov, V. (2009). Describing Evolutions of Multi-Agent Systems. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04595-0_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04595-0_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04594-3

  • Online ISBN: 978-3-642-04595-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation