Hledat
Zobrazují se záznamy 1-2 z 2
Líná kompilace v klasickém plánování, Lazy Compilation in Classical Planning
; Vedoucí práce: Surynek Pavel; Oponent práce: Vašata Daniel (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
Předmětem této diplomové práce je problematika líné kompilace v klasickém plánování. V teoretické části práce jsou nejprve shrnuty základní informace o klasickém plánování, definovány důležité pojmy klasické reprezentace ...
DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest, DPLL(MAPF): Integration of a SAT Solver and Multi-Agent Path Finding
; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...