Inference stavových invariantů pro doménově nezávislé plánování
Inference of State Invariants for Domain-Independent Planning
Type of document
diplomová prácemaster thesis
Author
Fišer Daniel
Supervisor
Komenda Antonín
Opponent
Shleyfman Alexander
Field of study
Umělá inteligenceStudy program
Otevřená informatikaInstitutions assigning rank
katedra počítačůRights
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
Show full item recordAbstract
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.
Collections
- Diplomové práce - 13136 [833]