---
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."
altloc:
  - http://www.cs.bilkent.edu.tr/~akman/jour-papers/igpl/paper.ps
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Ersan
    given: Murat
    honourific: ''
    lineage: ''
  - family: Akman
    given: Varol
    honourific: ''
    lineage: ''
date: 1995-03
date_type: published
datestamp: 1998-06-19
department: ~
dir: disk0/00/00/03/31
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 331
fileinfo: /style/images/fileicons/application_postscript.png;/331/2/paper.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
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.'
lastmod: 2011-03-11 08:53:49
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: 1
pagerange: 51-76
pubdom: FALSE
publication: Bulletin of the IGPL
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 10
series: ~
source: ~
status_changed: 2007-09-12 16:26:40
subjects:
  - comp-sci-art-intel
  - comp-sci-lang
  - ling-comput
  - ling-sem
  - phil-lang
  - phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Situated Modeling of Epistemic Puzzles
type: journalp
userid: 178
volume: 3
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>