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 Clauses Ná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

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/148337

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-451870


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce