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 -