34
1 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Thema: Working Together Christian Liguda & Simon Schmid

Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

1

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Thema: Working Together

Christian Liguda & Simon Schmid

Page 2: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

2

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Beispiel I – Komplexe Systeme

Divide and Conquer Prinzip

Page 3: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

3

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Beispiel II – Spiele KI

Page 4: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

4

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 5: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

5

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 6: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

6

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

Paralelles Problem lösen

Ziel: Geschwindigkeit

Teilknoten alle gleiche Fähigkeiten

Page 7: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

7

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

Paralelles Problem lösen

Ziel: Geschwindigkeit

Teilknoten alle gleiche Fähigkeiten

Page 8: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

8

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

Paralelles Problem lösen

Ziel: Geschwindigkeit

Teilknoten alle gleiche Fähigkeiten

Page 9: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

9

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

Paralelles Problem lösen

SETI@Home ClimatePrediction.net Electricsheep

Page 10: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

10

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPS Arten von CDPS

“Traditionelles” CDPS

Ein gemeinsames Ziel

Keine Konflikte untereinander

Aufgabenverteilung fest

vorgegeben

Page 11: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

11

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

“Traditionelles” CDPS

Beispiel: Unterstützung in Design Systemen

Für jede Aufgabe ein Agent

Vorschläge für nächste Aktion

Überprüfung auf einzuhaltende Standards

Numerische Analyse für Stärke, Größe, ...

...

AutoCAD

Weiteres Beispiel: Max

Page 12: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

12

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPSArten von CDPS

Multiagentensysteme

Agenten mit eigenen Interessen

Agenten selbstentscheidend

Kooperieren als Gemeinschaft

Konflikthafte Situationen

Wie kann eine Gemeinschaft

von autonomen Agenten gestaltet werden

Page 13: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

13

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPS

Kriterien zur Beurteilung von Multiagentensystemen

Koherenz:

Qualität der Lösung

Umgang mit Ressourcen

Umgang mit Unsicherheit und Fehlern

Koordination:

Keine gegenseitige Behinderung der Ziele

Page 14: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

14

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in CDPS

Wichtige Fragen zu CDPS

1) Problemzerlegung

2) Konstruktion der Lösung aus Teillösungen

3) Erreichung größtmögliche Koherenz

4) Koordination der Agenten – (Teil 2)

Nächster Abschnitt

Page 15: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

15

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 16: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

16

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

3 Phasen Modell für CDPS

Für Multiagentensysteme wichtig: Task- / Result Sharing

Page 17: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

17

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

3 Phasen Modell für CDPS

Beispiel Flughafenverwaltung:

Problemzerlegung:

(Einzelne Flüge, Schalter belegen, etc.)

Problemlösung (Aufgabe der Agenten)

(Einzelne Agenten für jeden Terminal,

Flugzeug, Personal, Startbahn)

Lösungen zusammenführen

(Wann geht welcher Flug ? Wer fliegt ? Wo startet er ?...)

Page 18: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

18

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

3 Phasen Modell für CDPS

Methode

Page 19: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

19

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 20: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

20

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Task Sharing im Contract Net (CNET)Modell

Frage: Wer macht was ?Vorgehen: (vereinfacht)

Teilproblem bekanntmachen Agenten können sich melden Auswahl aus interessierten Agenten Vertrag abschließen

Page 21: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

21

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Task Sharing mit CNETBeispiel

Beispiel Flughafenverwaltung:

Teilproblem:

Flug um 11:15 nach New York mit 115 Passagieren

Angebote:

(1) Flugzeug F003: Bereit 11:10, Kapazität 125 Passagiere

(2) Flugzeug F012: Bereit 10:50, Kapazität 210 Passagiere

Auswahl: F003

Mitteilung an F003 zur Auftragsausführung

Page 22: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

22

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Bekanntmachung des Fluges in KQML

Task Sharing mit CNETKQML - Bekanntmachung

Page 23: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

23

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Entscheidung eines Agenten:

Annahme oder nicht

Idee:

Verfügbare Ressourcen

+ Belohnung

> zusätzlicher Aufwand

Task Sharing mit CNETEntscheidung des Agenten I

Page 24: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

24

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Entscheidung eines Agenten (formal):

Definitionen:

Annahme wenn:

Task Sharing mit CNETEntscheidung des Agenten II

Extrakosten geringer als Ressourcen + Belohnung

Page 25: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

25

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Angebot eines Agenten in KQML

Task Sharing mit CNETKQML – Angebot

Page 26: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

26

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Task Sharing mit CNETUML Verlaufsdiagramm

Contract Net nach FIPA Standard:(Foundation for Intelligent Physical Agents)

Page 27: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

27

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 28: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

28

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Mitteilung von Teillösungen

Gründe:

Sicherheit (Umgebungsmodell erstellen)

Vollständigkeit (Verschiedene Sensoren)

Genauigkeit (Bestimmung einer Objektposition)

Schneller (Paralelles Verarbeiten)

Result Sharing

Page 29: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

29

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Einführung in Cooperative Distributed Problem Solving

3 Phasen Modell für CDPS

Aufgabenverteilung (task sharing) mit CNET

Result Sharing

Inkonsistenzen

Themenübersicht

Page 30: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

30

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Verschiedene Arten von Inkonsistenzen:

Unterschiedliche Ziele

Grund:

Autonome Agenten VerschiedeneZiele

Unterschiedliche Überzeugungen

Gründe:

Keine vollständigen Informationen

Eingeschränkte Sichtweise

Inkonsistenzen

Page 31: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

31

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Inkonsistenzen

Umgang mit Inkonsistenzen:

Darf nicht vorkommen

Verhandlung

Langsame Zurücknahme von Beliefs/ Planänderung/

Modifikation von Constrains bis....

Page 32: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

32

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Inkonsistenzen

Ziel: Vollstände und konsistente Lösung

Eigenschaften kobuster Systeme:

Inkrementelles Vorgehen anstatt vorrausplanen

Zwischenresulte austauschen anstatt einfach Daten

Inkonsistenten während des Problemlösens beseitigen

Anderer Lösungsweg (Viele Wege führen nach Rom)

Page 33: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

33

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Klausurfragen

Mit welchem Modell kann man verteilte Problemlösung

modellieren ? Wie funktioniert es ?

Was ist das CNET ? Wie ist der Ablauf im CNET ?

Welche Arten von Inkonsistenzen können auftreten ?

Wie geht man mit ihnen um ?

Page 34: Christian Liguda & Simon Schmid - uni-bielefeld.de · 2010-06-09 · 19 Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach Einführung in Cooperative

34

Geistes-, Sozial-, Technik- und Naturwissenschaften – gemeinsam unter einem Dach

Diskussion

Lässt sich das 3 Phasen Modell auch in Spielen wie

Quake 2 anwenden ? Wie könnte man es übertragen ?

Nenne ein Beispiel für Task Sharing im CNET für Quake 2.

Was sind Vor- und Nachteile dieser Art der Problemlösung ?