• 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.

      Utilization of the MVL system in qualitative reasoning about the physical world

      Thumbnail
      View / Download
      1.5 Mb
      Author
      Şencan, Mine Ülkü
      Advisor
      Akman, Varol
      Date
      1993
      Publisher
      Bilkent University
      Language
      English
      Type
      Thesis
      Item Usage Stats
      95
      views
      414
      downloads
      Abstract
      An experimental progra.m, QRM, has been implemented using the inference mechanism of the Multivalued Logics (MVL) Theorem Proving System of Matthew Ginsberg. QRM has suitable facilities to reason about dynamical systems in qualitative terms. It uses Kenneth Forbus’s Qualitative Process Theory (QPT) to describe a physical system and constructs the envisionment tree for a given initial situation. In this thesis, we concentrate on knowledge representation issues, and basic qualitative reasoning tasks based on QPT. We offer some insights about what MVL can provide for writing Qualitative Physics programs.
      Keywords
      Multivalued Logics (MVL)
      Qualitative Process Theory (QPT)
      Qualitative Physics
      Envisioning
      Cornmonsense Reasoning
      Permalink
      http://hdl.handle.net/11693/17455
      Collections
      • Dept. of Computer Engineering - Master's degree 516
      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
      © Bilkent University - Library IT

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