Situated modeling of epistemic puzzles
Date
1994
Authors
Advisor
Instructor
Source Title
Print ISSN
Electronic ISSN
Publisher
Bilkent University
Volume
Issue
Pages
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
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.
Course
Other identifiers
Book Title
Keywords
Epistemic Puzzles, (Computational) Situation Theory, PROSIT, Knowledge Representation, Commonsense Reasoning