Situated Modeling of Epistemic Puzzles
<|reference_start|>Situated Modeling of Epistemic Puzzles: Situation 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.<|reference_end|>
@article{ersan1994situated,
    title={Situated Modeling of Epistemic Puzzles},
    author={Murat Ersan (Brown University) and Varol Akman (Bilkent University,
  Ankara)},
    journal={arXiv preprint arXiv:cmp-lg/9409006},
    year={1994},
    number={BU-CEIS-94-30},
    archivePrefix={arXiv},
    eprint={cmp-lg/9409006},
    primaryClass={cmp-lg cs.CL}
}