Poštovane koleginice i kolege, pozivamo vas da prisustvujete predavanju na Seminaru za
računarsku logiku 18. juna 2026. godine, sa početkom u 14 časova (sala 301f,
Kneza Mihaila 36 i onlajn).
Predavač: Dragan Doder
Tema predavanja: Mogući svetovi kao osnova za logičko rezonovanje u prisustvu neizvesnosti
Apstrakt:
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).
Predavanje će trajati nešto preko sat vremena i biće održano na srpskom
jeziku, sa slajdovima na engleskom jeziku.
