Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations

Résumé

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.
Fichier principal
Vignette du fichier
11 MFI - vFinale.pdf (103.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03470298 , version 1 (26-01-2022)

Identifiants

  • HAL Id : hal-03470298 , version 1

Citer

Benoit Gaudou, Andreas Herzig, Emiliano Lorini, Christophe Sibertin-Blanc. Comment faire des simulations sociales en logique : formalisation du modèle de ségrégation dans une logique dynamique des affectations. 6èmes Journees francophones sur les Modèles Formels de l'Interaction (MFI 2011), Jun 2011, Rouen, France. ⟨hal-03470298⟩
40 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More