Seminar for Computational Logic
PROGRAM
Predavanja možete pratiti i online putem MITEAM stranice Seminara za računarsku logiku:
https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah
Plan rada Seminara za računarsku logiku za JUN 2026.
Četvrtak, 04.06.2026. u 14:00, Kneza Mihaila 36, sala 301f i
Online
Dragan Doder
UVOD U FORMALNU ARGUMENTACIJU
Formalna argumentacija je jednostavan metod rezonovanja zasnovan na binarnim grafovima, koji je privukao veliku pažnju istrazivača iz oblasti vestačke inteligencije u poslednjih 30 godina. Ovo predavanje će dati osnovni uvod u Dungovu teoriju argumentacije, u kojima su argumenti čvorovi grafa, a binarna relacija predstavlja napade (usmerene konflikte) među argumentima. Biće predstavljen jedan popularan metod konstrukcije argumenata, koji je gotovo identičan pojmu logičkog izvođenja, kao i nekoliko osnovnih metoda kojima se evaluiraju argumenti u grafu.
Petak, 18.06.2026. u 14:15, Kneza Mihaila 36, sala 301f i
Online
Dragan Doder
MOGUĆI SVETOVI KAO OSNOVA ZA LOGIČKO REZONOVANJE U PRISUSTVU NEIZVESNOSTI
Predavanje daje kratak (i površan) pregled nekoliko logičkih sistema koji imaju moguće svetove kao zajedničku semantičku komponentu: modalne i temporalne logike, verovatnosne logike, nemonotono rezonovanje i reviziju verovanja (AGM belief revision).
Beograd, 2026.
Sekretar Seminara:
Una Stanković
Rukovodilac Seminara:
Prof. dr Nebojša Ikodinović
