Logic and Computation workshop:
Logical Methods for Social Concepts.
Organizers
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
Abstract:
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