Skip to main content
SpringerLink
Log in
Book cover

German Conference on Multiagent System Technologies

MATES 2009: Multiagent System Technologies pp 177–182Cite as

Towards a Verification Framework for Communicating Rational Agents

  • Conference paper

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

Abstract

We present an abstract framework for verifying communicative actions for rational agent programming languages. Firstly, a multi-agent verification logic based on the computational semantics is introduced; and subsequently, this multi-agent logic is embedded into a more expressive modal logic over a standard run-based semantics. We formally relate both logics, prove expressivity results, and argue why it is useful to have a (more expressive) standard modal logic and semantics at hand.

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. Bulling, N., Hindriks, K.V.: Communicating Rational Agents: Semantics and Verification. Technical Report, Clausthal, Germany, Clausthal University of Technology (2009)

    Google Scholar 

  2. Cohen, P.R., Levesque, H.J.: Communicative actions for artificial agents. In: Proc. of the 1st Int. Conf. on Multi-agent Systems, ICMAS 1995 (1995)

    Google Scholar 

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

    MATH  Google Scholar 

  4. Hindriks, K.V., van Riemsdijk, M.B.: A Computational Semantics for Communicating Rational Agents Based on Mental Models. In: The 7th International Workshop on Programming Multiagent Systems, ProMAS 2009 (2009)

    Google Scholar 

  5. Hindriks, K.V., van der Hoek, W.: Goal agents instantiate intention logic. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 232–244. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Meyer, J.-J.C.: Our quest for the holy grail of agent verification. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol. 4548, pp. 2–9. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Singh, M.P.: Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications. Springer, Heidelberg (1994)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, Clausthal University of Technology, Germany

    Nils Bulling

  2. Faculty Electrical Engineering, Mathematics and Computer Science, Delft University of Technology, The Netherlands

    Koen V. Hindriks

Authors
  1. Nils Bulling
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Koen V. Hindriks
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Distributed Systems and Information Systems, Computer Science Department, University of Hamburg, Hamburg, Germany

    Lars Braubach

  2. University of Liverpool, United Kingdom

    Wiebe van der Hoek

  3. Austrian Research Institute for Artificial Intelligence (OFAI), Freyung 6/6, A-1010, Vienna, Austria

    Paolo Petta

  4. Distributed Systems and Information Systems, University of Hamburg, Hamburg, Germany

    Alexander Pokahr

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bulling, N., Hindriks, K.V. (2009). Towards a Verification Framework for Communicating Rational Agents. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds) Multiagent System Technologies. MATES 2009. Lecture Notes in Computer Science(), vol 5774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04143-3_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04143-3_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04142-6

  • Online ISBN: 978-3-642-04143-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation