Talk by Jeremey Seligman on "Adventures in Social Epistemic Logic"
Sep. 5 (Wed.)
National Institute of Informatics
Room 2009 (20th floor), NII
Jeremy Seligman (University of Auckland / Tsinghua Univeristy)
Adventures in Social Epistemic Logic
What can sociology and social psychology give to logic, especially epistemic logic?
We look first at models of diffusion, which has been used to explain a wide variety of social phenomena from contagion to the spread of culture and innovation. As an alternative to the classic models based on linear algebra, we use cellular automata specified using modal logic with dynamic operators. We extend this approach to models of influence.
From these examples of non-relational deterministic "low-level" rational behaviour, we consider several extensions. First, a modest addition to model some higher-order reasoning in social situations. Second, a treatment of non-determinism using free parameters and constraints specified also in modal logic. Third, we consider changes to the social relations using a PDL-like extension to our modal specification language. Finally, we look at "colouring games" as a paradigm of sociological explanation, and briefly introduce the approach of Boolean network games, that uses logically specified automaton-based models, together with concepts from game theory.
Ken Satoh ( ksatoh [at] nii.ac.jp )