Original title: Využití struktur v automatickém plánování
Translated title: Exploiting Structures in Automated Planning
Authors: Kuckir, Ivan ; Barták, Roman (advisor) ; Chrpa, Lukáš (referee)
Document type: Master’s theses
Year: 2017
Language: eng
Abstract: [eng] [cze]
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) 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)
Keywords: automated planning; automorphism; equivalence; relation; symmetry breaking; automatické plánování; automorfismus; ekvivalence; relace; rozbití symetrií

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/82794

Permalink: http://www.nusl.cz/ntk/nusl-352437


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses