Učitavanje video playera...
00:51:38
Matej Mihelčić: Lokalizirano moralno planiranje korištenjem linearne tempor log
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.
