Skip to main content
SpringerLink
Log in

Logical Analysis of Multi-agent Kripke Structures

  • Chapter
Agent and Multi-agent Technology for Internet and Enterprise Systems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 289))

  • 830 Accesses

Abstract

The last three decades witnessed a gradual shift from standalone-computer focused computations towards more and more distributed computational environment. This ever quickening shift brings new technological and theoretical challenges. Instead of seeing the computational system as completely controllable, which if malfunctioned should and can be immediately fixed, the contemporary user has to accept, sometimes grudgingly, the fact that the major part of her everyday computational environment is completely out of control or any reach. This feature brings up the question of how such environments can be organized to function efficiently. The metaphor of multi-agent system is one of the answers for these conceptual challenges. In this chapter we discuss several interdependent theoretical tools that modern mathematical logic and computer science can suggest for formalizing the informal notion of multi-agent system. We start by explaining how the modal propositional language may be used to specify the behavior of the processes, then we introduce formally the Kripke semantics for modal languages. Further we discuss different techniques of combining simple modal languages into complex ones, more suitable for practical purposes, and conclude with an extended example, illustrating the major points of the abovementioned techniques.

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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. Arisha, K., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.: Impact: A platform for collaborating agents. IEEE Intelligent Systems 14(3), 64–72 (1999)

    Google Scholar 

  2. Avouris, N.M.: Co-operation knowledge-based systems for environmental decision-support. Knowledge-Based Systems 8(1), 39–53 (1995)

    Article  Google Scholar 

  3. Blackburn, P., de Rijke, M.: Zooming in, zooming out. Journal of Logic, Language and Information 6, 5–31 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  4. Blackburn, P., de Rijke, M., Venema, Y. (eds.): Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  5. Bugarin, A.J., Barro, S.: Fuzzy reasoning supported by petri nets. IEEE Transactions on Fuzzy Systems 2(2), 135–150 (1994)

    Article  Google Scholar 

  6. Caleiro, C., Carnielli, W.A., Rasga, J., Sernadas, C.: Fibring of logics as a univrersal construction. In: Gabbay, D.M., Guenther, F. (eds.) Combination of Logics. Handbook of Philosopical Logic, vol. 13. Kluwer, Dordrecht (2005)

    Google Scholar 

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

    MATH  Google Scholar 

  8. Cortés, U., Sánchez-Marré, M., Ceccaroni, L.: Artificial intelligence and environmental decision support systems. Applied Intelligence 13(1), 77–91 (2000)

    Article  Google Scholar 

  9. Dubois, D., Prade, H.: The three semantics of fuzzy sets. Fuzzy Sets and Systems 90(2), 141–150 (1997)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  11. Fine, K.: Logics containing k4, part i. Journal of Symbolic Logic 39(1), 31–42 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  12. Gabbay, D.M.: Fibred semantics and the weaving of logics, part 1: Modal and intuitionistic logics. The Journal of Symbolic Logic 61(4), 1057–1120 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  13. Gabbay, D.M.: An Overview of Fibred Semantics and the Combinations of Logics. In: Frontiers of Combining Systems. Applied Logic Series, vol. 3, pp. 1–55. Kluwer Academic Publishers, Dordrecht (1996)

    Google Scholar 

  14. Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)

    MATH  Google Scholar 

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

  16. Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes, vol. 7. CSLI (1992)

    Google Scholar 

  17. Goldblatt, R.: Mathematical modal logic: A view of its evolution. Journal of Applied Logic 1(5-6), 309–392 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  18. Harmelem, F., Horrocks, I.: The semantic web and its languages-faqs on oil: The ontology inference layer. IEEE Intelligent Systems 15(6), 69–72 (2000)

    Google Scholar 

  19. Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16(2), 30–37 (2001)

    Google Scholar 

  20. Hintikka, J., Vandamme, F.: Logic of Discovery and Logic of Discourse. Springer, Heidelberg (1986)

    Google Scholar 

  21. Kurz, A.: Coalgebras and Modal Logic. CWI, http://www.cwi.nl/~kurz

  22. Libkin, L.: Elements of Finite Model Theory. EATCS. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  23. Ohsawa, Y., McBurney, P. (eds.): Chance Discovery. Advanced Information Processing. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  24. Rybakov, V.: Logic of discovery in uncertain situations—deciding algorithms. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 950–958. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Rybakov, V.: Since-until temporal logic based on parallel time with common past. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 486–497. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. Rybakov, V.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  MathSciNet  Google Scholar 

  27. Rybakov, V.V.: Admissible Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol. 136. Elsevier Sci. Publ., North-Holland (1997)

    Google Scholar 

  28. Rybakov, V.V.: Construction of an explicit basis for rules admissible in modal system s4. Mathematical Logic Quarterly 47(4), 441–451 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  29. Rybakov, V.V.: Logical consecutions in discrete linear temporal logic. Journal of Symbolic Logic 70(4), 1137–1149 (2005)

    Article  MATH  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

  31. Rybakov, V.V.: Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol. 3967, pp. 322–334. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  32. Thomason, S.K.: Semantic analysis of tense logic. Journal of Symbolic Logic 37(1) (1972)

    Google Scholar 

  33. van Benthem, J.: Modal Correspondence Theory. PhD thesis, University of Amsterdam (1976)

    Google Scholar 

  34. van Benthem, J.: The Logic of Time. Synthese Library, vol. 156. Reidel, Dordrecht (1983)

    MATH  Google Scholar 

  35. van Benthem, J.: Modal Logic and Classical Logic. Bibliopolis, Naples (1983)

    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 & Vladimir Rybakov

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

    Sergey Babenyshev & 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.   , Department of Computer and Systems Sciences, Forum 100, SE-164 40, Kista, Sweden

    Anne Hãkansson

  2. Division of Computer and Information Sciences, Franklin University , 43224, Columbus Ohio, USA

    Ronald Hartung

  3. Institute of Computer Science, Wroclaw University of Technology , Str.Wyb.Wypsianskiego 27, 50-370, Wroclaw, Poland

    Ngoc Thanh Nguyen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Babenyshev, S., Rybakov, V. (2010). Logical Analysis of Multi-agent Kripke Structures. In: Hãkansson, A., Hartung, R., Nguyen, N.T. (eds) Agent and Multi-agent Technology for Internet and Enterprise Systems. Studies in Computational Intelligence, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13526-2_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13526-2_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13525-5

  • Online ISBN: 978-3-642-13526-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation