Prohlížení Disertační práce - 13000 dle autora "Urban Josef"

Zobrazují se záznamy 1-1 z 1

    • Strojové učení pro řízení inferencí a v automatickém dokazování vět 

      Autor: Zarathustra Goertzel; Vedoucí práce: Urban Josef; Oponent práce: Veroff Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-07-29)
      Automatické dokazování vět je oborem umělé inteligence (AI), který sahá až k počátkům AI, například v “Logic Theory machine” od Simona a Newella. Symbolická umělá inteligence je často srovnávána se statistickým strojovým ...