Projektseminar im WiSe 2003/2004

18.362 Logiken für Multiagentensysteme

Michael Köhler, Daniel Moldt, Heiko Rölke

4st. Mo 14 - 18 C-221

Bookmarks

Multiagentensysteme Les Gasser's Page DESCRIPTION LOGICS course Mike Wooldridge -- Home Page Professor Nick Jennings Anand Rao's Publications ROSARIA CONTE

Eine Planerarchitektur

Operatives Modell einer hybriden Planungsarchitektur

Material

Der Einführungsvortrag
1. Termin: Agenten und Multiagentensysteme
1. Termin: Semantic Web
2. Termin a): Epistemische Logiken
2. Termin b): Beschreibungslogik
3. Termin a): Logic of Rational Agents
3. Termin b): Verhandlungen
4. Termin a): Planen: STRIPS u.a.
4. Termin b): Ausführbare Temporallogik
5. Termin a): Das BDI-Modell
5. Termin b): JADEX
6. Termin a): Joint Decision Making
6. Termin b): Soziale Normen

Eintrag aus dem KVV

Lernziel:
	Thematisch lernen die Teilnehmer Konzepte zur laufzeitgesteuerten Koordination (als Erweiterung statischer Kopplung) von Softwarekomponenten kennen und anwenden. Erschließung wissenschaftlicher Literatur für die praktische, projektbezogene Umsetzung. Präsentation von Forschungsergebnissen in mündlicher Vortragsform und schriftlicher Ausarbeitung.
Inhalt:
	Agentenorientierung gehört zu den bedeutendesten aktuellen Forschungströmungen der Informatik. Eine besondere Herausforderung stellt dabei die Koordination autonomer Agenten dar. Wesentliche Grundlagen stammen aus dem Bereich der formalen Logik - z.B. Modal- und Temporallogiken, die das Weltwissen beschreiben bzw. die Handlungspläne erstellen. Im Rahmen der Veranstaltung werden sowohl abstrakte Ansätze als auch konkrete Vorschläge (wie die BDI Architektur) betrachtet und auf ihre Eignung für die petrinetzbasierte Agentenarchitektur MULAN hin untersucht.
Stell. im Studienplan:
	Hauptstudium, Vertiefungsgebiete P1, P2, P4, P5, P6, Th1, Th2, Th3, Th4; Schwerpunkte OSE, SEM, VIS, WV
Voraussetzungen:
	Vordiplom
Vorgehen:
	Im Seminarteil werden die konzeptionellen Grundlagen erarbeitet, die im Projektteil konkret ungesetzt und erprobt werden. Diese Veranstaltung ist Bestandteil des semesterübergreifenden Forschungsprojekts "Agentenorientierung". Im Rahmen des Forschungsprojektes bestehen zahlreiche Möglichkeiten zur Anfertigung von Studien-, Bachelor- und Diplomarbeiten.
Literatur:
	Michael Wooldrige: Reasoning about rational Agents. 2000 Jacques Ferber: Multiagentensysteme: Eine Einführung in die Verteilte Künstliche Intelligenz, 2000 Gerhard Weiss: Multiagent Systems: A modern approach to distributed artificial intelligence, 2000
Periodizität:
	unregelmäßig
Eignung:
	Geeignet für Bioinformatikstudierende, Wirtschaftsinformatikstudierende. Bedingt geeignet für Lehramtsstudierende, Nebenfachstudierende.
Stichworte:
	Agenten, Petrinetze, Agentenorientierung, Multiagentensysteme, Verteilte Künstliche Intelligenz, Kooperation, Koordination, Logiken