Situated Modeling of Epistemic Puzzles

Simple item page
dc.creatorErsan, Murat
dc.creatorAkman, Varol
dc.date1994-09-07
dc.date.accessioned2026-07-07T09:09:31Z
dc.date.available2026-07-07T09:09:31Z
dc.descriptionSituation theory is a mathematical theory of meaning introduced by Jon Barwise and John Perry. It has evoked great theoretical and practical 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 examine how much PROSIT reflects situation-theoretic concepts and solve a group of epistemic puzzles using the constructs provided by this programming language.
dc.descriptioniii + 49 pages, compressed, uuencoded Postscript file; revised version of the first author's Bilkent M.S. thesis, written under the supervision of the second author; notify Akman via e-mail (akman@cs.bilkent.edu.tr) or fax (+90-312-266-4126) if you are unable to obtain hardcopy, he'll work out something
dc.identifierhttps://arxiv.org/abs/cmp-lg/9409006
dc.identifierhttp://arxiv.org/abs/cmp-lg/9409006
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/151065
dc.subjectComputation and Language
dc.titleSituated Modeling of Epistemic Puzzles
dc.typetext

Files

Collections

arXiv