Modélisation multi-agents - Agents réactifs



Documents pareils
Atelier Transversal AT11. Activité «Fourmis» Pierre Chauvet.


Complexité et auto-organisation chez les insectes sociaux. Complexité et auto-organisation chez les insectes sociaux

Systèmes Multi-Agents : Modélisation et simulation informatique de comportements collectifs. Chapitre III

Jean-Philippe Préaux

Segmentation d'images à l'aide d'agents sociaux : applications GPU

L apprentissage automatique

Sommaire. Introduction. I. Notions de routage a) Technologies actuelles b) Avantages et désavantages

Info0804. Cours 6. Optimisation combinatoire : Applications et compléments

L intelligence collective des fourmis

La Programmation Orientée Agent Les Agents Réactifs

Une Approche Bio-mimétique pour la Segmentation d'images. Inspiration des Araignées Sociales

Les apports de l informatique. Aux autres disciplines

Algorithme des fourmis appliqué à la détection et au suivi de contours dans une image

Modélisation et Simulation

Intelligence des essaims (Swarm Intelligence)

Deux stratégies parallèles de l'optimisation par colonie de fourmis

Les colonies de fourmis : apprentissage coopératif pour le problème du voyageur de commerce

THÈSE DE DOCTORAT DE L UNIVERSITÉ PARIS 12-VAL DE MARNE UFR de Sciences et Technologie. par. Walid TFAILI. pour obtenir le grade de

DES FOURMIS POUR LIVRER DU MAZOUT

Intelligence Artificielle et Systèmes Multi-Agents. Badr Benmammar

Système immunitaire artificiel

Cours de Génie Logiciel

Laboratoire d Automatique et Productique Université de Batna, Algérie

Chapitre 5 : Flot maximal dans un graphe

La plate-forme DIMA. Master 1 IMA COLI23 - Université de La Rochelle

Cours des Méthodes de Résolution Exactes Heuristiques et Métaheuristiques

Communications collectives et ordonnancement en régime permanent pour plates-formes hétérogènes

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Des fourmis réelles aux fourmis artificielles

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

Comportements Individuels Adaptatifs dans un Environnement Dynamique pour l'exploitation Collective de Ressource

Conception des systèmes répartis

Pourquoi l apprentissage?

ils entretiennent entre eux des flux, ils partagent des perceptions sur l environnement

Nicolas DEPRUGNEY Julien CARTON 1 SA TPE 1 S. Les Phéromones de la Fourmi

La classification automatique de données quantitatives

COURS SYRRES RÉSEAUX SOCIAUX INTRODUCTION. Jean-Loup Guillaume

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB Olivier Augereau Formation UML

Diagrammes de Package, de déploiement et de composants UML

Rétablissement d un réseau cellulaire après un désastre

Optimisation multi-objectif par colonies de fourmis : cas des problèmes de sac à dos

APPORT DES RESEAUX BAYESIENS DANS LA PREVENTION DE LA DELINQUANCE

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Parcours en deuxième année

Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche

Cours de Master Recherche

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Baccalauréat ES/L Amérique du Sud 21 novembre 2013

Sommaire. Introduction Définition Historique Domaine d application.2. 4.Les Travaux réalisés sur les domaines d application.

Annexe 6. Notions d ordonnancement.

Historique. Architecture. Contribution. Conclusion. Définitions et buts La veille stratégique Le multidimensionnel Les classifications

Pour un principe matérialiste fort. Jean-Paul Baquiast

Etude de la simulation de systèmes multiagents pour la conception vivante d agents dans la méthode ADELFE

Algorithmes de recherche

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE

Rapport de Projet Béatrice Frey et Cyril Crassin Printemps Projet Fourmis. Université de Technologie de Belfort-Montbéliard

Problème à résoudre. min f(s) s.c. s S

Introduction au datamining

ALGORITHME GENETIQUE ET MODELE DE SIMULATION POUR L'ORDONNANCEMENT D'UN ATELIER DISCONTINU DE CHIMIE

Projet Active Object

Modèles à Événements Discrets. Réseaux de Petri Stochastiques

Extrait des Exploitations Pédagogiques

