Modely s omezujícími podmínkami pro plánování a rozvrhování

Abstract

Cílem této práce je navrhnout výpocetní model pomocí technologie constraint programming, který by byl schopen popsat a vyrešit konkrétní plánovací problém. Problém je definován pomocí plánovacího jazyka PDDL a je zameren na offshore vetrné farmy, jejich údržbu a plánování zdroju, které jsou s údržbou spojeny. Model který navrhujeme je založen na výzkumu Graphplan algoritmu a jeho využití v paradigmatu constraint programmingu pro plánování. Popisujeme všechny navržené akce a jejich prípadnou transformaci z puvodní PDDL domény do logického modelu constraint programmingu. Nakonec provádíme analýzu výsledku a navrhujeme vylepšení nebo návrhy na jiné implementace modelu pro budoucí práci.

The purpose of this thesis is to propose a CSP model that would be able to describe and solve a specific planning problem. The problem is defined by a PDDL domain and it is related to an offshore wind farm maintenance and to the planning of the resources required. The model we propose is based on the research of the Graphplan algorithm and its use in the constraint programming approach to planning. We describe all the actions and their eventual mapping from the original PDDL domain to the logical model of the constraint programming. Finally we analyze the results and propose improvements or ideas on a different implementation of the model for future work.