Osim ako je drugačije istaknuto, sastanci se održavaju ponedjeljkom od 17:15 sati u predavaonici 105, PMF-MO.
Obavijest: Na zahtjev voditelja Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo, odlukom Vijeća doktorskog studija, s početkom ak. god. 2024./2025. dva navedena seminara se spajaju te se novi seminar zove Seminar za matematičku logiku i računarstvo.
NAJAVA SEMINARA
Matej Mihelčić, Lokalizirano moralno planiranje korištenjem linearne temporalne logike
ponedjeljak, 9. ožujka 2026. s početkom u 17:15h u predavaonici 105 (PMF-MO)
SAŽETAK: Na seminaru ćemo opisati problem CONFLICT na primjeru etičkog planiranja baziranog na logici, korištenjem linearne temporalne logike. Navedeni problem je bitan u robotici jer omogućuje pronalazak etički-zadovoljivog egzaktnog plana. Generalno je problem CONFLICT PSPACE-potpun problem, međutim uz definirane pretpostavke lokalnosti na propozicije i akcije, zadano indeksiranje propozicija i uvjet da akcije ovise o ograničenom broju susjednih akcija u predefiniranom intervalu, uz konstantan broj globalnih propozicija, pokazujemo da problem možemo riješiti u polinomnom vremenu. Empirijski pokazujemo da navedeni pristup uz pretpostavke lokalnosti ima znatne primjene u robotici, te omogućuje brz i točan pronalazak etički-zadovoljivog egzaktnog plana.
Ovo je zajednički rad s Adrianom Satjom-Kurdijom.
Foto (s nekih održanih seminara)
