Skip to main content
SpringerLink
Log in

Modal Operators with Adaptable Semantics for Multi-agent Systems

  • Conference paper
AI*IA 2005: Advances in Artificial Intelligence (AI*IA 2005)

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

Included in the following conference series:

  • 674 Accesses

Abstract

We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual type of operators that present important features for capturing concurrency, independence, collaboration, and coordination between agents. The main goal of this paper is to study the semantics of these operators and to show how it can be adapted to capture different types of agents. The formalism allows a formal comparison of a variety of multi-agent systems.

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

Access this chapter

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 23–60. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  2. Borgo, S.: Concurrency with partial information. In: Mohammadian, M. (ed.) CIMCA 2003, pp. 170–181 (2003)

    Google Scholar 

  3. Borgo, S.: A multi-agent modal language for concurrency with non-communicating agents. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 40–50. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Borgo, S.: Quantificational modal logic with sequential kripke semantics. Journal of Applied Non-Classical Logics 15(2), 137–188 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  5. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  6. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  7. Henkin, L.: Some remarks on infinitely long formulas. In: Infinitistic Methods, pp. 167–183. Pergamon Press, Warsaw (1961)

    Google Scholar 

  8. Krynicki, M., Mostowski, M.: Henkin quantifiers. In: Krynicki, M., Mostowski, M. (eds.) Quantifiers: Logics, Models and Computation, pp. 193–262. Kluwer Academic Publishers, Dordrecht (1995)

    Google Scholar 

  9. Pauly, M.: A modal logic for coalitional power in games. J. of Logic and Computation 12(1), 149–166 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  10. Rao, A., Georgeff, M.: Modeling rational agents within a bdi-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  11. van der Hoek, W., Verbrugge, R.: Epistemic logic: a survey. In: Petrosjan, L., Mazalov, V. (eds.) Game Theory and Applications, pp. 53–94. Nova Science Publishers, Bombay (2002)

    Google Scholar 

  12. van der Hoek, W., Wooldridge, M.J.: Towards a logic of rational agency. L. J. of the IGPL 11(2), 135–159 (2003)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LOA (ISTC-CNR), via Solteri 38, 38100, Trento, Italy

    S. Borgo

Authors
  1. S. Borgo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Center on Complex Systems and Artificial Intelligence (CSAI) Department of Computer Science, Systems and Communication (DISCo), University of Milan, Bicocca viale Sarca, 336, 20126, Milan, (Italy)

    Stefania Bandini

  2. CSAI - Complex Systems & Artificial Intelligence Research Centre, University of Milano–Bicocca,  

    Sara Manzoni

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Borgo, S. (2005). Modal Operators with Adaptable Semantics for Multi-agent Systems. In: Bandini, S., Manzoni, S. (eds) AI*IA 2005: Advances in Artificial Intelligence. AI*IA 2005. Lecture Notes in Computer Science(), vol 3673. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558590_20

Download citation

  • DOI: https://doi.org/10.1007/11558590_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29041-4

  • Online ISBN: 978-3-540-31733-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation