Prohlížení Diplomové práce - 13136 dle autora "Fišer Daniel"
-
Inference stavových invariantů pro doménově nezávislé plánování
Autor: Fišer Daniel; Vedoucí práce: Komenda Antonín; Oponent práce: Shleyfman Alexander
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-25)Stavové invarianty vzájemného vyloučení (mutexy) jsou v kontextu STRIPS plánování definovány jako množiny faktů, z nichž maximálně jeden může být platný v jakémkoli dosažitelném stavu. V této práci představíme dva nové ... -
Problémy klasického plánování jako zobecněný problém obchodního cestujícího s přednostmi
Autor: Petr Bergmann; Vedoucí práce: Fišer Daniel; Oponent práce: Vonásek Vojtěch
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-16)V této práci jsme identifikovali dvě třídy problémů STRIPS, které se dají vyřešit jako varianty problému obchodního cestujícího (TSP). Problémy z první třídy lze převést na instance TSP a problémy z druhé třídy na instance ...