How to Do Social Simulation in Logic: Modelling the Segregation Game in a Dynamic Logic of Assignments.
Benoit GaudouAndreas HerzigEmiliano LoriniChristophe Sibertin-BlancPublished in: MABS (2011)
Keyphrases
- dynamic logic
- social simulation
- modal logic
- agent based social simulation
- propositional dynamic logic
- multi agent systems
- game theory
- reasoning about actions
- video games
- computer games
- imperative programs
- game play
- agent programming
- game theoretic
- social behavior
- first order logic
- agent based modeling
- artificial intelligence
- logic programming
- cognitive architectures
- modal operators
- temporal logic
- swarm intelligence