Cogprints

Situated Modeling of Epistemic Puzzles

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

Full text available as:

[img]Postscript
1222Kb

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.

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

Metadata

Repository Staff Only: item control page