arXiv · cmp-lg/9409006
Situated Modeling of Epistemic Puzzles
Abstract
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Murat Ersan, Varol Akman. 1994-09-07. Situated Modeling of Epistemic Puzzles. https://arxiv.org/abs/cmp-lg/9409006
Cite the original work for its findings. Save a collection to share your selection of sources.