Formalization of the traffic world in the C action language

Simple item page
buir.advisorAkman, Varol
dc.contributor.authorErdoğan, Selim T.
dc.date.accessioned2016-01-08T20:17:27Z
dc.date.available2016-01-08T20:17:27Z
dc.date.issued2000
dc.departmentDepartment of Computer Engineeringen_US
dc.descriptionAnkara : The Department of Computer Engineering and the Institute of Engineering and Science of Bilkent Univ., 2000.en_US
dc.descriptionThesis (Master's) -- Bilkent University, 2000.en_US
dc.descriptionIncludes bibliographical references (leaves 79-82).en_US
dc.description.abstractReasoning about actions and effects of actions is an important task in Artifical Intelligence, with connections to knowledge representation and planning. Many formal methods for representing actions and inferring their effects have been developed over the years (e.g. action languages, fluent calculus, situation calculus). Howewer, the examples formalized so far have been "toy" domains of very small sizes. Successful formalizations of scenarios of nontrivial size are needed in order to show that these methods are suitable for real applications and to assess the strong and weak sides of different methods. The C action language is a logic programming language designed to represent the effects of actions on fluents. In this thesis we formalize the TRAFFIC scenario world - a domain of moderate size, specified at the Logic Modelling Workshop at http://www.ida.liu.se/ext/etai/lmw/ - using the C action language. Example planning problems using the formalization are successfully solved using the Causal Calculator - available at http://www.cs.utexas.edu/users/tag/cc/ -, a program for planning and querying in action domains. The formalization is contrasted with previous work on the TRAFFIC world, namely the formalization of A. Henschel and M. Thielscher using the fluent calculus.
dc.description.degreeM.S.en_US
dc.description.statementofresponsibilityby Selim T. Erdoğanen_US
dc.format.extentxiii, 82 leaves ; 30 cm.en_US
dc.identifier.itemidB052997
dc.identifier.urihttp://hdl.handle.net/11693/18230
dc.language.isoEnglishen_US
dc.publisherBilkent Universityen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectAction languages
dc.subjectPlanning
dc.subjectCausal reasoning
dc.subjectKnowledge representation
dc.subjectC
dc.subjectCausal calculator
dc.subjectTRAFFIC
dc.subjectLogic Modelling Workshop
dc.titleFormalization of the traffic world in the C action languageen_US
dc.title.alternativeTRAFFIC dünyasının C eylem dilinde biçimselleştirilmesi
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
B052997.pdf
Size:
1.93 MB
Format:
Adobe Portable Document Format
Description:
Full printable version
Download

Collections

Dept. of Computer Engineering - Master's degree