Show simple item record

dc.contributor.advisorSaranlı, Uluç
dc.contributor.authorDuatepe, Mert
dc.date.accessioned2016-01-08T18:07:38Z
dc.date.available2016-01-08T18:07:38Z
dc.date.issued2008
dc.identifier.urihttp://hdl.handle.net/11693/14766
dc.descriptionAnkara : The Department of Computer Engineering and the Institute of Engineering and Sciences of Bilkent University, 2008.en_US
dc.descriptionThesis (Master's) -- Bilkent University, 2008.en_US
dc.descriptionIncludes bibliographical references leaves 92-96.en_US
dc.description.abstractThe 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.en_US
dc.description.statementofresponsibilityDuatepe, Merten_US
dc.format.extentxi, 96 leaves, tablesen_US
dc.language.isoen_USen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectConstrained intuitionistic linear logicen_US
dc.subjectAutomated theorem provingen_US
dc.subjectIntuitionismen_US
dc.subjectPlanning in roboticsen_US
dc.subjectLogical frameworken_US
dc.subjectPrologen_US
dc.subject.lccTJ211 .D83 2008en_US
dc.subject.lcshRobotics.en_US
dc.subject.lcshRobots--Programming.en_US
dc.subject.lcshFrames (Information theory)en_US
dc.subject.lcshReasoning--Data processing.en_US
dc.subject.lcshLogic, Symbolic and mathematical.en_US
dc.subject.lcshProlog (Computer program language)en_US
dc.titleExperiments in integrating constraints with logical reasoning for robotic planning within the twelf logical framework and the prolog languageen_US
dc.typeThesisen_US
dc.departmentDepartment of Computer Engineeringen_US
dc.publisherBilkent Universityen_US
dc.description.degreeM.S.en_US
dc.identifier.itemidBILKUTUPB109820


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record