• About
  • Policies
  • What is open access
  • 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.

      Experiments in integrating constraints with logical reasoning for robotic planning within the twelf logical framework and the prolog language

      Thumbnail
      View / Download
      477.3 Kb
      Author(s)
      Duatepe, Mert
      Advisor
      Saranlı, Uluç
      Date
      2008
      Publisher
      Bilkent University
      Language
      English
      Type
      Thesis
      Item Usage Stats
      161
      views
      64
      downloads
      Abstract
      The underlying domain of various application areas, especially real-time systems and robotic applications, generally includes a combination of both discrete and continuous properties. In robotic applications, a large amount of different approaches are introduced to solve either a discrete planning or control theoretic problem. Only a few methods exist to solve the combination of them. Moreover, these methods fail to ensure a uniform treatment of both aspects of the domain. Therefore, there is need for a uniform framework to represent and solve such problems. A new formalism, the Constrained Intuitionistic Linear Logic (CILL), combines continuous constraint solvers with linear logic. Linear logic has a great property to handle hypotheses as resources, easily solving state transition problems. On the other hand, constraint solvers deal well with continuous problems defined as constraints. Both properties of CILL gives us powerful ways to express and reason about the robotics domain. In this thesis, we focus on the implementation of CILL in both the Twelf Logical Framework and Prolog. The reader of this thesis can find answers of why classical aspects are not proper for the robotics domain, what advantages one can gain from intuitionism and linearity, how one can define a simple robotic domain in a logical formalism, how a proof in logical system corresponds to a plan in the robotic domain, what the advantages and disadvantages of logical frameworks and Prolog have and how the implementation of CILL can or cannot be done using both Twelf Logical Framework and Prolog.
      Keywords
      Constrained intuitionistic linear logic
      Automated theorem proving
      Intuitionism
      Planning in robotics
      Logical framework
      Prolog
      Permalink
      http://hdl.handle.net/11693/14766
      Collections
      • Dept. of Computer Engineering - Master's degree 561
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCoursesThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCourses

      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 2976
      © Bilkent University - Library IT

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