Семинар из вештачке интелигенције, 7. април 2021.

• 04. Април, 2021
• Коментари (0)

Семинар из из вештачке интелигенције настао је као наставак састанка “Serbian AI Meeting” и замишљен је да на њему истраживачи из Србије и из дијаспоре, као и истраживачи са универзтета, научних института и из праксе представљају научне теме и резултате из области вештачке интелигенције. Прво састанак Семинара у априлу месецу биће одржан онлајн у среду, 7. априла 2021. од 19 до 20 часова.

Предавач: др Предраг Јаничић, редовни професор, Математички факултет Универзитета у Београду

Наслов предавања: АУТОМАТСКО РЕЗОНОВАЊЕ И ПРИМЕРИ СИСТЕМА ЗА РЕЗОНОВАЊЕ У ИСКАЗНОЈ ЛОГИЦИ, У ЛОГИЦИ ПРВОГ РЕДА И У ГЕОМЕТРИЈИ

Апстракт: У предавању ће бити дат кратак приказ области аутоматског резоновања, посебно централне подобласти – аутоматског доказивања теорема, као и неких области примена. Биће укратко приказано и неколико предавачевих система који користе аутоматско резоновање у исказној логици, у логици првог реда и у геометрији и биће описане неке њихове конкретне примене.

Напомена: Регистрациона форма за учешће и линк на предавање, уколико желите да активно учествујете:
https://miteam.mi.sanu.ac.rs/asset/CW5nJWDSEZDj7p32p

Уколико желите само да пратите предавање, без могућности активног учешћа, пренос ће бити доступан на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/4LNW8WtML7rLKojoz

Кратка упутства на српском и енглеском се могу наћи на:
https://miteam.mi.sanu.ac.rs/asset/Kc7qJtEvoMFx9MFnz