Situated modeling of epistemic puzzles
Author
Ersan, Murat
Advisor
Akman, Varol
Date
1994Publisher
Bilkent University
Language
English
Type
ThesisItem Usage Stats
127
views
views
102
downloads
downloads
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 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.
Keywords
Epistemic Puzzles(Computational) Situation Theory
PROSIT
Knowledge Representation
Commonsense Reasoning