Epistemické logiky
Pořádá Oddělení logiky
Igor Sedlár, Universita Komenského Bratislava
Datum:
14.05.2015
14.15
Místo konání:
AKC, Husova 4a, Praha 1
-
- Anotace
-
Přednáška bude přenášena ve formě streamu na adrese:https://147.231.53.55
V prednáške predstavíme základné princípy logického modelovania epistemických postojov. Najprv predstavíme základné systémy epistemickej logiky pre jedného agenta a spomenieme ich aplikáciu pri riešení Moorovho paradoxu. Potom uvedieme systémy epistemickej logiky pre skupiny agentov a ich aplikácie pri modelovaní multiagentných systémov. Následne predstavíme základné princípy dynamickej epistemickej logiky, modelujúcej zmeny v epistemických postojoch. Prednášku uzavrieme prehľadom obmedzení predstavených systémov epistemickej logiky a stručným predstavením niekoľkých alternatív.
Plakát
