creators_name: Ersan, Murat creators_name: Akman, Varol type: journalp datestamp: 1998-06-19 lastmod: 2011-03-11 08:53:49 metadata_visibility: show title: Situated Modeling of Epistemic Puzzles ispublished: pub subjects: comp-sci-art-intel subjects: comp-sci-lang subjects: ling-comput subjects: ling-sem subjects: phil-lang subjects: phil-logic full_text_status: public keywords: computational situation theory, epistemic puzzles, common knowledge (mutual information), PROSIT (programming in situation theory), the Three Wisemen Problem, the Census-Taker Problem, the Cheating Husbands Puzzle, the Facing Logicians Puzzle. abstract: 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. date: 1995-03 date_type: published publication: Bulletin of the IGPL volume: 3 number: 1 pagerange: 51-76 refereed: TRUE citation: Ersan, Murat and Akman, Varol (1995) Situated Modeling of Epistemic Puzzles. [Journal (Paginated)] document_url: http://cogprints.org/331/2/paper.ps