Logic and Computation introductory course:
Logics of individual and collective intentionality.

Teachers

External page

Abstract:

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 collective attitudes.

COURSE OUTLINE.

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.