Bibtex de la publication

@Unpublished{ GaHeLoSi2011.2,
author = {Gaudou, Benoit and Herzig, Andreas and Lorini, Emiliano and Sibertin-Blanc, Christophe},
title = "{Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations (Modèles Formels de l'Interaction (MFI), Rouen, France, 22/06/2011-24/06/2011)}",
year = {2011},
language = {français},
keywords = {Système Multi-Agents, logique, simulation, complexité},
abstract = {Le but de cet article est de montrer comment faire des simulations sociales en logique. Afin d’atteindre cet objectif, nous présentons une logique dynamique avec affectations et itérations bornées et non-bornées. Nous montrons que notre logique permet de représenter et de raisonner sur un exemple paradigmatique de la simulation sociale : le modèle de ségrégation de Schelling. Nous établissons également un lien entre simulation et planification. En particulier, nous montrons que le problème de la vérification qu’une certaine propriété P (comme la ségrégation) va émerger après n pas de simulation peut se ramener à un problème de planification à horizon n, c’est-à-dire le problème de la vérification de l’existence d’un plan de longueur au plus n assurant qu’un certain but va être atteint, problème qui a été très étudié en IA.}
}