System av Autonoma Agenter

Transkript

1 System av Autonoma Agenter Edvin Wedin GU March 31, 2014 Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

2 Autonoma agenter Lokala regler: Varje agent påverkas enbart av de andra agenter som är tillräckligt nära. Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

3 Två infallsvinklar: 1 Givet ett mål, konstruera regler som uppfyller det (Sammanstrålningsproblem) 2 Givet regler, studera vad som kommer ur dem. Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

4 Hegselmann-Krause-modellen Modell i opinionsdynamik: N stycken agenter som vid tid t har åsikterna x t (1), x t (2),..., x t (N). I diskret tid uppdateras åsikterna enligt x t+1 (i) = 1 N t (i) där N t (i) = {j : x t (j) x t (i) 1}. j N t(i) x t (j), (1) Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

5 Exempel Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

6 Exempel Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

7 Exempel Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

8 Varför studera detta? Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

9 Varför studera detta? Tillämpningar! Robotik Biologi (både micro- och macro-) Opinionsdynamik Datoranimation För att vi kan! Flera problem verkar gå att angripa matematiskt Vissa framgångar har nåtts Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

10 Varför studera detta? Enkla tydliga regler leder till oväntade fenomen! Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

11 Varför studera detta? Enkla tydliga regler leder till oväntade fenomen! Många grundläggande teoretiska frågor är olösta Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

12 Varför studera detta? Enkla tydliga regler leder till oväntade fenomen! Många grundläggande teoretiska frågor är olösta Simuleringar visar på fenomen vi inte kan förklara Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

13 Datorsimulering 10 agenter, likformigt fördelade: Åsikter Tid Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

14 Datorsimulering 1000 agenter, likformigt fördelade: Åsikter Tid Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

15 Datorsimulering 1000 agenter, likformigt fördelade: Åsikter Tid Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

16 Datorsimulering 1000 agenter, likformigt fördelade: Åsikter Tid Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

17 Vad händer då antalet agenter går mot oändligheten? Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

18 Vad händer då antalet agenter går mot oändligheten? Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

19 Kontinuerlig version 2007 generaliserades modellen av Hendrickx et al. så att agenterna indexeras med ett reellt intervall istället för ändligt många heltal: Låt en agent α [0, M] R ha åsikten x t (α) vid tiden t. Åsikterna uppdateras enligt 1 x t+1 (α) = x t (β) dβ, (2) µ(n t (α)) N t(α) där N t (α) = {β : x t (β) x t (α) 1} Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

20 Kontinuerlig version 2007 generaliserades modellen av Hendrickx et al. så att agenterna indexeras med ett reellt intervall istället för ändligt många heltal: Låt en agent α [0, M] R ha åsikten x t (α) vid tiden t. Åsikterna uppdateras enligt 1 x t+1 (α) = x t (β) dβ, (2) µ(n t (α)) N t(α) där N t (α) = {β : x t (β) x t (α) 1} ( Ursprunglig formel: x t+1 (i) = 1 N t (i) j N t(i) x t (j) ) Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

21 Kontinuerlig version HK-operator Faltning Skev faltning Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

22 Exempel Åsikter Agenter Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

23 Exempel Åsikter Åsikter Agenter Agenter Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

24 Exempel Åsikter Åsikter?? Agenter Agenter Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

25 Förmodan Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

26 Datorsimulering Kom ihåg det diskreta fallet: En agent räcker! Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

27 Min konstruktion Åsikter 1 Agenter Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

28 Min konstruktion Densitet Åsikter Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

29 Lemma Bara de agenter som ser platån i mitten och delar av ett ackt område hamnar i ett brant område efter uppdatering. Lemma De acka områdena rör sig mot mitten i en takt proportionell mot bredden av de branta områdena. Lemma Derivatan bland dessa agenter måste öka, så de branta områdena måste bli smalare. Minskningen i de branta områdenas bredd är tillräckligt snabb för att de acka områdenas läge ska konvergera. Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

30 Lemma Bara de agenter som ser några populära åsikter på en kant och de populära i mitten får en åsikt med låg densitet i nästa steg. Lemma Topparna på sidorna rör sig mot mitten i en takt som är proportionell mot densiteten i de mellanliggande områdena. Lemma Densiteten för åsikter med låg densitet måste minska. Minskningen är tillräckligt snabb för att topparnas läge ska konvergera. Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

31 Andra spår Simuleringar Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

32 Andra spår Åsikter på en cirkel Avståndet till nästa agent ofta mer relevant än läget! Åsikter på en cirkel: Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

33 Andra spår Värsta fallet? Är detta värsta fallet? (Åsikter i aritmetisk progression) Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30

34 Sammanfattning Agenter med lokala regler Liknande beteende oavsett antal Konsensus inte garanterad ens för överuppräknerligt många agenter Simuleringar Åsikter på cirkel Värsta fallet Edvin Wedin (GU) System av Autonoma Agenter March 31, / 30