Prohlížení Disertační práce - 13000 dle předmětu "Automatizované dokazování teorémů"
Zobrazují se záznamy 1-1 z 1
-
Strojové učení pro řízení inferencí a v automatickém dokazování vět
; 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 ...