Browsing by Subject "PROSIT"

Filter results by typing the first few letters
Now showing 1 - 2 of 2
  • Thumbnail Image
    ItemOpen Access
    Situated modeling of epistemic puzzles
    (1994) Ersan, Murat
    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 reallife applications on these systems and this study is a preliminary attempt to remedy this deficiency. Here, we examine how much PROSIT reflects situationtheoretic concepts and solve a group of epistemic puzzles, using the constructs provided by this programming language.
  • Thumbnail Image
    ItemOpen Access
    Situated modeling of epistemic puzzles
    (1995) Ersan, M.; Akman, V.
    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 de ciency. Here, we solve a group of epistemic puzzle using the constructs provided by PROSIT