Now showing items 1-3 of 3

    • Extrakce logických pravidel z neuronových sítí s diskrétními váhami 

      Author: Armin Hadžić; Supervisor: Pevný Tomáš; Opponent: Šír Gustav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-18)
      V diskrétních neuronových sítich s binárními aktivacemi a ternárními váhami lze každý neuron vyjádřit jako logický výrok ve formě M-of-N pravidla nebo predikátu. Tato logická forma je vhodná pro abduktivní vysvětlování ...
    • Interpretovatelné hluboké učení se symetriemi pro plánování 

      Author: Martin Krutský; Supervisor: Šír Gustav; Opponent: Drchal Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-13)
      V mnoha doménách včetně automatizovaného plánování se hluboké učení stalo hlavním přístupem k řešení složitých problémů pomocí učení se z dat bez nutnosti zapojení doménových expertů. Tento postup je ale často neefektivní ...
    • Transparentní AI s neuro-symbolickým programováním 

      Author: David Tampier; Supervisor: Šír Gustav; Opponent: Horčík Rostislav
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-12)
      Rostoucí využívání AI v každodenním životě a kritických aplikacích zvyšuje potřebu interpretovatelnosti AI řešení. Současné architektury neuronových sítí, jako je GPT-4, s miliardami parametrů však postrádají interpretovatelnost. ...