HRANIČKA, V. Induktivní syntéza konečně stavových kontrolérů pro decentralizované POMDP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2024.

Posudky

Posudek vedoucího

Češka, Milan

Vzhledem k tomu, že i) studen odevzdání práce o rok odložil a tento extra čas nevyužil k řešení zajímavějších problémů a ii) jeho postup byl velmi pomalý a vyžadoval hodně pomoci (zejména ze strany konzultanta), je moje hodnocení vzhledem k výsledné kvalitě DP přísnější – navrhuji hodnotit DP známkou C. V případě příznivého posudku oponenta a kvalitní obhajoby, je možné zvážit zlepšení hodnocení na známku B.

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Informace k zadání Jednalo se o náročnější zadání, které vyžadovalo rozšíření induktivních technik pro řešení Markovských rozhodovacích procesů s částečným pozorováním (tzv. POMDP), tak aby mohly být tyto techniky použity na třídu decentralizovaných multiagentních systémů (tzv. dec-POMDP). Zadání umožňovalo poměrně široké možnosti realizace a student si vybral střední cestu – i tak si odevzdání o rok odložil. Ačkoliv byl postup na DP velice pomalý a student se několikrát zasekl na technických problémech, mohu konstatovat, že zadání bylo splněno. Bohužel už nezbyl čas na řešení zajímavějších problémů (nad rámec zadaní) a tudíž dosažené výsledky nemají publikační potenciál.
Práce s literaturou Práci s literaturou hodnotím jako průměrnou: student rozumně zpracoval základní literaturu, a vcelku kvalitně prezentoval teoretickou část DP. Na druhou stranu až na základě mého upozornění prezentoval v DP state-of-the-art metody a nástroje pro řešeni dec-POMDP a provedl dostatečné srovnání.
Aktivita během řešení, konzultace, komunikace Počáteční aktivita na řešení DP nebyla ideální zejména s ohledem na to, že odevzdání DP bylo o rok odloženo. Od konce prvního semestru ale student již pracoval aktivně. Bohužel dost často narážel na technické problémy při implementaci základní části navržené metody, což výrazně omezilo možnosti dostat se k zajímavějším problémům. Oceňuji, že student aktivně chodil na konzultace a snažil se vzniklé problémy s naší pomocí řešit.
Aktivita při dokončování Student zvládl dokončit základní realizační i textovou část DP včas, a tak mohla být výsledná podoba DP konzultována. Moje výtky k prezentaci DP a experimentálnímu vyhodnocení byly rozumně zohledněny ve finální verzi. Celkově mohu konstatovat, že kvalita prezentace DP je na dobré úrovni a dosažené výsledky jsou mírně optimistické a ukazují, že navržený přístup má jisté výhody proti existujícím metodám pro řešení dec-POMDP.
Publikační činnost, ocenění Vzhledem k dosaženým výsledům tato práce má jistý potenciál být dotažena do kvalitní publikace. Bohužel student se nedostal k řešení zajímavějších problémů (nad rámec zadaní), experimentální vyhodnocení má jisté nedostatky a práce je psaná v češtině – toto samozřejmě komplikuje vznik kvalitní publikace.
Navrhovaná známka
C
Body
78

Posudek oponenta

Lengál, Ondřej

Pan Vojtěch Hranička ve své práci navrhl a implementoval rozšíření nástroje PAYNT o induktivní syntézu kontrolerů pro decentralizované POMDP. Výsledné řešení dává v některých případech zajímavé výsledky, které mají potenciál v budoucnu stát jako základ vědecké publikace. Z těchto důvodů hodnotím práci stupněm velmi dobře (B).

Dílčí hodnocení
Kritérium Známka Body Slovní hodnocení
Náročnost zadání V rámci zadání bylo potřeba nastudovat současný state of the art v oblasti induktivní syntézy pro POMDP a Dec-POMDP, techniky, které nejsou jednoduché na pochopení.
Rozsah splnění požadavků zadání Zadání bylo splněno.
Rozsah technické zprávy Rozsah práce je v obvyklém rozmezí.
Prezentační úroveň technické zprávy 85 Prezentační úroveň je v pořádku, práce má logickou strukturu. Ocenil bych hlavně na začátku kapitoly 2 (základní definice) více intuice a příkladů.
Formální úprava technické zprávy 75 Práce je psána česky (což je škoda) s větším množstvím chyb a překlepů, než jsem zvyklý.
Práce s literaturou 85 Práce cituje vhodné množství relevantních zdrojů, ne vždy zrovna vhodně (např. [21,23,25,28,29]).
Realizační výstup 85 Výstupem je rozšíření nástroje PAYNT, které bylo experimentálně porovnáno s přístupy z literatury, kde dosáhlo v některých případech na benchmarcích z literatury zajímavých výsledků.
Využitelnost výsledků Je možné, že se v budoucnu studentovy výsledky nebo výsledky na ně navazující stanou součástí nějaké publikace.
Navrhovaná známka
B
Body
86

Otázky

eVSKP id 156910