Situated Modeling of Epistemic Puzzles

Ersan, Murat and Akman, Varol (1995) Situated Modeling of Epistemic Puzzles. [Journal (Paginated)]

Full text available as:

[img] Postscript


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.

Item Type:Journal (Paginated)
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.
Subjects:Computer Science > Artificial Intelligence
Computer Science > Language
Linguistics > Computational Linguistics
Linguistics > Semantics
Philosophy > Philosophy of Language
Philosophy > Logic
ID Code:331
Deposited By: Akman, Varol
Deposited On:19 Jun 1998
Last Modified:11 Mar 2011 08:53


Repository Staff Only: item control page