Using Perseus System for Modelling Epistemic Interactions

  • Magdalena Kacprzak
  • Piotr Kulicki
  • Robert Trypuz
  • Katarzyna Budzynska
  • Pawel Garbacz
  • Marek Lechniak
  • Pawel Rembelski
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

knowledge representation dynamic epistemic logic multi agent systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baltag, A., Moss, L.: Logics for epistemic programs. Knowledge, Rationality & Action. Synthese 139, 165–224 (2004)MATHMathSciNetGoogle Scholar
  2. 2.
    Budzyńska, K., Kacprzak, M.: A logic for reasoning about persuasion. Fundamenta Informaticae 85, 51–65 (2008)MATHMathSciNetGoogle Scholar
  3. 3.
    Budzyńska, K., Kacprzak, M., Rembelski, P.: Perseus. software for analyzing persuasion process. Fundamenta Informaticae 93, 65–79 (2009)MATHMathSciNetGoogle Scholar
  4. 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. 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)CrossRefGoogle Scholar
  6. 6.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (2003)Google Scholar
  7. 7.
    Meyer, J.J.C., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge University Press, Cambridge (1995)MATHCrossRefGoogle Scholar
  8. 8.
    Petty, R.E., Cacioppo, J.T.: Attitudes and Persuasion: Classic and Contemporary Approaches. Westview Press, Boulder (1996)Google Scholar
  9. 9.
    Russell, B.: On Denoting. Mind 14, 479–493 (1905)CrossRefGoogle Scholar
  10. 10.
    van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. SL, vol. 337. Springer, Heidelberg (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Magdalena Kacprzak
    • 1
  • Piotr Kulicki
    • 2
  • Robert Trypuz
    • 2
  • Katarzyna Budzynska
    • 3
  • Pawel Garbacz
    • 2
  • Marek Lechniak
    • 2
  • Pawel Rembelski
    • 1
  1. 1.Polish-Japanese Institute of Information TechnologyWarsawPoland
  2. 2.John Paul II Catholic University of LublinPoland
  3. 3.Cardinal Stefan Wyszynski University in WarsawPoland

Personalised recommendations