Reversibilita nedeterministických akcí

Abstract

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.