Epistemické logiky

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