Using Constrained Horn Clauses for Hierarchical Planning

Abstract

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

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