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
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