3月24日Jeremy Seligman报告:Social Epistemic Logic (Part 1)

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

题目:Social Epistemic Logic (Part 1)


 报告人:Jeremy Seligman    

 时间:3月24日19:00-21:00 地点:逻辑与智能研究中心3203

ABSTRACT:We ask the question: what can sociology and social psychology give to logic, especially epistemic logic? Although mathematical and computational models are common in those fields, they use techniques - mostly statistical and bayesian agent-based modelling - rather than those of logic. We look first at models of diffusion, whereby some property is spread across a community. This has been used to explain a wide variety of social phenomena from contagion to the spread of culture and innovation.  We focus on models using cellular automata, showing how these can be described with dynamic operators added to a language of propositional modal logic.  This establishes a paradigm, which we then extend to models of influence, which is a two-way version of diffusion. Again, we use automata-based models, implemented in NetLogo, together with descriptions of them in dynamic modal logic. An objection is made that these models are limited to low-level rational activity and lack the ability to describe higher-order reasoning, of the kind that logic is good for. We consider a modest extension to model influence with higher-order believe states (beliefs about what other people believe, about what they believe you believe, and so on).