Diese Seite enthält Material und zusätzliche Informationen
zur Vorlesung "Agenten und Multiagentensysteme" (64-413) im
Sommersemester 2015.
Termine: Mi 12-14.
Den
Stine Eintrag findet ihr so (oder so ähnlich):
Überblick > FAKULTÄT FÜR MATHEMATIK, INFORMATIK UND NATURWISSENSCHAFTEN >
Department Informatik > D. Veranstaltungen des Diplomstudiengangs Informatik >
III. HAUPTSTUDIUM (SCHWERPUNKTE) > Vorlesungen > 64-413 Agenten und Multiagentensysteme
Inhalt
Agentenorientierung gehört zu den aktuellen Forschungsströmungen der
Informatik. Sowohl objektorientierte als auch aus dem Bereich der
Verteilten Künstlichen Intelligenz (VKI) stammende Konzepte werden
dabei vereinigt. Zur Entwicklung moderner Systeme, die bisher
vernachlässigte Konzepte wie Nebenläufigkeit, Verteilung, Mobilität
oder Adaptivität beinhalten, wird der Ansatz der agentenorientierten
Softwareentwicklung (AOSE) herangezogen.
Für die Integration von Verfahren der Softwaretechnik und der
Künstlichen Intelligenz (KI) wird eine angemessene theoretische und
praktische Fundierung der Grundkonzepte der Agentenorientierung
benötigt. Vor dem Hintergrund spezieller Anwendungsbereiche wie
z.B. Sozionik, E-Commerce, verteilte und mobile Systeme werden neue
Software-Entwicklungsansätze und der PAOSE-Ansatz (Petrinetz-,
Agenten- und Organisationsorientierte Software-Entwicklung)
illustriert. Es werden sowohl zentrale Theorien zur Spezifikation und
Verifikation eingesetzt, als auch Standards, Vorgehensmodelle und
Werkzeuge der AOSE allgemein vorgestellt.
Im Rahmen der Modellierung und Implementierung von
Multiagentenanwendungen werden diverse Techniken eingesetzt, diese
können formal, semi-formal, grafisch oder auch textuell
sein. Software-Architektur und mögliche Prozesse von Agentensystemen
stehen dabei im Vordergrund.
Stichworte:
FIPA, Kooperation, Koordination, Mobilität, Multiagentensysteme,
Petrinetze, Softwareentwicklung, Sozionik, Spezifikation, Verteilte
Künstliche Intelligenz, Verteilte Systeme, AUML, Adaption, Agenten,
Agentenorientierung, Software-Architektur
Lernziel:
Ziel ist das Kennenlernen eines ganzheitlichen Ansatzes der
Softwareentwicklung. Dieser umfasst alle relevanten Facetten, wie die
verwendeten Techniken, Methoden, Werkzeuge und zu Grunde liegenden
Paradigmen. Es sollen Einblicke in aktuelle, international bearbeitete
Forschungsfragen gewonnen werden.
Folien
Folien werden je nach Fortschritt der Veranstaltung hier hinterlegt.
Zugriff nur von Rechnern am Informatik-Campus oder via VPN-Zugang
(siehe
Informationen des RZ).
(Links zum Teil verfügbar)
- 1. April 2015
- Überblick/Literatur
(4x1,
8x1)
- Modelle und Agentenarchitekturen Teil 1
(4x1,
8x1)
Historische Betrachtung und Agenteneigenschaften
- 8. April 2015
- Modelle und Agentenarchitekturen Teil 2
(4x1,
8x1)
- Agentenkommunikation
(4x1,
8x1)
- 15. April 2015
- 22. April 2015
- 29. April 2015
- Einheiten und Organisationen
- 6. Mai 2015
- 13. Mai 2015
- 20. Mai 2015
- (27. Mai 2015) Pfingsten
- 3. Juni 2015
- 10. Juni 2015
- 17. Juni 2015
- 24. Juni 2015 (Petri Nets 2015)
- 1. July 2015
- 8. July 2015
- Tools, Debugging, Code-Generation
Beispiele
Literatur
- Heiko Rölke.
Modellierung von Agenten und Multiagentensystemen
.
Dissertation, Universität Hamburg,
Logos Verlag, Berlin, 2004.
- Lawrence Cabac.
Modeling Petri Net-Based Multi-Agent Applications
.
(elektronische Version)
[PDF]
(direkt zum Logos Verlag Eintrag)
Dissertation, Universität Hamburg,
Logos Verlag, Berlin, 2010.
- Ferber, Jaques. Multiagentensysteme -
Eine Einführung in die Verteilte Künstliche Intelligenz,
Addison-Wesley, München 2001.
(Deutsche Übersetzung von Stefan Kirn, frz. Original von 1995).
- Weiss, Gerhard (Hrsg.).
Multiagent systems: a modern approach to
distributed artificial intelligence,
MIT Press, Cambridge, Mass. 2000
- Federico Bergenti, Marie Gleizes-Pierre und Franco Zambonelli (Hrsg.):
Methodologies and software engineering for agent systems:
the agent-oriented software engineering handbook,
Bd. 11 der Reihe Multiagent systems, artificial societies, and
simulated organizations, Kluwer Academic, Boston [u.a.] 2004.
- Weiß, Jakob: Agentenorientierte Softwareentwicklung -
Methoden und Tools,
Springer-Verlag, 2004
- Michael Luck, Ronald Ashri und Mark d'Inverno:
Agent-Based Software Development,
Artech House, Boston, London 2004.
-
Zum Thema Agenten und Logiken: Alternating-time temporal
logic von Alur, Henzinger, Kupferman, 38th FOCS, 1997 und
Journal of the ACM (JACM), Volume 49, Issue 5, September 2002,
pp.672-713.
Weiterführende Materialien