Now showing items 1-2 of 2

    • Inference stavových invariantů pro doménově nezávislé plánování 

      Author: Fišer Daniel; Supervisor: Komenda Antonín; Opponent: Shleyfman Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-25)
      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é ...
    • Problémy klasického plánování jako zobecněný problém obchodního cestujícího s přednostmi 

      Author: Petr Bergmann; Supervisor: Fišer Daniel; Opponent: Vonásek Vojtěch
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-16)
      V této práci jsme identifikovali dvě třídy problémů STRIPS, které se dají vyřešit jako varianty problému obchodního cestujícího (TSP). Problémy z první třídy lze převést na instance TSP a problémy z druhé třídy na instance ...