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

      Autor: Fišer Daniel; Vedoucí práce: Komenda Antonín; Oponent práce: 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é ...
    • Multiagentní narativní plánování 

      Autor: Hájíček Josef; Vedoucí práce: Komenda Antonín; Oponent práce: Pošík Petr
      Tato práce představuje systém pro generování příběhů s možností interakce. Doména příběhu, zapsaná v mnou vytvořeném meta-jazyce, je nejprve zkompilovaná do PDDL jazyka. To umožňuje použít jakýkoliv state of the art plánovací ...
    • První komplexní zpráva o stavu bezpečnosti mobilních telefonů občanské společnosti 

      Autor: Jakub Čech; Vedoucí práce: García Sebastián; Oponent práce: Komenda Antonín
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-11)
      Členové občanské společnosti často čelí hrozbám nejen ve fyzickém světě, ale i v kybernetickém prostoru. Jejich důležitá práce je vystavuje neustálému riziku sledování nebo napadení. Mobilní telefony jsou pro jejich aktivitu ...
    • Space-Time Demand Adaptive Taxi Routing 

      Autor: Grajciar Matej; Vedoucí práce: Egan Malcolm Alexander; Oponent práce: Komenda Antonín
      V průběhu posledních pěti let začali poskytovatelé přepravy na objednávku využívat nové přístupy, vycházející z pokročilých technik umělé inteligence. Jednou z takových firem je Uber, která zavedla místo klasického fixního ...
    • Učení přechodových funkcí v klasickém plánování pomocí hlubokých neuronových sítí 

      Autor: Michaela Urbanovská; Vedoucí práce: Komenda Antonín; Oponent práce: Shleyfman Alexander
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-01-21)
      V současné době existují dva silné směry v oblasti umělé inteligence, a to strojové učení a symbolická umělá inteligence. V nedávné době se objevilo několik pokusů o propojení těchto dvou vědeckých směrů. Konkrétně spojením ...