Now showing items 1-2 of 2

    • 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í ...
    • 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. ...