4月2日 Jeremy Seligman 报告: Social Epistemic Logic (Part 2)

发布时间:2017-03-30 来源:本站原创 作者:本站编辑   浏览次数:

 题目:Social Epistemic Logic (Part 2)


 报告人:Jeremy Seligman    

 时间:4月2日9:00-11:00  地点:逻辑与智能研究中心3203


ABSTRACT:This continues the seminar from last week. Another aspect of models from social science is their focus on uncertainty and use of probabilistic methods. We discuss a variety of sources of non-determinism in social mechanisms, from the underdetermination of structure (random encounters) to conflicts between actions (me trying to get away from you while you try to follow me).  Again we look at automata-based models and their logical description. The description of changes to social relations requires an extension using PDL (propositional dynamic logic) together with its dynamic extension DDL (dynamic dynamic logic).  Another aspect of social non-determinism is our ability to make choices.  We look at "colouring games" as a paradigm of sociological explanation, and briefly introduce the approach of Boolean network games, that uses logic- and automaton-based models, together with concepts from game theory.