TY - GEN ID - cogprints331 UR - http://cogprints.org/331/ A1 - Ersan, Murat A1 - Akman, Varol Y1 - 1995/03// N2 - Situation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical interest and motivated the framework of a few `computational' systems. PROSIT is the pioneering work in this direction. Unfortunately, there is a lack of real-life applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we solve a group of epistemic puzzles using the constructs provided by PROSIT. KW - computational situation theory KW - epistemic puzzles KW - common knowledge (mutual information) KW - PROSIT (programming in situation theory) KW - the Three Wisemen Problem KW - the Census-Taker Problem KW - the Cheating Husbands Puzzle KW - the Facing Logicians Puzzle. TI - Situated Modeling of Epistemic Puzzles SP - 51 AV - public EP - 76 ER -