Poštovane koleginice i kolege, pozivamo vas da prisustvujete predavanju na Seminaru za
računarsku logiku 4. juna 2026. godine, sa početkom u 14 časova (sala 301f,
Kneza Mihaila 36 i onlajn).

Predavač: Dragan Doder

Tema predavanja: Uvod u formalnu argumentaciju

Apstrakt:
Formalna argumentacija je jednostavan metod rezonovanja zasnovan na
binarnim grafovima, koji je privukao veliku pažnju istraživač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.

Predavanje će trajati nešto preko sat vremena i biće održano na srpskom
jeziku, sa slajdovima na engleskom jeziku.

Ovime vas i podsećamo da Seminar za verovatnosne logike od ove godine nosi
naziv Seminar za računarsku logiku i obaveštavamo da će se u nastavku za
pristup seminaru koristiti novi link: https://miteam.mi.sanu.ac.rs/asset/Cfox9absXrRZL3cah