Modeling intelligent agent beliefs in a card game scenario
Marcel Gołuński, Roman Tomanek, Piotr Wąsiewicz · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2012
In this paper we explore the problem of intelligent agent beliefs. We model agent beliefs using multimodal logics of belief, KD45(m) system implemented as a directed graph depicting Kripke semantics, precisely. We present a card game engine application which allows multiple agents to connect to a given game session and play the card game. As an example simplified version of popular Saboteur card game is used. Implementation was done in Java language using following libraries and applications: Apache Mina, LWJGL.