331
10
10480
2
42773
document
10480
paper.ps
application/postscript
1251646
20091208 20:30:22
http://cogprints.org/331/2/paper.ps
331
2
2
application/postscript
application/postscript
public
paper.ps

http://eprints.org/relation/hasVolatileVersion
http://cogprints.org/id/document/4687

http://eprints.org/relation/haspreviewThumbnailVersion
http://cogprints.org/id/document/4687

http://eprints.org/relation/hasVersion
http://cogprints.org/id/document/4687
archive
178
disk0/00/00/03/31
19980619
20110311 08:53:49
20070912 16:26:40
journalp
show
0
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 reallife 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.
 http://www.cs.bilkent.edu.tr/~akman/jourpapers/igpl/paper.ps

Ersan
Murat

Akman
Varol
pub
computational situation theory, epistemic puzzles, common knowledge (mutual information), PROSIT (programming in situation theory), the Three Wisemen Problem, the CensusTaker Problem, the Cheating Husbands Puzzle, the Facing Logicians Puzzle.
1
5176
FALSE
Bulletin of the IGPL
TRUE
 compsciartintel
 compscilang
 lingcomput
 lingsem
 phillang
 phillogic
Situated Modeling of Epistemic Puzzles
3
published
199503
public