Ersan, Murat2016-01-082016-01-081994http://hdl.handle.net/11693/17634Cataloged from PDF version of article.Includes bibliographical references leaves 67-72Situation 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.viii, 72 leavesEnglishinfo:eu-repo/semantics/openAccessEpistemic Puzzles(Computational) Situation TheoryPROSITKnowledge RepresentationCommonsense ReasoningQ360 .E37 1994Logic,symbolic and mathematical.Information theory--Mathematics.Logic.Situation (Philosophy)Thesis