Seminar for Probability Logic
PROGRAM
Plan rada Seminara Verovatnosnih logika za mart 2013.
Sastanci seminara verovatnosnih logika Matematickog instituta SANU odrzavaju se na adresi: Kneza Mihaila 36/III sprat, soba 301f - sala za seminare. Sastanci se odrzavaju cetvrtkom posle podne, od 15h, pod rukovodstvom Profesora Miodraga Raskovica.
ČETVRTAK, 14.03.2013. U 15:15
Nenad Krdzavac
1.OSNOVI POJMOVI KOD OPISNIH LOGIKA I NEKE OPISNE LOGIKE (EL++, SROIQ)
2. PRIMENA U MODELOVANJU FINANSIJSKIH REGULATIVA (DEMONSTRACIJA RADA
SOFRVERA ZA GENERISANJE FINANSIJSKIH IZVESTAJA PRIMENOM OPISNIH LOGIKA)
ČETVRTAK, 21.03.2013. U 15:15
Aleksandra Perovic
ČETVRTAK, 28.03.2013. U 15:00
Dr Vladan Djordjevic
KONDICIONALI OBICNOG JEZIKA:
LOGIKA, USLOVI ISTITNITOSTI I PRIHVATLJIVOSTI, I VEROVATNOCA.
apstrakt:
Ovo je informativno predavanje, sa ciljem da pruzi pregled literature o
kondicionalima. Puno disciplina se bavi ovom temom (filozofija, logika,
kompjuterske nauke, lingvistika, psihologija). U ovom predavanju najvise ce
biti reci o filozofskim i logickim rezultatima. Ukazace se na tri glavna
pristupa, koji se usredsredjuju na istinitosne uslove (Stalnaker, Luis), na
uslove prihvatljivosti i reviziju verovanja (Gardenfors) i verovatnocu
kondicionala (Adams). Najvise vremena posveticemo istini i verovatnoci, i
predstavicemo, izmedju ostalog, formalne sisteme tzv. standardnih logika i
Luisove rezultate o verovatnoci kondicionala.
Beograd, 2013.