Skip to main content
SpringerLink
Log in

Using Perseus System for Modelling Epistemic Interactions

  • Conference paper
Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2010)

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

Abstract

The aim of the paper is to apply the software tool Perseus to modelling of epistemic interactions. We focus on the issue of agents’ knowledge acquisition, using a logical puzzle in which agents increase their knowledge about hats they wear. In the paper, first we present a model of epistemic interactions, which allows to resolve the hats puzzle. Then, the model is used to build the problem’s specification for the Perseus system. Finally, we show how the hats puzzle can be resolved and analysed in a detailed way with the use of a parametric verification method executed by the tool Perseus.

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baltag, A., Moss, L.: Logics for epistemic programs. Knowledge, Rationality & Action. Synthese 139, 165–224 (2004)

    MATH  MathSciNet  Google Scholar 

  2. Budzyńska, K., Kacprzak, M.: A logic for reasoning about persuasion. Fundamenta Informaticae 85, 51–65 (2008)

    MATH  MathSciNet  Google Scholar 

  3. Budzyńska, K., Kacprzak, M., Rembelski, P.: Perseus. software for analyzing persuasion process. Fundamenta Informaticae 93, 65–79 (2009)

    MATH  MathSciNet  Google Scholar 

  4. Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R.: A formal model for epistemic interactions. In: Nguyen, N.T., Katarzyniak, R., Janiak, A. (eds.) ICCCI 2009. SCI, vol. 244, pp. 205–216. Springer, Heidelberg (2009)

    Google Scholar 

  5. Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R.: Beyond public announcement logic, an alternative approach to some ai puzzles. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS (LNAI), vol. 5803, pp. 379–386. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (2003)

    Google Scholar 

  7. Meyer, J.J.C., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge University Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  8. Petty, R.E., Cacioppo, J.T.: Attitudes and Persuasion: Classic and Contemporary Approaches. Westview Press, Boulder (1996)

    Google Scholar 

  9. Russell, B.: On Denoting. Mind 14, 479–493 (1905)

    Article  Google Scholar 

  10. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. SL, vol. 337. Springer, Heidelberg (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Polish-Japanese Institute of Information Technology, Warsaw, Poland

    Magdalena Kacprzak & Pawel Rembelski

  2. John Paul II Catholic University of Lublin, Poland

    Piotr Kulicki, Robert Trypuz, Pawel Garbacz & Marek Lechniak

  3. Cardinal Stefan Wyszynski University in Warsaw, Poland

    Katarzyna Budzynska

Authors
  1. Magdalena Kacprzak
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Piotr Kulicki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Trypuz
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Katarzyna Budzynska
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Pawel Garbacz
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Marek Lechniak
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Pawel Rembelski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gdynia Maritime University, 81-221, Gdynia, Poland

    Piotr Jędrzejowicz

  2. Institute of Informatics, Wroclaw University of Technology, Str. Wyb. Wyspianskiego 27, 50-370, Wroclaw, Poland

    Ngoc Thanh Nguyen

  3. University of Brighton, BN2 4GJ, Brighton, United Kingdom

    Robert J. Howlet

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

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kacprzak, M. et al. (2010). Using Perseus System for Modelling Epistemic Interactions. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2010. Lecture Notes in Computer Science(), vol 6070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13480-7_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13480-7_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13479-1

  • Online ISBN: 978-3-642-13480-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation