Název: Využití struktur v automatickém plánování
Překlad názvu: Exploiting Structures in Automated Planning
Autoři: Kuckir, Ivan ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Typ dokumentu: Diplomové práce
Rok: 2017
Jazyk: eng
Abstrakt: [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)
Klíčová slova: automatické plánování; automorfismus; ekvivalence; relace; rozbití symetrií; automated planning; automorphism; equivalence; relation; symmetry breaking

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/82794

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-352437


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce