Logic and Computation introductory course:
Logics of individual and collective intentionality.
This course presents basic concepts about individual and
collective intentionality which have been studied in the
multi-agent domain and in the philosophical domain. We will
discuss the most important logical theories developed in the
last two decades to formalize individual and collective
attitudes such as knowledge, belief, preference, intention,
group belief (i.e. distributed belief, common belief, collective
acceptance), collective intention. The course is also devoted to
clarify the philosophical foundations of such concepts. In the
first part of the course we will focus on individual
attitudes. In the second part of the course we will focus on
KNOWLEDGE AND BELIEF (Day 1):
- Kripke models, logics S5, KD45;
- Omniscience problem;
- Link between belief and knowledge.
GOALS AND INTENTIONS (Day 2):
- Bratman's theory of intention;
- Cohen & Levesque's logic of intention;
- Other BDI approaches (Rao & Georgeff, Meyer & Van der Hoek, Wooldridge);
- Intention, intentional actions and attempts.
DYNAMICS OF BELIEFS, GOALS AND PREFERENCES (Day 3): - Dynamic Epistemic Logic (DEL);
- Belief revision (AGM approach);
- Integrations of DEL and AGM;
- Logics of goal and preference change (Liu, Shapiro et al.).
GROUP BELIEF (Day 4):
- Philosophical theories of group belief (Lewis, Tuomela, Gilbert);
- Logics of distributed, mutual and common belief;
- The logic of collective acceptance.
GROUP INTENTION (Day 5):
- Philosophical theories of collective intention (Bratman, Tuomela);
- Logical theories of collective intention (Cohen et al., Grosz & Kraus, Dunin-Keplicz & Verbrugge).
PREREQUISITES. We assume basic background knowledge of modal logic.