Inference stavových invariantů pro doménově nezávislé plánování
Inference of State Invariants for Domain-Independent Planning
Typ dokumentu
diplomová prácemaster thesis
Autor
Fišer Daniel
Vedoucí práce
Komenda Antonín
Oponent práce
Shleyfman Alexander
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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdfVysokoš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://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf
Metadata
Zobrazit celý záznamAbstrakt
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é typy mutexů společně s detailním popisem jejich struktury a vztahu k obecným mutexům. Dále poskytneme analýzu složitosti rozhodovacích problémů, které odpovídají problému odvozování různých typů mutexů. Nakonec popíšeme tři nové algoritmy pro odvozování mutexů a porovnáme je s dvěma různými state-of-the-art algoritmy. The mutual exclusion (mutex) state invariants are defined in a context of STRIPS planning as sets of facts from which maximally one can be true in any state reachable from the initial state. In this work, we introduce two new types of mutex invariants along with a detailed description of their structure and their relation to a general mutex invariant. Moreover, we provide a complexity analysis of decision problems that correspond to inference of different types of mutex invariants. Finally, three novel algorithms for inference of mutex invariants are described and experimentally compared with two different state-of-the-art algorithms.
Kolekce
- Diplomové práce - 13136 [892]