Show simple item record

dc.contributor.authorPolleres, Axelen
dc.date.accessioned2016-06-27T19:03:08Zen
dc.date.available2016-06-27T19:03:08Zen
dc.date.submitted2003-08-27en
dc.identifiereprint:16en
dc.identifier.urihttp://hdl.handle.net/10919/71477en
dc.description.abstractPlanning is a challenging research area since the early days of Artificial Intelligence. The planning problem is the task of finding a sequence of actions leading an agent from a given initial state to a desired goal state. Whereas classical planning adopts restricting assumptions such as complete knowledge about the initial state and deterministic action effects, in real world scenarios we often have to face incomplete knowledge and non-determinism. Classical planning languages and algorithms do not take these facts into account. So, there is a strong need for formal languages describing such non-classical planning problems on the one hand and for (declarative) methods for solving these problems on the other hand.In this thesis, we present the action language Kc, which is based on flexible action languages from the knowledge representation community and extends these by useful concepts from logic programming.We define two basic semantics for this language which reflect optimistic and secure (i.e. sceptical) plans in presence of incomplete information or nondeterminism. These basic semantics are furthermore extended to planning with action costs, where each action can have an assigned cost value. Here, we address optimal plans as well as plans which stay within a certain overall cost limit.Next, we develop efficient (i.e. polynomial) transformations from planning problems described in our language Kc to disjunctive logic programs which are then evaluated under the so-called Answer Set Semantics. In this context, we introduce a general new method for problem solving in Answer Set Programming (ASP) which takes the genuine "guess and check" paradigm in ASP into account and allows us to integrate separate "guess" and "check" programs into a single logic program. Based on these methods, we have implemented the planning system DLVK. We discuss problem solving and knowledge representation in Kc using DLVK by means of several examples. The proposed methods and the DLVK system are also evaluated experimentally and compared against related approaches. Finally, we present a practical application scenario from the area of design and monitoring of multi-agent systems. As we will see, this monitoring approach is not restricted to our particular formalism.en
dc.description.sponsorshipAustrian Science Funds (FWF)en
dc.format.extent271 pagesen
dc.format.mimetypeapplication/pdfen
dc.language.isoenen
dc.relation.urihttp://www.tuwien.ac.at/en
dc.relation.urihttp://www.kr.tuwien.ac.at/en
dc.relation.urihttp://www.polleres.net/en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subjectAnswer Set programmingen
dc.subjectAI Planningen
dc.subjectDLVen
dc.subjectDeclarative Logic Progammingen
dc.subjectConformant Planningen
dc.subjectPlanning with Action Costsen
dc.subject.lccQA75en
dc.titleAdvances in Answer Set Planningen
dc.typeDissertationen
dc.contributor.departmentKnowledge Based Systems Group - E184/3, Institute of Information Systems, Computer Science Departmenten
thesis.degree.namePhDen
thesis.degree.leveldoctoralen
thesis.degree.grantorVienna University of Technology, Austriaen
dc.identifier.sourceurlhttp://www.polleres.net/publications/poll-2003-thesis.pdfen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record