Affordable Access

Situated Modeling of Epistemic Puzzles

Publication Date
  • Artificial Intelligence
  • Language
  • Computational Linguistics
  • Semantics
  • Philosophy Of Language
  • Logic
  • Computer Science
  • Mathematics


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.

There are no comments yet on this publication. Be the first to share your thoughts.