Amal El Fallah Seghrouchni
Teaching

FoSyMa - Fondements des Systèmes Multi-Agents

LCR - Logique, Calcul et Raisonnement

CoCoMa - Coordination et Consensus Multiagents: Modèles, Algorithmes, Protocoles (2014-2015)

Responsable:  Amal El Fallah Seghrouchni
Equipe: Aurélie Beynier, Amal El Fallah Seghrouchni, Nicolas Maudet
ECTS: 6
Semestre: M2S3

Dans cette UE, nous étudions les systèmes multi-agents (SMA) cognitifs comme paradigme de conception et de mise en œuvre de systèmes intelligents, autonomes et complexes. Plus spècifiquement, nous y approfondissons deux aspects : la Coordination et le Consensus Multi-agents. L'U.E. CoCoMa est organisée comme suit :

  • Cours 1 : Introduction aux agents autonomes et aux systèmes multi-agents cognitifs.
  • - Définition d'agents autonomes
    - Modèles d'agents : un continuum allant des agents réactifs aux agents cognitifs.
    - Fondements des SMA cognitifs
    - les principes d'autonomie, de coopération, et d’interaction ;
    - les architectures d’agents (ex ; architecture BDI) ;
    - les protocoles d’interaction multi-agents ;
    - les modèles d’environnements des SMA.
    - Illustration : étude d’un système multi-agent pour la modélisation d'une flottille de drones en mission de protection d'un convoi humanitaire.


  • Cours 2 : Coordination multi-agents : problématique et approches
  • - Présentation de la problématique de la coordination multi-agent
    - Classification des modèles de planification
    - Principales approches de coordination multi-agents: résolution distribuée de problèmes, planification multi-agent, formation de coalition, négociation, protocoles de coopérations, etc.
    - De la planification mono-agent à la planification multi-agent.
    - Un modèle hiérarchique pour la planification multi-agents (HTN)
    - Un modèle récursif pour la planification multi-agents (RdPR)


  • Projet : Description du projet (phase 1), des outils de travail, et un article décrivant ACO.

  • Voici la description de la phase 2 du projet , du mode d'évaluation de votre projet, et de l' ordre des présentations des projets -- Bien lire S.V.P.



  • Cours 3 : Coordination multi-robots par insertion incrémentale de plans
  • Ce cours aborde la problématique de la coordination temporelle dans un contexte multi-agents et l'illustre par la planification multi-robots. Ce cours étudie le planificateur temporel IxTet développé au LAAS et son application à la planification multi-robots.


  • Cours 4 : Coordination de plans temporels multi-agents
  • Ce cours approfondie la problématique de la coordination temporelle dans un contexte multi-agents et l'illustre par deux nouveaux modèles de planification / coordination temporelle.

    - Modèle temporel à base d'automates hybrides pour la coordination (exemple : SCALA pour la coordination de missions aériennes) ;
    - Modèle temporel basé sur le planificateur SAPA (Coordinated SAPA)


  • Cours 6 et 7: Planification et coordination multi-agent sous incertitude
  • - Modèles markoviens pour le cas coopératif
    - Problèmes de complexité, algorithmes exacts et approchés


  • Cours 8 : Résolution en-ligne et apprentissage
  • - Cadre non-coopératif et jeux bayésiens


  • Cours 9 : Optimisation de Contraintes Distribuées
  • - Modèles DCOP
    - Approche ADOPT et autres


  • Cours 10 : Allocation de ressources
  • - algorithmes centralisés versus approches multiagents.
    - Propriétés: optimalité, résistance au comportement stratégique des agents, complexité de communication.
    - Allocation par enchères (appariement, enchères combinatoires).
    - Partage équitable: définition, algorithmes, protocoles (picking séquences).


  • Cours 11 : Négociation bilatérale
  • - axiomatique de la négociation,
    - protocole de négociation monotone (MCP) et stratégie de Zeuthen,
    - protocole des offres alternées


  • Cours 12 : Négociation multilatérale
  • - protocoles avec médiateurs,
    - extensions de MCP,
    - négociation basées sur le Contract-Net,
    - négociation sur les réseaux


  • Cours 13 : Consensus
  • - définitions, propriétés.
    - modèle de l'équilibre structurel.
    - modèles de réputation.


  • Cours 14: Argumentation
  • - définitions, notions de consensus argumentatif.
    - protocoles de persuasion,
    - stratégies argumentatives.

    Quelques liens
    Voir cette vidéo d'un projet réalisé sur cette thématique.

Teaching

  • Started teaching at the univeristy in 1987 as lecturer.
  • Had a pedagogical contract from September 1995 to August 1998 (3 years).
  • Benefited from a sabbatical year (1999 - 2000).
  • Benefited from a delegation at CNRS, the first year was on 2001-2002, and 2 ongoing years from 2010 to 2012.
  • Taught courses in different specialized masters such as the master of the University Paris Dauphine (from 1994 to 2002), the University Paris 13 (from 2000 to 2002) at Paris 6 (since 2006) and at the Engineering school (ESIEA, from 1993 to 1996).

Courses and Associated Cursus

Software Engineering

Licence (undergrade) and Maîtrise (1st year of master) MIAGE (Paris X)

Operating systems (Unix)

Projects operating systems/networks

Operating systems (VMS, Windows et Unix).

 

 

 

DUT  (University of Paris XIII) : Diplome Universitaire de Technologie

Advanced Algorithmic and data structures.

Relational Data Bases

Theory of languages and compilation.

Programming Langages (Pascal, C, C++, JAVA, Scheme).

Methodology for Information Systems (Merise, UML)

Programming games and logical programming.

 

Engineer school  (ESIEA - Paris) and Master of Paris 6

Knowledge representation, formal modelling and problem solving.

Distributed Artificial Intelligence.

Multi-Agent Planning and distributed planning.

Multi-Agent Systems

MASTER Paris 6, Paris 9 and Paris 13.