Petrobras Planning Domain: PDDL Modeling and Solving

Abstract

Práce se zabývá doménou Petrobras definovanou pro soutěž ICKEPS 2012. Popisuje příklad těžkého problému, který stojí na hranici mezi rozvrhováním a plánováním. Popisuje state-of-art techniky moderní umělé inteligence, které byly vybrány pro tento účel. Dále práce provází čtenáře procesem modelování v doméně Petrobras v jazyce PDDL a vysvětluje výsledky získané existujícími nástroji používanými v rámci komunity zabývající se plánováním. V závěru exper- imentálně srovnává výsledky zvoleného přístupu a ostatních přístupů používaných v soutěži ICKEPS 2012, které poukazují na použitelnost existujících sekvenčních plánovacích systémů pouze na malé instance problémů z řešené domény.

The thesis explores Petrobras domain from the challenge track of the ICKEPS 2012 competition, which is an example of a difficult problem stand- ing on the borderline between planning and scheduling. It describes state-of-art techniques of the modern artificial intelligence that were chosen for this purpose. It guides the reader in the process of modeling the Petrobras domain in PDDL language and explains the results provided by the existing tools used within plan- ning community. In the end it compares the results of the chosen approach to the other approaches used in ICKEPS 2012 competition, showing that the existing sequential planning systems are usable only for solving smaller problem instances of this domain.