Název:
Užití omezených Hornových klauzulí pro hierarchické plánování
Překlad názvu:
Using Constrained Horn Clauses for Hierarchical Planning
Autoři:
Kažimír, Marián ; Blicha, Martin (vedoucí práce) ; Pantůčková, Kristýna (oponent) Typ dokumentu: Bakalářské práce
Rok:
2021
Jazyk:
eng
Abstrakt: [eng][cze] Title: Using Constrained Horn Clauses for Hierarchical Planning Author: Marián Kažimír Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Martin Blicha, Department of Distributed and Dependable System Abstract: HTN planning is a popular approach to modelling planning problems. The goal of this project is to implement a HTN solver based on translating the planning problem to a reachability problem in a transition system and using off-the-shelf reachability solver for the actual solving. Keywords: Hierarchical Task Networks Planning problem Solver Transition sys- tem Constrained Horn ClausesNázev práce: Užití omezených Hornových klauzulí pro hierarchické plánování Autor: Marián Kažimír Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Martin Blicha, Katedra distribuovaných a spo- lehlivých systémů Abstrakt: HTN plánování je populární způsob jak modelovat plánovací problémy. Cílem této práce je naimplementovat HTN řešič založený na překladu plánovacího problému do problému dosažitelnosti v tranzitním systému a ten následně vyřešit pomocí běžného řešiče dosažitelnosti. Klíčová slova: HTN Plánovací problém řešič Tranzitní systém Omezené Hornove klauzule
Klíčová slova:
hierarchické plánování|omezené Hornove klauzule|Plánovací problém|Řešič|Tranzitní systém; hierarchical planning|constrained Horn clauses|Planning problem|Solver|Transition system