Figure 3.1- Lancement du Gambit

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

Conception et contrôle des SMA tolérants aux fautes

Les diagrammes de modélisation

Plus courts chemins, programmation dynamique

MABioVis. Bio-informatique et la

Implantation des protocoles de communication FIPA dans la plate-forme GAMA

Introduction au temps réel

LES FICHES Domaines. Domaine D1. Travailler dans un environnement numérique

TP N 57. Déploiement et renouvellement d une constellation de satellites

Technologie Web. Conception de sites Web. Alexandre Pauchet. INSA Rouen - Département ASI. INSA - ASI TechnoWeb : Rappels UML 1/21

UE 8 Systèmes d information de gestion Le programme

Projet L1, S2, 2015: Simulation de fourmis, Soutenance la semaine du 4 mai.

Objectifs du cours d aujourd hui. Informatique II : Cours d introduction à l informatique et à la programmation objet. Complexité d un problème (2)

LES APPRENTISSAGES DES ELEVES Qu est-ce qu apprendre?

Problèmes d ordonnancement dans les systèmes de production. Journée Automatique et Optimisation Université de Paris Mars 2003

NOTIONS DE RESEAUX INFORMATIQUES

Modèles et simulations informatiques des problèmes de coopération entre agents

THESE. Application des algorithmes de colonies de fourmis pour l optimisation et la classification des images

ProxiLens : Exploration interactive de données multidimensionnelles à partir de leur projection

MARS La mise en place d un réseau informatique facilite la communication interne d une entreprise. # #

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus.

Algorithmique des Systèmes Répartis Protocoles de Communications

LA MESURE INDUSTRIELLE

Linux sécurité des réseaux

Introduction au maillage pour le calcul scientifique

Chapitre 1 : Introduction aux bases de données

FaceBook aime les Maths!

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une Optimisation de l Algorithme AntTreeStoch

LE PROBLEME DU PLUS COURT CHEMIN

TD 2 Chapitre 4 : Support des Services et Serveurs. Objectifs : Maîtriser l'exploitation des tables de routage dynamique.

LES CARTES À POINTS : POUR UNE MEILLEURE PERCEPTION

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

Transcription:

Modélisation multi-agents - Agents réactifs Syma cursus CSI / SCIA Julien Saunier - julien.saunier@ifsttar.fr

Sources www-lih.univlehavre.fr/~olivier/enseignement/masterrecherche/cours/ support/algofourmis.pdf www.univ-montp3.fr/miap/~jq/intcollective6.pdf www.ibisc.univevry.fr/~hutzler/cours/sma/smasreactifs.pdf emmanuel.adam.free.fr/site/img/pdf/poa_reactifs1p.pdf emmanuel.adam.free.fr/site/img/pdf/poa_reactifs2p.pdf

Plan Introduction Principe, propriétés, exemple. Mise en œuvre Environnement Agent Interaction Organisation : modélisation, : algorithme, architecture, : stigmergie, : discussion. Exemple PF Ségrégation Plus : Madkit sociale court chemin,

Agents Réactifs Principe Un comportement individuel simple, un résultat collectif intelligent

Agent Réactif Propriétés Caractéristiques pas de représentation explicite de l'environnement pas de mémoire de son histoire, ni de but explicite comportement de type stimulus réponse mode "biologique " d'organisation grand nombre d'agents (>100), homogènes à grain fin La structure du système émerge des comportements et non d'une volonté d'organisation Inspiration Insectes sociaux : fourmis, termites, abeilles Eco-systèmes, Phytosociologie : communauté végétale. Utilisation Simulation d organisation Robotique Résolution distribuée de problèmes

Exemple: flocking Trois règles: Séparation Alignement Cohésion

Plan Introduction Principe, propriétés, exemple. Mise en œuvre Environnement Agent Interaction Organisation : modélisation, : algorithme, architecture, : stigmergie, : discussion. Exemple PF Ségrégation Plus : Madkit sociale court chemin,

Modélisation Modélisation d'un SMA on décrit les données de l'environnement on définit les actions sur l'environnement (actions «exogènes») on définit les buts/rôles des agents on définit les données et actions des agents Attention : l'environnement est n'est pas proactif Sinon, c'est lui-aussi un agent on peut avoir un agent «environnement» c'est l'environnement «logique» ni vraiment un agent, ni vraiment un objet

Environnement

Environnement Définition L'environnement est une abstraction de premier ordre permettant de [Weyns 07] : Structurer Supporter Fournir Fournir Réguler Fournir le SMA, et gérer le cycle de vie des composants, de l'observabilité, de l'accessibilité, le SMA, une ontologie. = Interaction!

Environnement Propriétés Un environnement peut être: Accessible / inaccessible, Déterministe / non déterministe Statique / dynamique Discret / continu Mais l'environnement est aussi déterminé par la plateforme!

Environnement pour les Boids Choix du type de processus thread / scheduler Choix de la perception active Données : espace 3D, localisation des agents Action exogène : déplacement Fonction d'initialisation du SMA

Agent

Agent Réactif algorithme Algorithme basic : do{ percepts = voir(); état = interprétation_percepts(percepts); règle = match(état, règles); exécuter(règle); } while(true) Problème si plusieurs règles sont activables!

Agent Architecture Subsomption Principe [Brooks 86] : Le Un Plusieurs Les processus de décision d un agent correspond à la réalisation d un ensemble de tâches pour réaliser des comportements. comportement reçoit en continu des percepts et y associe une action à réaliser comportements peuvent être exécutés en même temps. Afin de réaliser un choix, les comportements sont hiérarchisés par ordre de priorité. comportements sont indépendants et peuvent être ajoutés/retirés d une architecture.

Interaction

Invocation vs interaction Objet invocation de méthode Envoi de message (bloquant) Obtention du résultat Agent interaction On Non transmet de l'information au destinataire bloquant (système réparti) il répond quand il veut (asynchrone) il peut ne pas répondre (panne) il peut répondre n'importe quoi (autonomie)? mécanisme d'interaction!

Avec l'environnement Interactions M.A. Synchrone et bloquant invocations! Avec les autres agents Via l'environnement interaction indirecte Modèle «blackboard» modifie consulte env Réparti + interface artefacts (Ricci & Omicini) Par envoi de message interaction directe message Agents réactifs Support = environnement! env

Interaction indirecte Stigmergie Principe Les échanges d'informations passent par une modification de l'environnement Origine P.P. Exemple Grassé 59, La théorie de la Stigmergie : Essai d'interprétation du comportement des termites constructeurs, Insectes Sociaux, 6, 1959, p. 41-80. : concentrations locales de phéromones Modification de toile chez des araignées sociales.

Interaction Phéromones Substance Dans [Florkin66] une coactone désigne toute substance chimique responsable d une interaction entre deux organismes. Phéromone, du grec pherein (transporter) et hormân (exciter) (syn. phéro-hormone, phéromone), désigne tout produit chimique sécrété à l'extérieur du corps et qui lorsqu'il est reçu par un individu de la même espèce provoque une ou plusieurs réactions spécifiques. spécifique d une espèce : Chez Chez les insectes : Sexuelles (papillon, Reine des abeilles); Alarme et défense (abeille, Fourmis). les vertébrés : Marquage de territoire, reconnaissance de l espèce, accouplement.

Stigmergie Exemple Colonies de fourmis

Stigmergie Exemple Manta [Corbara 93] Environnement chaque les : à la fois espace topologique et médium de communication entre agents agent propage des stimuli sous forme de gradients dans l environnement stimuli sont perçus et interprétés par les autres agents

Organisation

Organisation Définition L organisation est un phénomène supra-individuel. Définie par le concepteur ou les acteurs afin d accomplir un but. Cadre de coopération prédéfinis... ou émergents!

Organisation Utilisation Organisation des agents par rôles, hiérarchies, hétérarchies... de rétro-actions dans les groupes : positive pour la morphogénèse (Extension) négative pour la morphostase. (Stabilisation)

Utilisateur

Utilisateur Agents réactifs = simulation 2 types d'utilisateurs: - Client Interface de gestion des simulations (environnement, IHM) - Réalité Virtuelle Interaction avec les agents

