Na Seminaru za matematičku logiku i računarstvo, u ponedjeljak 9. ožujka 2026. u 17:15 sati, u predavaonici 105, PMF-MO, 

Matej Mihelčić održat će predavanje 

 

Lokalizirano moralno planiranje korištenjem linearne temporalne logike

 

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.

 

Link za Zoom prijenos: https://zoom.us/j/98717855758?pwd=INt0zp3IRbQWMdSKrbKn1bFQSCaVPI.1