Exploiting Structures in Automated Planning

Abstract

Tato práce se zaměřuje na zlepšení procesu automatického plánování skrze rozbití symetrií. Cílem je popsat symetrie, které jsou často zřejmé pro programátory, ale nebyly řádně teoreticky formalizovány. Po analýze dostupných zdrojů se zavedou nové definice v kontextu klasického plánování, jako je např. ekvivalence stavů, T1 automorfizmy a obecnější automorfizmy konstant. Bude dokázáno několik vět o symetriích. Ve výsledku bude navržen algoritmus pro detekci speciální třídy symetrií spolu s metodou využití těchto symetrií během plánování. Budou provedeny experimenty, které ukáží efekt rozbití symetrií na výkon plánovače. Powered by TCPDF (www.tcpdf.org)

This thesis focuses on improving the process of automated planing through symmetry breaking. The aim is to describe symmetries, which are often observed by human programmers, but haven't been properly theoretically formalized. After an analysis of available research, there are new definitions of symmetries proposed in context of classical planning, such as state equivalence, T1 automorphisms and more general automorphisms of constants. Several theorems are proved about new symmetries. As a result, an algorithm for detecting a special symmetry class is proposed, together with a method of exploiting such class during planning. Experimens are made to show the effect of symmetry breaking on the performance of the planner. Powered by TCPDF (www.tcpdf.org)