How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments

The aim of this paper is to show how to do social simulation in logic. In order to meet this objective we present a dynamic logic with assignments, tests, sequential and nondeterministic composition, and bounded and non-bounded iteration. We show that our logic allows to represent and reason about a paradigmatic example of social simulation: Schelling's segregation game. We also build a bridge between social simulation and planning. In particular, we show that the problem of checking whether a given property P (such as segregation) will emerge after n simulation moves is nothing but the planning problem with horizon n, which is widely studied in AI: the problem of verifying whether there exists a plan of length at most n ensuring that a given goal will be achieved.

[1]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[2]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[3]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[4]  David Chapman,et al.  Planning for Conjunctive Goals , 1987, Artif. Intell..

[5]  Murray Shanahan Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[6]  Thomas C. Schelling,et al.  Dynamic models of segregation , 1971 .

[7]  Wiebe van der Hoek On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.

[8]  Jan van Eijck Making Things Happen , 2000, Stud Logica.

[9]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[10]  Maurizio Fattorosi-Barnaba,et al.  Graded modalities. I , 1985, Stud Logica.

[11]  Patrick Taillandier,et al.  GAMA: A Simulation Platform That Integrates Geographical Information Data, Agent-Based Modeling and Multi-scale Control , 2010, PRIMA.

[12]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[13]  Gabriela Lindemann,et al.  Regulated Agent-Based Social Systems , 2004, Lecture Notes in Computer Science.

[14]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[15]  Maria Fasli Formal Systems and Agent-Based Social Simulation Equals Null? , 2004, J. Artif. Soc. Soc. Simul..

[16]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[17]  Bruce Edmonds,et al.  Introduction to a special section on The Use of Logic in Agent-Based Social Simulation , 2004, J. Artif. Soc. Soc. Simul..

[18]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[19]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[20]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[21]  U. Netlogo Wilensky,et al.  Center for Connected Learning and Computer-Based Modeling , 1999 .

[22]  Michael Thielscher The Logic of Dynamic Systems , 1995, IJCAI.

[23]  Mario Paolucci,et al.  Responsibility for Societies of Agents , 2004, J. Artif. Soc. Soc. Simul..