Epistemic Dynamics for Non-ideal Agents

Topic: 
Logic & Computation
Level: 
Introductory
Abstract: 

Agents whose information is represented in classic epistemic logic are logically omniscience: their information is closed under logical consequence. This property, widely discussed in the literature (it might be useful in some areas, but it is an unrealistic idealisation in some others), has a less famous but equally unpleasant consequence: it hides epistemic actions that, despite being not useful for ideal agents, are crucial for non-ideal ones. This course introduces the basic notions of some of the most prominent proposals for representing epistemic actions that affects the information of non-ideal agents. Its aim is to provide the participants with the key concepts behind such approaches, making emphasis on their intuitive ideas and their main properties.

Week: 
First week
Slot: 
14:00 - 15:30 - slot 3