• About
  • Policies
  • What is openaccess
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • University Library
      • Bilkent Theses
      • Theses - Department of Computer Engineering
      • Dept. of Computer Engineering - Master's degree
      • View Item
      •   BUIR Home
      • University Library
      • Bilkent Theses
      • Theses - Department of Computer Engineering
      • Dept. of Computer Engineering - Master's degree
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Situated modeling of epistemic puzzles

      Thumbnail
      View / Download
      2.2 Mb
      Author
      Ersan, Murat
      Advisor
      Akman, Varol
      Date
      1994
      Publisher
      Bilkent University
      Language
      English
      Type
      Thesis
      Item Usage Stats
      127
      views
      102
      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
      Permalink
      http://hdl.handle.net/11693/17634
      Collections
      • Dept. of Computer Engineering - Master's degree 508
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartments

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the site administrator. Phone: (312) 290 1771
      Copyright © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy