Поштоване колегинице и колеге, позивамо вас да присуствујете предавању на Семинару за
рачунарску логику 4. јуна 2026. године, са почетком у 14 часова (сала 301ф,
Кнеза Михаила 36 и онлајн).

Предавач: Драган Додер

Тема предавања: Увод у формалну аргументацију

Апстракт:
Формална аргументација је једноставан метод резоновања заснован на
бинарним графовима, који је привукао велику пажњу истраживача из области
вестачке интелигенције у последњих 30 година. Ово предавање ће дати
основни увод у Дунгову теорију аргументације, у којима су аргументи
чворови графа, а бинарна релација представља нападе (усмерене конфликте)
међу аргументима. Биће представљен један популаран метод конструкције
аргумената, који је готово идентичан појму логичког извођења, као и
неколико основних метода којима се евалуирају аргументи у графу.

Предавање ће трајати нешто преко сат времена и биће одржано на српском
језику, са слајдовима на енглеском језику.

Овиме вас и подсећамо да Семинар за вероватносне логике од ове године носи
назив Семинар за рачунарску логику и обавештавамо да ће се у наставку за
приступ семинару користити нови линк: https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah