Architectures de sélection d actions. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101

Transcription

1 Architectures de sélection d actions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 1 / 101

2 Plan Introduction 1 Introduction V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 2 / 101

3 Introduction Introduction Comment choisir une action qui va mener à l accomplissement des buts de l agent De manière autonome De manière réactive De manière pro-active Comment éviter les oscillations entre actions Architecture de Sélection d Actions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 3 / 101

4 Introduction suite Introduction Plusieurs techniques possibles dépendantes : du type d architecture des agents des applications V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 4 / 101

5 Part I Architecture BDI V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 5 / 101

6 Plan Introduction 2 Introduction 3 Logique modale pour agents BDI 4 Principes des agents BDI 5 Exemple d implémentation d agents BDI 6 Conclusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 6 / 101

7 Principes Introduction [Rao and Georgeff, 1995] L architecture BDI est issue de l étude philosophique du raisonnement pratique. Et consiste à décider à tout moment : Quoi faire, Comment le faire. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 7 / 101

8 Introduction suite Introduction Quand vous avez une décision à prendre vous examinez les choix qui s offrent à vous (les options ou Désirs) et vous en choisissez un dans lequel vous vous engagez. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 8 / 101

9 Introduction suite Introduction Quand vous avez une décision à prendre vous examinez les choix qui s offrent à vous (les options ou Désirs) et vous en choisissez un dans lequel vous vous engagez. Les choix offerts sont fonctions de vos croyances (Beliefs). L option choisie devient une Intention. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 8 / 101

10 Introduction suite Introduction Quand vous avez une décision à prendre vous examinez les choix qui s offrent à vous (les options ou Désirs) et vous en choisissez un dans lequel vous vous engagez. Les choix offerts sont fonctions de vos croyances (Beliefs). L option choisie devient une Intention. Tom a un final le lendemain. Il a le choix de faire la fête ou de rester chez lui pour bosser son examen. S il choisit de faire la fête il va s investir consciencieusement dans ce choix. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 8 / 101

11 Introduction suite Introduction Les hypothèses L intention mène à des actions. L agent va essayer d agir pour aboutir à la satisfaction de l intention. L intention va avoir une persistance dans le temps...mais pas trop. L intention est en lien avec mes croyances (Beliefs) futures. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 9 / 101

12 Introduction Introduction suite et fin En résumé [Wooldridge, 2003] Les intentions dirigent le raisonnement moyen-fins Les intentions contraignent les délibérations futures Les intentions persistent Les intentions influencent les croyances futures V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 10 / 101

13 Plan Logique modale pour agents BDI 2 Introduction 3 Logique modale pour agents BDI 4 Principes des agents BDI 5 Exemple d implémentation d agents BDI 6 Conclusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 11 / 101

14 Logique modale pour agents BDI [Weiss, 1999] En logique classique la sémantique d une formule renvoit vraie ou faux. La logique modale propose d autre type de vérité comme il est possible que ou il est nécessaire que V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 12 / 101

15 CTL Logique modale pour agents BDI En fait on considère que la vérité d une formule dépend d un contexte qu on appelle monde possible Une des utilisations de ces mondes possibles est de les considérer comme un historique Logique du temps arborescent V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 13 / 101

16 Logique modale pour agents BDI Quantificateurs de CTL Aφ sur toutes les branches φ Eφ sur certaines les branches φ V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 14 / 101

17 Logique modale pour agents BDI (Bel i φ) i croit que φ est vraie (Des i φ) i désire que φ est vraie (Int i φ) i a l intention de réaliser φ V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 15 / 101

18 Logique modale pour agents BDI Logique pour agents BDI (Des i φ) = (Bel i φ) (Int i φ) = (Des i φ) et donc (Int i φ) = (Bel i φ) V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 16 / 101

19 Logique modale pour agents BDI B=Beliefs, D=Desire, I=Intention B relation d accessibilité des croyances ou opérateur modal. Pour chaque agent et chaque moment tout ce que l agent croit possible. D ou désirs associe à tout moment ce que veut l agent. Un agent a un désir φ a un moment ssi φ est vraie dans les mondes D-accessibles de l agent. I ou intentions associe à tout moment pour chaque agent les conditions vraies pour les futurs de l agent ce qui définit un ensemble de chemins sélectionnés/préférés. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 17 / 101

20 Plan Principes des agents BDI 2 Introduction 3 Logique modale pour agents BDI 4 Principes des agents BDI 5 Exemple d implémentation d agents BDI 6 Conclusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 18 / 101

21 Principes des agents BDI Des croyances courantes (Beliefs) une fonction de révision des croyances (brf) une fonction de génération d options (options) des options courantes qui représentent les actions possibles une fonction de filtre qui représente le processus de délibération de l agent et qui calcule les intentions de l agent un ensemble d intentions courantes une fonction de sélection d actions (execute) qui détermine l action à exécuter en fonction des intentions courantes. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 19 / 101

22 Principes des agents BDI B:=B 0 ; I:=I 0 ; tant que True faire p:=getpercept(); B:=brf(B,p); D:=options(D,I); I:=filter(B,D,I); π:=plan(b,i); execute(π); fin Algorithme 1 : Algorithme naïf d un agent BDI V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 20 / 101

23 Exemple Principes des agents BDI Beliefs Desires Intentions exécuté accompli verre verre boire - - g-add(boire) verre boire { soda, - g-add(soda) boisson } aucunsoda boire - frigo frigo, g- add(boire) verre boire { boisson } prendreboisson prendreboisson boire - - boire boire V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 21 / 101

24 Principes des agents BDI Problèmes et hypothèses liés à l algorithme Les intentions posent le problème de comment les réaliser Les intentions fournissent un filtre pour adopter d autres intentions S il y a échec lors de la réalisation d une intention l agent retente Les agents croient que leurs intentions sont possibles E φ Les agents ne croient pas qu ils ne peuvent pas réussir leurs intentions A φ Les agents croient que sous certaines conditions ils peuvent réussir leurs intentions A φ Les agents ne s attendent pas à tous les effets de leur intention V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 22 / 101

25 Principes des agents BDI B:=B 0 ; I:=I 0 ; tant que True faire p:=getpercept(); B:=brf(B,p); D:=options(D,I); I:=filter(B,D,I); π:=plan(b,i); execute(π); fin V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 23 / 101

26 Principes des agents BDI B:=B 0 ; I:=I 0 ; tant que True faire p:=getpercept(); B:=brf(B,p); D:=options(D,I); I:=filter(B,D,I); π:=plan(b,i); execute(π); fin tant que non vide(π) ou succès(i,b) ou impossible(i,b) faire α:=head(π); execute(α); π:=tail(π); p:=getpercept(); B:=brf(B,p); si reconsider(i,b) alors D:=options(π); I:=filter(B,D,I); si non sound(π,i,b) alors π:=plan(b,i); fin V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 23 / 101

27 Remarques Principes des agents BDI Architecture pour SMA cognitifs Comportements fortement prédictibles Problèmes de sémantique et d efficacité Complexité d analyse et conception V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 24 / 101

28 Plan Exemple d implémentation d agents BDI 2 Introduction 3 Logique modale pour agents BDI 4 Principes des agents BDI 5 Exemple d implémentation d agents BDI 6 Conclusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 25 / 101

29 IRMA Exemple d implémentation d agents BDI [Chaib-Draa, 2003] Une librairie de plans Beliefs ou croyances Desires sous forme de tâches Intentions sous-ensemble de désirs que l agent a choisi et sur lesquels il s est engagé V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 26 / 101

30 Exemple d implémentation d agents BDI IRMA suite et fin un moteur d inférence pour raisonner sur le monde un analyseur moyen-fin détermine quels plans sont les mieux adaptés pour réaliser les intentions un analyseur d opportunité monitore l environnement et peut générer de nouvelles options un processus de filtrage détermine quelles options sont compatibles avec les intentions courantes un processus de délibération pour décider quelles sont les intentions à adopter V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 27 / 101

31 Plan Conclusion 2 Introduction 3 Logique modale pour agents BDI 4 Principes des agents BDI 5 Exemple d implémentation d agents BDI 6 Conclusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 28 / 101

32 Conclusion Conclusion Une des architectures agent les plus utilisés jusque là Lien intuitif avec actes de langages Formalisation de nombreux aspects V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 29 / 101

33 Part II Architectures modulaires V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 30 / 101

34 Plan Subsomption 7 Subsomption 8 Architecture ANA de P. Maes V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 31 / 101

35 Subsomption [Brooks and Connell, 1986] Architecture modulaire verticale Interaction par rapport dominance/dominé V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 32 / 101

36 Subsomption Dominant Stimulus Dominé Réponse V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 33 / 101

37 Subsomption éviter les obstacles Stimulus se rapprocher du but Réponse V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 34 / 101

38 Exemple de genghis Subsomption [Brooks, 1989] V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 35 / 101

39 Subsomption Architecture de genghis Se Lever Marche Simple 2Balance Perceptions Hauteur Patte Moustaches 6Balance Explorer Suiveur Commande V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 36 / 101

40 Plan Architecture ANA de P. Maes 7 Subsomption 8 Architecture ANA de P. Maes V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 37 / 101

41 Définitions Architecture ANA de P. Maes [Maes, 1989] Définition Un module i est défini par un quadruplet (c i, a i, d i, α i ). Où c i est une liste de pré-conditions à remplir avant d activer le module a i et d i sont les effets attendus du module sous la forme de listes d ajouts et de retraits α i est le niveau d activation du module. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 38 / 101

42 Définitions Architecture ANA de P. Maes Il y a un arc successeur d un module x vers un module y pour tout p a x c y Il y a un arc prédecesseur d un module x vers un module y pour tout p c x a y il y a un arc inhibiteur d un module x à un module y pour tout p c x d y V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 39 / 101

43 Architecture ANA de P. Maes Principes : activation Activation par les perceptions : ajout d énergie aux modules qui matchent partiellement l état de l environnement Activation par les buts : ajout d énergie aux modules qui accomplissent un des buts de l agent (add-list) Inhibition par buts protégés : on enlève de l énergie à un module si un des buts déjà réalisé fait partie de sa liste des retraits (delete-list) V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 40 / 101

44 Architecture ANA de P. Maes Principes : propagation Activation des successeurs : on augmente l énergie des successeurs d un module actif Activation des prédecesseurs : on augmente l énergie des prédecesseurs d un module non actif Inhibition des modules conflictuels : chaque module diminue l énergie des modules qui sont en conflit avec lui V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 41 / 101

45 Algorithme Architecture ANA de P. Maes tant que True faire Impacter niveaux d action par env et buts ; Propagation d énergie par les arcs du graphe; Dégrader énergie; si 1 module exécutable et niveau d énergie seuil d activation alors ce module devient actif; remise à 0 du niveau d énergie de ce module; si deux modules répondent à ces conditions alors choix aléatoire; remise à 0 du niveau d énergie de ce module; si aucun module alors seuil diminué de 10% fin V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 42 / 101

46 Architecture ANA de P. Maes Paramètres globaux θ : le seuil pour qu un module devienne actif φ : l énergie qu une proposition vraie observée injecte dans le réseau γ : l énergie qu un but injecte dans le réseau δ : l énergie qu un but protégé enlève du réseau V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 43 / 101

47 Exemple Architecture ANA de P. Maes Soit un robot avec deux mains qui doit se peindre lui-même avec un spray et poncer une planche. Une fois peint le robot n est plus opérationnel. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 44 / 101

48 Architecture ANA de P. Maes Exemple suite PICK-UP-SPRAYER condition-list : sprayer-somewhere hand-is-empty add-list : sprayer-in-hand delete-list : sprayer-somewhere hand-is-empty PICK-UP-SANDER condition-list : sander-somewhere hand-is-empty add-list : sander-in-hand delete-list : sander-somewhere hand-is-empty PICK-UP-BOARD condition-list : board-somewhere hand-is-empty add-list : board-in-hand delete-list : board-somewhere hand-is-empty V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 45 / 101

49 Architecture ANA de P. Maes Exemple suite put down sprayer put down sander put down board predecesseur pick up sprayer pick up sander pick up board inhibiteur spray paint self sand board in hand place board in vise sand board in vise V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 46 / 101

50 Conclusion Architecture ANA de P. Maes Architecture de sélection d actions connectioniste et délibérative Apprentissage des paramètres possible Problème de choix entre actions avec niveau d énergie équivalent Difficulté de prise en compte de buts multiples V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 47 / 101

51 Part III Systèmes Auto-organisé V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 48 / 101

52 Plan Introduction 9 Introduction 10 SMA Holonique Framework générique Exemple : le maillage adaptatif Conclusion 11 Système immunitaire Introduction Réseau idéotypique Structures Exemple : robots footballeurs 12 Sélection par clonage Conclusion 13 Conclusion générale V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 49 / 101

53 Introduction Apparition dynamique de structures intéressantes Etat stable vus comme des solutions (ECO-résolution) Modélisation intentionnelle on va provoquer l émergence de structures organisationnelles pertinentes V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 50 / 101

54 Introduction suite Introduction Plusieurs niveaux d interprétation/modélisation nécessaire pour expliquer l émergence en terme d organisations. Les choses n existent que de la façon dont on les perçoit à une certaine échelle. B. Mandelbrot V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 51 / 101

55 Plan SMA Holonique 9 Introduction 10 SMA Holonique Framework générique Exemple : le maillage adaptatif Conclusion 11 Système immunitaire Introduction Réseau idéotypique Structures Exemple : robots footballeurs 12 Sélection par clonage Conclusion 13 Conclusion générale V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 52 / 101

56 SMA Holonique Définition structures naturelles ou artificielles qui ne sont ni touts ni parties au sens absolu. (Kostler, 1967) Chaque holon peut être composé d un ensemble de sous-holons et/ou être membre d un holon qui le contient Cette holarchie définit une structure organisationnelle apte à réagir de manière dynamique aux changements de l environnement Chaque holon utilise au mieux les ressources et répond au mieux aux buts du système V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 53 / 101

57 Exemple SMA Holonique V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 54 / 101

58 Exemple suite SMA Holonique V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 55 / 101

59 Structure d un holon SMA Holonique Framework générique Comment les sous-holons sont organisés pour former un super-holon? trois solutions [Gerber et al., 1999] V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 56 / 101

60 Structure d un holon SMA Holonique Framework générique Comment les sous-holons sont organisés pour former un super-holon? trois solutions [Gerber et al., 1999] Fusion V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 56 / 101

61 Structure d un holon SMA Holonique Framework générique Comment les sous-holons sont organisés pour former un super-holon? trois solutions [Gerber et al., 1999] Fusion Groupes modérés V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 56 / 101

62 Structure d un holon SMA Holonique Framework générique Comment les sous-holons sont organisés pour former un super-holon? trois solutions [Gerber et al., 1999] Fusion Groupes modérés Fédération V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 56 / 101

63 SMA Holonique Framework générique [Rodriguez et al., 2003] Standalone : initialisation, un holon tout seul Head : représentant d un holon à l extérieur, gère le holon Part : membre d un holon Multipart : membre de plusieurs holons V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 57 / 101

64 SMA Holonique Framework générique : structure Framework générique V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 58 / 101

65 Interactions inter-holons SMA Holonique Framework générique Fusion Standalone 1 * Head > merge <accept refuse V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 59 / 101

66 Interactions intra-holon SMA Holonique Framework générique Holon Management Multipart * 1 Head 1 Part * V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 60 / 101

67 Satisfactions SMA Holonique Framework générique Self Satisfaction (SS i ) produite pour un holon i par ses actions. Collaborative Satisfaction (CSi H ) produite pour un holon i par ses collaboration avec les autres membres du super-holon H. Accumulative Satisfaction (AS i ) produite pour un holon i par ses collaborations avec les membres des super-holons. AS i = CS p i p superholon(i) p (1) V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 61 / 101

68 Satisfactions (suite) SMA Holonique Framework générique Instant Satisfaction (IS i ) Current satisfaction of holon i CS i + SS i R i = Part Head i HMAS IS i = AS i + SS i R i = MultiPart SS i R i = Stand Alone (2) R i : role joué par le holon i. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 62 / 101

69 Dynamique des rôles SMA Holonique Framework générique Stand Alone [ SS < NS ] Head [ SS < NS ] [ LS > SS or REJECTED ] [ ( SS < NS ) and ( SS > Head.SS ) ] Fusioning [LS < SS] Part V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 63 / 101

70 SMA Holonique Framework générique : affinité Framework générique Critère de décision pour le choix du holon avec qui fusioner Heuristique pour l émergence de structures organisationnelles Attirance/complémentarité de services/ressources V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 64 / 101

71 Le maillage adaptatif SMA Holonique Exemple : le maillage adaptatif V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 65 / 101

72 SMA Holonique Exemple : adaptation du framework Exemple : le maillage adaptatif Satisfaction NS = couverture maximale des stations émettrices SS = ressource d un holon Head.SS = ressource d une maille V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 66 / 101

73 SMA Holonique Exemple : adaptation du framework Exemple : le maillage adaptatif Affinité Affinité liée à la distance (contrainte géométrique) On conserve des mailles convexes Affinité liée à la ressource (couverture) On tente d obtenir des mailles de ressource homogène V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 67 / 101

74 SMA Holonique Exemple : le maillage adaptatif Head Parts Holon trying to fusion Acceptance distance Average Distance V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 68 / 101

75 Conclusion SMA Holonique Conclusion Framework générique pour SMA auto-organisés Difficulté de conception de la distance et du paramétrage des satisfactions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 69 / 101

76 Plan Système immunitaire 9 Introduction 10 SMA Holonique Framework générique Exemple : le maillage adaptatif Conclusion 11 Système immunitaire Introduction Réseau idéotypique Structures Exemple : robots footballeurs 12 Sélection par clonage Conclusion 13 Conclusion générale V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 70 / 101

77 Vue calculatoire du SI Système immunitaire Introduction [Farmer et al., 1986] parallèle, distribué, système complexe (non prévisible). V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 71 / 101

78 Principes généraux Système immunitaire Introduction Collectif : La réponse du SI est collective c est l anticorps dont le paratope correspond le mieux à l épitope de l antigène. Auto-régulé : au travers de stimulation-inhibition la population d anticorps évolue selon les agressions. Auto-organisation : la structure du SI varie selon les évolutions de l environnement. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 72 / 101

79 Mécanismes de base Système immunitaire Introduction Le SI fonctionne selon trois grands principes Reconnaissance (intrus/non intrus) Apprentissage Mémoire associative V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 73 / 101

80 Comment ça marche? Système immunitaire Introduction Système Immunitaire au repos Antibody 1 Antibody 2 Antibody 3 V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 74 / 101

81 Comment ça marche? Système immunitaire Introduction Antigen Un Antigène arrive Antibody 1 Antibody 2 Antibody 3 V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 74 / 101

82 Comment ça marche? Système immunitaire Introduction Antigen l Antigène est reconnu (self/non self) Antibody 1 Antibody 2 Antibody 3 V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 74 / 101

83 Comment ça marche? Système immunitaire Introduction Antigen Antibody 3 Mémoire Associative Antibody 1 Antibody 2 Antibody 3 Antibody 3 Antibody 3 V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 74 / 101

84 Comment ça marche? Système immunitaire Introduction Immune System au repos et amélioré (apprentissage) Antibody 1 Antibody 2 Antibody 3 V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 74 / 101

85 Réseau idéotypique Système immunitaire Réseau idéotypique [Jerne, 1974] Les anticorps communiquent par des liens de stimulation-inhibition et identifie les intrusions (antigènes) L idéotope d un anticorps est reconnu par les autres anticorps comme un antigène. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 75 / 101

86 Système immunitaire Réseau idéotypique de Jerne Structures [Watanabe et al., 1999] Antigen epitope B Cell 3 B Cell 2 idiotope 3 paratope 3 B Cell 1 idiotope 2 paratope 2 idiotope 1 Stimulation paratope 1 Suppression V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 76 / 101

87 Système immunitaire Mécanisme d adaptation Structures Mécanisme d auto-régulation. Maintenance d un ensemble approprié de cellules. Optimisation de la réaction à l environnement. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 77 / 101

88 Comportement du SI Système immunitaire Structures [Watanabe et al., 1999] Bone marrow Immune Network remove natural death incorporation new antibody proliferation V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 78 / 101

89 Système immunitaire Structures Résolution par Auto-organisation Emerged service idiotypic network=h agent B agent V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 79 / 101

90 Structure des agents Système immunitaire Structures [Watanabe et al., 1999] précondition attributs, code, données, comportement Paratope Spécification de l agent références au à d autres B-Agent à stimuler ou inhiber avec le degré correspondant (affinité) Idéotope V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 80 / 101

91 Structure du SMA Système immunitaire Structures [Suzuki and Yamamoto, 2000] Antibody 1 paratope behaviour m1i mi1 Antibody 1 paratope behaviour Antibody j paratope behaviour mji Antibody i paratope behaviour mik Antibody k paratope behaviour Antibody N Antibody M paratope behaviour mni Antigen 1 mim paratope behaviour V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 81 / 101

92 Méchanisme d affinités Système immunitaire Structures Ab i est choisit, {Ab j1,..., Ab jn } sont sélectionnés Ab i reçoit des récompenses : les affinités de {Ab j1,..., Ab jn } avec Ab i augmentent Ab i reçoit des pénalités : les affinités de Ab i avec {Ab j1,..., Ab jn } augmentent V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 82 / 101

93 Calcul de l affinité Système immunitaire Structures m 12 = T p Ab1 + T Ab2 r T Ab2 Ab1 (3) is the number of times penalty reinforcement signals were received when Ab1 was selected. T Ab1 p is the number of times reward reinforcement signals were received when Ab2 was selected. T Ab2 r TAb1 Ab2 is the number of times both, Ab1 and Ab2, have reacted to specific antigens. V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 83 / 101

94 Système immunitaire Calcul de la concentration Structures da i (t) dt = (α 1 N N m ji a j (t) α 1 M j=1 M m ik a k (t) + βm i k i )a i (t) k=1 stimulation par anticorps ayant une affinité positive inhibition par anticorps ayant une affinité négative m i =0 1 (stimulé ou non) facteur de dissipation V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 84 / 101

95 Système immunitaire Structures Calcul de la concentration (suite) La valeur calculée est rapporté à un intervalle [0,1] a i (t) = exp(0.5 A i (t)) V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 85 / 101

96 Scénario Système immunitaire Structures ImmuneSystem Antibody environmentanalysis() *antigens() stimulationtest() *[stimulated]broadcast() sendconcentration() computeconcentration() choosewinningantibody() execute() behavior() analyseaction() *reinforcement() updateaffinities() Figure: Séquence typique d interactions V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 86 / 101

97 Principes généraux Système immunitaire Exemple : robots footballeurs Equipe Affectation role Role Affectation objectif Mouvement V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 87 / 101

98 SI de bas niveau Système immunitaire Exemple : robots footballeurs Quelques anticorps : Paratope Spécification de l agent AimFront MoveFront ObstacleLeft MoveFront ObstacleRight TurnLeft Idéotope V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 88 / 101

99 SI de niveau moyen Système immunitaire Exemple : robots footballeurs defense far defense far defense far Figure: Examples of medium level antibodies Precondition Behavior Affinities defense-far NorthEast Table: Medium level immune system antibody example V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 89 / 101

100 SI de haut niveau Système immunitaire Exemple : robots footballeurs Precondition Behavior Affinities TeamInControl and (BallZone goalkeeper, near-defender, =1 or BallZone=2 or Ball- midfielder, left-attacker, rightattacker Zone=3) Table: High level immune system antibody example V. Hilaire () Intelligence Artificielle Distribuée & Systèmes Multi-Agents IA54 90 / 101