Combined task and motion planning as classical AI planning

Mostra el registre complet Registre parcial de l'ítem

• dc.contributor.author Ferrer Mestres, Jonathan
• dc.contributor.other Geffner, Héctor
• dc.contributor.other Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions
• dc.date.accessioned 2024-03-16T02:34:55Z
• dc.date.available 2024-03-16T02:34:55Z
• dc.date.issued 2018-05-17T10:41:25Z
• dc.date.issued 2018-05-17T10:41:25Z
• dc.date.issued 2018-05-09
• dc.date.modified 2024-03-15T10:58:07Z
• dc.description.abstract Planning in robotics is often split into task and motion planning. The task planner decides what needs to be done, while the motion planner fills up geometric details. However, such a decomposition is not effective in general as the symbolic and geometrical components are not independent. This dissertations shows that it is possible to compile combined task and motion planning problems (CTMP) into classical planning problems; i.e., planning problems over finite and discrete state spaces with a known initial state, deterministic actions, and goal states to be reached. Motion planners and collision checkers are used for the compilation, but not at planning time. What makes our approach effective is 1) a fully compilation of CTMP problems into classical planning problems, 2) expressive classical planning languages for representing compiled problems, using functions and state constraints, 3) general planning algorithms capable of finding plans for CTMP problems using domain-independent heuristics.
• dc.description.abstract La planificació en robòtica es divideix en planificació de tasques i planificació de moviments. El planificador de tasques decideix que és el que s’ha de fer, mentre el planificador de moviments s’encarrega dels detalls geomètrics. Aquesta descomposició no és efectiva, ja que els components simbòlics i geomètrics no són independents. En aquesta tesi, demostrem que és possible compilar problemes de planificació de tasques i moviments a problemes de planificació clàssica, és a dir, problemes sobre un espai d’estats finit, amb coneixement de l’estat inicial i accions deterministes. En aquesta proposta, els planificadors de moviments només s’utilitzen durant la compilació, no durant la cerca. El que fa aquesta tesi robusta és: 1) un procés de compilació de problemes de planificació de tasques i moviments a problemes de planificació clàssica, 2) uns llenguatges expressius per representar problemes compilats, utilitzant funcions i restriccions d’estats, 3) algorismes de cerca amb heurístiques independents del domini.
• dc.description.abstract Programa de doctorat en Tecnologies de la Informació i les Comunicacions
• dc.format 150 p.
• dc.format application/pdf
• dc.format application/pdf
• dc.identifier http://hdl.handle.net/10803/563078
• dc.identifier.uri http://hdl.handle.net/10230/34695
• dc.language.iso eng
• dc.publisher Universitat Pompeu Fabra
• dc.rights L'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-nd/4.0/
• dc.rights http://creativecommons.org/licenses/by-nc-nd/4.0/
• dc.rights info:eu-repo/semantics/openAccess
• dc.source TDX (Tesis Doctorals en Xarxa)
• dc.subject.keyword Combined task and motion planning
• dc.subject.keyword Task planning
• dc.subject.keyword Motion planning
• dc.subject.keyword Heuristic planning
• dc.subject.keyword State constraints
• dc.subject.keyword Classical planning
• dc.subject.keyword Robotics
• dc.subject.keyword Modeling task and motion problems
• dc.subject.keyword Combinació de planificació de tasques i moviments
• dc.subject.keyword Planificació de tasques
• dc.subject.keyword Planificació de moviments
• dc.subject.keyword Planificació heurística
• dc.subject.keyword Restriccions d'estats
• dc.subject.keyword Planificació clàssica
• dc.subject.keyword Robòtica
• dc.subject.keyword Modelar problemes de tasques i moviments
• dc.subject.keyword 62
• dc.title Combined task and motion planning as classical AI planning
• dc.type info:eu-repo/semantics/doctoralThesis
• dc.type info:eu-repo/semantics/publishedVersion