Logic and Computation workshop:
Logical Methods for Social Concepts.


Course material: AquilkhanBanerjee.pdf BalbianiDitmarschSeban.pdf Broersen.pdf DegremontKurzen.pdf Dimitri.pdf EckertHerzberg.pdf GenotJacot.pdf GhoshVelazquez.pdf GierasimczukKurzenVelazquez.pdf HakliNegri.pdf LonginNguyen.pdf RousselCholvy.pdf Tuomela.pdf

External page


Both computer science and the social sciences are interested in concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of the workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics?

We encourage not only works focused on the technical aspects of logics for multi-agent system, but also works including multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and providing a critical analysis of the existing logical frameworks for the specification of social concepts. Indeed, the workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality.

The following are some examples of topics that are relevant for the workshop.

- Logics of individual and collective powers - Logical approaches to game theory - Public announcements logics and logics of communication - Logical approaches to trust and reputation - Logical approaches to organizational concepts (e.g. roles, responsibility, delegation) - Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions)

- Logics for mechanism design