Verovatnosne logike, 9. mart 2017.

Naredni sastanak Seminara biće održan u četvrtak, 9. marta 2017. u sali 301f Matematičkog instituta SANU sa početkom u 15 časova.

Predavač: dr Dragan Doder

Naslov predavanja: LOGIKA ZA TEMPORALNO VEROVANjE I PLANIRANjE - POTPUNOST, REVIZIJA VEROVANjA I TEOREMA REPREZENTACIJE

Sadržaj: U izlaganju će biti predstavljena jednostavna modalna logika sa parametrizovanim vremenom, pogodna za formalizovanje verovanja i planiranja akcija. U prvom delu izlaganja će biti skiciran dokaz teoreme potpunosti, a u drugom delu će biti predstavljena teorema reprezentacije za reviziju verovanja u AGM stilu.


 Ostavite vaš komentar 

Komentari(0)

Nažalost nije moguće ostaviti komentar.