Computing infinite plans for LTL goals using a classical planner

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Patrizini, Fabioca
• dc.contributor.author Lipovetzky, Nirca
• dc.contributor.author Giacomo, Giuseppe deca
• dc.contributor.author Geffner, Héctorca
• dc.date.accessioned 2012-12-10T11:52:49Z
• dc.date.available 2012-12-10T11:52:49Z
• dc.date.issued 2011ca
• dc.description.abstract Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planning/ndomain and the B¨uchi automaton representing/nthe goal. This compilation scheme has been implemented and a number of experiments are reported.en
• dc.description.sponsorship This work was partially supported by grants TIN2009-10232, MICINN, Spain, EC-7PM-SpaceBook, and EU Programme FP7/2007-2013, 257593 (ACSI).en
• dc.format.extent 6 p.
• dc.format.mimetype application/pdfca
• dc.identifier.citation Patrizi F, Lipovetzky N, Giacomo G, Geffner H. Computing infinite plans for LTL goals using a classical planner. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence; july 16-22, 2011; Barcelona. Menlo Park, California: AAAI Press ; 2011. p. 2003-2008.ca
• dc.identifier.doi http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-334
• dc.identifier.uri http://hdl.handle.net/10230/19944
• dc.language.iso engca
• dc.publisher Association for the Advancement of Artificial Intelligence (AAAI)ca
• dc.relation.ispartof Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence; july 16-22, 2011; Barcelona. Menlo Park, California: AAAI Press ; 2011. p. 2003-2008.
• dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/257593
• dc.rights © 2011 Association for the Advancement of Artificial Intelligence (www.aaai.org)ca
• dc.rights.accessRights info:eu-repo/semantics/openAccess
• dc.subject.other Intel·ligència artificial
• dc.subject.other Planificació -- Informàtica
• dc.title Computing infinite plans for LTL goals using a classical plannerca
• dc.type info:eu-repo/semantics/conferenceObjectca
• dc.type.version info:eu-repo/semantics/acceptedVersionca