Seminar iz veštačke inteligencije, 7. april 2021.

Seminar iz iz veštačke inteligencije nastao je kao nastavak sastanka “Serbian AI Meeting” i zamišljen je da na njemu istraživači iz Srbije i iz dijaspore, kao i istraživači sa univerzteta, naučnih instituta i iz prakse predstavljaju naučne teme i rezultate iz oblasti veštačke inteligencije. Prvo sastanak Seminara u aprilu mesecu biće održan onlajn u sredu, 7. aprila 2021. od 19 do 20 časova.

Predavač: dr Predrag Janičić, redovni profesor, Matematički fakultet Univerziteta u Beogradu

Naslov predavanja: AUTOMATSKO REZONOVANjE I PRIMERI SISTEMA ZA REZONOVANjE U ISKAZNOJ LOGICI, U LOGICI PRVOG REDA I U GEOMETRIJI

Apstrakt: U predavanju će biti dat kratak prikaz oblasti automatskog rezonovanja, posebno centralne podoblasti – automatskog dokazivanja teorema, kao i nekih oblasti primena. Biće ukratko prikazano i nekoliko predavačevih sistema koji koriste automatsko rezonovanje u iskaznoj logici, u logici prvog reda i u geometriji i biće opisane neke njihove konkretne primene.

Napomena: Registraciona forma za učešće i link na predavanje, ukoliko želite da aktivno učestvujete:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Ukoliko želite samo da pratite predavanje, bez mogućnosti aktivnog učešća, prenos će biti dostupan na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

Kratka uputstva na srpskom i engleskom se mogu naći na:
https://miteam.mi.sanu.ac.rs/asset/Kc7qJtEvoMFx9MFnz


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.