Plan Introduction Principe, propriétés, exemple. Mise en œuvre Environnement Agent Interaction Organisation : modélisation, : algorithme, architecture, : stigmergie, : discussion. Exemple PF Ségrégation Plus : Madkit sociale court chemin,

Exemple de PF : Madkit Simulation

Exemple Ségrégation sociale Modèle de Schelling : Comment se forment les phénomènes de ségrégation spatiale? Modélisation Agent : décisions locales et patterns émergents

Exemple Ségrégation sociale Automate cellulaire Grille Agents 2D : habitations vides ou habitées positionnés sur cette grille N communautés, chaque agent appartient à une communauté Initialisation aléatoire

Exemple Ségrégation sociale Transitions : Si Si une cellule est libre, un agent peut venir l'habiter, à probabilité égale une famille est entourée à plus de 70 % par des familles d'une autre communauté, dans un rayon de 5 cellules, elle déménage

Exemple Ségrégation sociale

Exemple Voyageur de commerce Objectif : trouver le chemin le plus court entre n villes, qui passe une seule fois par chaque ville. Cycle hamiltonien minimal dans un graphe pondéré. Principe approche par agent réactif Fourmi Dépose : analyse une partie des solutions, des phéromones en fonction des villes parcourus.

Exemple Voyageur de commerce Ant Colony Optimization : Résolution Les Décision de problèmes combinatoire basés sur une analogie avec les mécanismes mis en œuvre dans les colonies de fourmis fourmis se déplacent en déposant des phéromones et sont attirées par elles collective du plus court chemin

Exemple Voyageur de commerce Description informelle : Chaque Les A arc se voit attribuer, en plus de sa distance, un taux de phéromones fourmis font un tour complet des villes selon des règles probabilistes : emprunter le chemin le plus court et le plus riche en phéromones chaque itération : Evaporation des phéromones Augmentation du taux en fonction de la longueur des parcours

Voyageur de commerce Modélisation Environnement invariant G c = (V,E) graphe complet ; ensemble des sommets = villes ; ensemble des arcs valués = distance d ij entre 2 villes ; V E i,c j V et d ij = d(c i,c j ) E. Environnement modifiable Nombre τ d agents sur chaque sommet ij (t) : quantité de phéromones artificielles déposées par les agents fourmis sur chaque arête (i, j). Agent Fonction Fonction Mémoire de perception : sommets de son voisinage et phéromones des arcs d action : souhait de l arc à ajouter à la solution des arcs visités

Voyageur de commerce Modélisation Environnement invariant G c = (V,E) graphe complet ; ensemble des sommets = villes ; ensemble des arcs valués = distance d ij entre 2 villes ; V E i,c j V et d ij = d(c i,c j ) E. Environnement modifiable Nombre τ d agents sur chaque sommet ij (t) : quantité de phéromones artificielles déposées par les agents fourmis sur chaque arête (i, j). Agent Fonction Fonction Mémoire de perception : sommets de son voisinage et phéromones des arcs d action : souhait de l arc à ajouter à la solution des arcs visités

Voyageur de commerce Paramétrage Probabilité du choix de l arc (1) Modification de la quantité de phéromones (2) Evaporation (3)

Voyageur de commerce Algorithme

Exemple Voyageur de commerce Résultats Espace Exemple de la méthode : Heuristique aussi bonne ou meilleure que les algorithmes génétiques, évolutionnaires dans le cas général Performant en statique et dynamique de paramètres importants! d'utilisation : Routing Problèmes (acheminement de paquets IP) : les fourmis modifient les tables d'adressage, l'évaporation permet de gérer la dynamique RO (coloration de graphes...)

Agent réactifs Discussion Avantages Economique Simplicité de développement Robuste Elégance

Agent réactifs Discussion Limites Agent n ayant pas de représentation de l environnement doit pouvoir accéder à suffisamment d information de son environnement local. Information limitée = maximum locaux Difficile de développer des agents avec de multiples comportements, la dynamique des interactions devenant trop complexe. Agents bêtes = concepteur intelligent