Reversibilita nedeterministických akcí
Reversibility of non-deterministic actions
Typ dokumentu
diplomová prácemaster thesis
Autor
Jakub Med
Vedoucí práce
Chrpa Lukáš
Oponent práce
Morak Michael
Studijní obor
Umělá inteligenceStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra počítačůPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Automatické plánování je podobor počítačových věd zabývající se formální specifikací problému, která je následována algoritmickým rozhodnutím, zda-li je některá cílová konfigurace dosažitelná z dané počáteční konfigurace. Prostředí obsahuje procesy, nazývané akce, které, pokud jsou aplikovány, mění jeho konfiguraci. Nejsou-li tyto procesy deterministické, mluvíme o nedeterminstických akcích nedeterministického prostředí. Jedna z pochopitelných otázek může být, zda-li jsou efekty některé akce zvrátitelné tak, že původní konfigurace prostředí před aplikací akce je opět dosažena. Tato práce představuje a dokazuje několik tvrzení týkajících se nedeterministické akční reversibility kombinací pojmů slabého a silného nedeterministického plánování s reversibilitou deterministický akcí, která již byla široce studována a vyvinutou pro deterministické formalismy. Práce také předkládá několik procesů a algoritmů, sloužících k rozhodnutí reversibility nedeterministické akce. Poté, práce vyhodnocuje navržené metody a algoritmy na množině nedeterministických domén používaných v literatuře. Nakonec je práce uzavřena shrnutím přínosů této práce a empirických poznatků dokazující reversibilitu zkoumaných nedeterministický akcí a diskuzí o možných tématech dalšího výzkumu. Automated planning is a sub-field of computer science which concerns a formal problem specification followed by algorithmic reasoning determining whether the goal configuration of the environment can be reached from the initial configuration. The environment contains processes, called actions, which, when applied, change its configuration. If these processes are not deterministic, we call them non-deterministic actions of non-deterministic environment. A legitimate question can be whether the effects of some action can be reversed, such that we end in the same configuration as before the application of the action. This work presents and proves multiple claims concerning non-deterministic action reversibility by combining notions of weak and strong non-deterministic planning with the action reversibility developed, which has been already widely studied and developed for deterministic formalisms. It proposes several processes and algorithms to decide the reversibility of non-deterministic actions. Then, it evaluates proposed methods and algorithms on a set of non-deterministic domains used in the literature. Ultimately, it concludes with a summarization of the contributions of the work and the gathered empirical evidence proving the reversibility of investigated non-deterministic actions and discussion on topics of further research.
Kolekce
- Diplomové práce - 13136 [833]