Handlungsplanung: Das Fast-Downward-System
Fast Downward ist ein klassisches Handlungsplanungssystem, das von Malte Helmert und Silvia Richter in unserer Arbeitsgruppe entwickelt wurde. Fast Downward löst beliebige Planungsprobleme, die in der standardisierten Eingabesprache PDDL (Planning Domain Definition Language) formuliert sind und unterstützt dabei den vollen PDDL-Sprachumfang für propositionale Probleme (STRIPS, ADL, Axiome). Das System ist in Python und C++ implementiert.
Beim vierten internationalen Planungswettbewerb (IPC 4) im Rahmen der 14th International Conference on Automated Planning and Scheduling (ICAPS 2004) gewann Fast Downward den Preis für das beste Planungssystem in der "klassischen" Kategorie (propositionale Probleme, keine Optimierung).
Weitere Informationen: Publikationen zu Fast Downward
Kontakt: Malte Helmert
Kognitive Systeme für Kognitive Assistenten: CoSy
Das von der EU finanzierte Projekt CoSy ist eine multidisziplinäre Untersuchung der Voraussetzungen und Möglichkeiten für die Entwicklung von menschenähnlichen, autonomen, integrierten physischen (z.B. Roboter-) Systemen. Ziel des Projekts ist insbesondere die Integration von Resultaten aus verschiedenen Subfeldern der KI und der Kognitionswissenschaft in einem einzigen "verkörperten", d.h. physikalisch existierenden und agierende, Agenten. Zu diesem Zweck werden insbesondere Bedingungen an Architekturen, Repräsentationen, Wahrnehmungsmechanismen, für das Lernen, Planen, Schlussfolgern, Motivation, Handeln und Kommunikation untersucht. Die Resultate dieser Untersuchung werden die Basis einer Reihe zunehmend ambitionierter Systeme bilden, anhand derer die entwickelten Konzepte demonstriert werden können.
Die Arbeit in unserer Forschungsgruppe befasst sich mit den Fähigkeiten zum planvollen Handeln, die intelligente Roboter mitbringen müssen, um erfolgreich und vernünftig mit Menschen in einer gemeinsamen Umgebung zu (inter-)agieren. Dies beinhaltet Kommunikationsplanung, kontinuierliches Planen und Handeln, Planen mit unvollständigem Wissen und kooperative Multiagenten-Planung.
Weitere Informationen: CoSy Hauptseite
Kontakt: Michael Brenner
Deutsche Servicerobotik Initiative: DESIRE
Roboter-Assistenten und Serviceroboter haben sich kommerziell noch nicht durchgesetzt. Das liegt v.a. daran, dass selbst "einfache" Alltagsprobleme hohe Anforderungen an die Fähigkeiten und Verlässlichkeit von Robotern stellen. In der vom BMBF geförderten Deutschen Servicerobotik Initiative (DESIRE) werden sowohl die methodischen Grundlagen für eine alltagstaugliche Servicerobotik erforscht sowie in Zusammenarbeit mit der Robotikindustrie eine Referenzplattform, d.h. ein modulares Robotiksystem für Alltagsanwendungen, entwickelt.
Unsere Forschungsgruppe untersucht in DESIRE, wie Wissenrepräsentation (Ontologien) und Handlungsplanung die Flexibilität, Verlässlichkeit und Benutzerfreundlichkeit von Servicerobotern steigern kann.
Weitere Informationen: DESIRE
Kontakt: Michael Brenner
Logikbasierte Wissensrepräsentation: Planungstechniken und Aktionssprachen (PLATAS)
Das Ziel dieses DFG-Projektes ist es, eine direkte Kooperation zwischen Forschern in den Bereichen Aktionsformalismen, Beschreibungslogiken und Handlungsplanung zu etablieren, so dass sie von den Fortschritten in Theorie und Praxis auf jedem dieser Gebiete profitieren können. Als Gesamtziel sollen die unterschiedlichen Systeme all dieser Gebiete integriert werden.
Die Arbeit unserer Gruppe befasst sich mit dem Teilbereich der Planungstechniken und Aktionssprachen. Es sollen die neuesten Entwicklungen auf diesen Gebieten integriert werden, um ausdrucksstarke und effiziente Systeme zu erhalten. Um eine Vergleichbarkeit von Aktionssprachen wie GOLOG und FLUX auf der einen Seite und Plansprachen wie PDDL, die als Standard im Bereich des Planens angesehen wird, auf der anderen zu erreichen, soll zum einen eine gemeinsame semantische Basis im Situationskalkül geschaffen werden und zum anderen die Ausdrucksstärke mit Hilfe von Kompilationstechniken untersucht werden.
Kontakt: Gabriele Röger
Qualitatives räumliches Schließen: SFB/TR Spatial Cognition
Das Forschungsgebiet Räumliches Schließen befasst sich mit dem Erwerb, der Organisation, der Nutzung und der Aktualisierung von Wissen über räumliche Umgebungen, sei es real oder abstrakt, menschlich oder automatisiert. Das Gebiet umfasst einen weiten Bereich von der Untersuchung der räumlich-kognitiven Fähigkeiten von Menschen hin zu Themen wie der Wegplanung für mobile Roboter.
Der Sonderforschungsbereich/Transregio Spatial Cognition untersucht die kognitiven Grundlagen für Systeme zur Unterstützung von Menschen bei Aufgaben des räumlichen Schließens. Er ist in die Dreie Bereiche Schließen, Agieren und Interagieren gegliedert. Die Projekte im Bereich Schließen befassen sich mit internen und externen Repräsentationen des Raums und mit Inferenzmethoden auf Grundlage solcher Repräsentationen. Der Bereich Agieren umfasst Projekte, die sich mit dem Erwerb von Informationen über räumliche Umgebungen und Aktionen und Verhaltensweisen in solchen Umgebungen beschäftigen. Zum Bereich Interaktion gehören Projekte, die sich mit der Kommunikation räumlicher Informationen mittels Sprache und Karten beschäftigen.
Weitere Informationen: SFB/TR 8 Spatial Cognition (auf Englisch)
Kontakt: Stefan Wölfl
Roboter-Tischfußball: KiRo
KiRo ist ein vollständig autonom spielender Tischfußball-Roboter: Durch eine Kamera erfasst KiRo das Spielfeld und entscheidet in Abhängigkeit von der aktuellen Spielsituation, wie sich die von ihm kontrollierten Stangen bewegen sollen.
KiRo wurde ursprünglich von Thilo Weigel in unserer Arbeitsgruppe entwickelt und dient der Grundlagenforschung in den Bereichen Robotik und Künstliche Intelligenz. Mittlerweile wurde das System patentiert und wird unter dem Namen StarKick von der Gauselmann-Gruppe kommerziell vermarktet.
Inzwischen wird KiRo von Dapeng Zhang weiterentwickelt, wobei der Schwerpunkt auf der Anwendung von Lerntechniken liegt.
Weitere Informationen: KiRo - Der Kicker-Roboter
Kontakt: Thilo Weigel und Dapeng Zhang
Roboter für Katastrophensituationen (simuliert): ResQ Freiburg
RobocupRescue Simulation ist ein neueres Projekt der internationalen Robocup Association. Dort werden Strategien für Rettungseinsätze bei Naturkatastrophen mittels sogenannter Multiagentensysteme erforscht, d.h. Teams von eigenständig wahrnehmenden, entscheidenden und handelnden Programmen versuchen durch Kommunikation und strategisches Handeln möglichst viele Menschenleben zu retten, Feuer zu löschen und Straßen zu räumen. Für die Forschung liefert das Szenario generalisierbare Erkenntnisse z.B. über Teamarbeit, Kommunikations- und Koordinationstechniken, Handlungsplanung und Bewegung in dynamischen Umgebungen in Echtzeit und die Simulation von komplexen Systemen.
Unsere Mannschaft ResQ Freiburg wurde 2004 erstmals Weltmeister in dieser Liga.
Weitere Informationen: ResQ Freiburg (auf Englisch)
Kontakt: Michael Brenner und Alexander Kleiner
Roboter für Katastrophensituationen: Rescue Robots Freiburg
Ziel dieses Projekts ist die Entwicklung echter Roboter, die bei einer Katastrophe zur Suche von verletzten Menschen eingesetzt werden können. Dazu werden verschiedenartige Sensoren,wie z.B. CO2-Sensoren oder IR-Kameras verwendet.
Unsere Mannschaft Rescue Robots Freiburg wurde in dieser Liga Zweiter bei der GermanOpen 2005 in Paderborn.
Kontakt: Alexander Kleiner
Hard- und Softwareverifikation: SFB/TR AVACS
Fehler in sicherheitskritischen Computersystemen von Flugzeugen, Zügen oder Autos können Leben gefährden. Daher ist ihre Kontrolle von äußerster Wichtigkeit. Bisher erlaubt die Technik nur die automatische Überprüfung und Analyse von begrenzten Aspekten solcher Systeme, wie zum Beispiel ihrer Stabilität oder Kontinuität.
Der Sonderforschungsbereich/Transregio AVACS ("Automatic Verification and Analysis of Complex Systems") hat das Ziel, die automatische Analyse komplexer Systeme auf eine neue Ebene zu heben, auf der eine umfassende und ganzheitliche Überprüfung komplexer Systeme sowie die Vorhersage ihrer Verlässlichkeit möglich ist.
Im Rahmen des Sonderforschungsbereich befassts sich unsere Arbeitsgruppe insbesondere mit der Frage, wie sich Techniken aus der Künstlichen Intelligenz wie zum Beispiel heuristische Suche und Spielbaumanalyse für die automatische Hard- und Softwareverifikation einsetzen lassen.
Weitere Informationen: AVACS Hauptseite
Kontakt: Bernhard Nebel
Frühere Forschungsprojekte
Handlungsplanung: Das FF-System
Fast-Forward (FF) ist ein klassisches Handlungsplanungssystem, das von Jörg Hoffmann in unserer Arbeitsgruppe entwickelt wurde. FF löst beliebige Planungsprobleme, die in der standardisierten Eingabesprache PDDL (Planning Domain Definition Language) formuliert sind und kommt dabei mit klassischen Problemen (STRIPS) ebenso zurecht wie mit komplexen Domänen mit Quantoren und bedingten Effekten (ADL). Der Metric-FF-Planer, eine Erweiterung zu FF, kann zusätzlich mit Zahlen (numerischen Zustandsvariablen) umgehen. Beide Systeme sind in C implementiert.
Beim zweiten internationalen Planungswettbewerb (IPC 2) im Rahmen der Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2000) gewann FF den Preis für den besten vollautomatischen Planer sowie den Schindler-Preis für das beste Planungssystem in der (vollständigen) Miconic-10-Fahrstuhl-Domäne.
Weitere Informationen: FF Homepage (auf Englisch)
Kontakt: Jörg Hoffmann
Handlungsplanung: Das IPP-System
IPP ist ein domänenunabhängiges Planungssystem, das in unserer Arbeitsgruppe von Jana Köhler und anderen entwickelt wurde. Ursprünglich war IPP eine Erweiterung des Graphplan-Algorithmus (Blum und Furst) auf komplexere Planungsprobleme, wie sie in der Sprache ADL (Action Description Language) ausgedrückt werden können, inklusive bedingten Effekten und beliebigen Boole'schen Bedingungen, die in dem vom Graphplan verwendeten STRIPS-Formalismus nicht ausgedrückt werden können. Spätere Versionen von IPP führten wichtige neue Ideen ein, etwa die RIFO-Technik zum Entfernen überflüssiger Fakten und Operatoren und den Zielagenda-Manager (goal agenda manager, GAM) zum Zerlegen komplexer Planungsprobleme in kleinere Teile.
Zwischen dem Juli 1997 und dem Dezember 1998 wurde der Quellcode von IPP mehr als 200 Mal heruntergeladen, und das System wurde in verschiedenen anderen Projekten benutzt (für Referenzen vgl. zum Beispiel die Artikel der AIPS-2000-Konferenz). IPP wurde auch in zwei kommerziellen Umgebungen benutzt: in der Firma Schindler als Rapid-Prototyping-Tool zur Entwicklung von Fahrstuhl-Domänenmodellen (mit unserer Erlaubnis) und bei Celcorp als Grundlage für eigene Planungssoftware (ohne unsere Erlaubnis).
Beim ersten internationalen Planungswettbewerb (IPC 1) im Rahmen der Fourth International Conference on Artificial Intelligence Planning Systems (AIPS'98) gewann IPP den Preis für den besten ADL-Planer.
Weitere Informationen: IPP Homepage (auf Englisch)
Kontakt: Jana Koehler
Kognitive Bildverarbeitung: CogViSys
Forschungen im Gebiet Computersehen haben viele erfolgreiche Systeme hervorgebracht, die in einer Vielzahl von Anwendungsgebieten im täglichen praktischen Einsatz sind. In diesen Systemen sind jedoch jegliches Wissen und jegliche Schlussfolgerungstechniken, die bei der Analyse von Bildern verwendet werden, "fest verdrahtet" bzw. "einprogrammiert", also Teil des Programmcodes oder fester Bestandteil spezialisierter Datenstrukturen. Solche Lösungen haben den Nachteil, dass die zugrunde liegenden Bildverarbeitungskomponenten nur schwer an andere Anwendungen angepasst oder verallgemeinert werden können, die anderes Wissen erfordern.
Ziel des CogViSys-Projektes ist es, einen höheren Grad an Allgemeinheit zu erreichen, indem ein System entwickelt wirden, das sich auf der Ebene der Wahrnehmung selbst anpassen kann und auf der Ebene der Schlussfolgerung explizite Repräsentationen von Wissen verwendet, so dass die Wissensbasis ausgetauscht werden kann, ohne die zugrunde liegenden Algorithmen modifizieren zu müssen. Um diese Ideen zu verwirklichen, werden im Rahmen von CogViSys virtuelle Kommentatoren entwickelt, die in der Lage sind, zu visuellen Informationen textuelle Beschreibungen zu erzeugen. Dieses einheitliche Projektziel wird an drei Anwendungsszenarien erprobt:
Überwachung des Straßenverkehrs,
Interpretation von Zeichensprache und
automatische Videoannotation.
Innerhalb der CogViSys-Projekts beschäftigt sich unsere Forschungsgruppe vornehmlich mit dem ersten Szenario, der Überwachung des Straßenverkehrs.
Weitere Informationen: CogViSys Homepage (auf Englisch)
Kontakt: Bernhard Nebel
Planen durch Erfüllbarkeitstests
In diesem Projekt entwickeln wir Techniken zum effizienten Lösen schwieriger Planungsprobleme mit Hilfe von Algorithmen, die die Erfüllbarkeit aussagenlogischer Formeln testen. Bisherige und zukünftige Arbeiten befassen sich unter anderem mit folgenden Themen: Symmetriereduktion, Normalformen für partiell geordnete Pläne, verschiedene Konzepte für paralleles Planen, optimales Planen (in Bezug auf bestimmte Kostenmaße), nicht-optimales Planen und Kompromisse zwischen Planqualität und Laufzeit des Planers.
Weitere Informationen: Research on satisfiability planning (auf Englisch)
Kontakt: Jussi Rintanen
Planen mit eingeschränkter Wahrnehmung: DFG-Projekt PARTOBPLA
Bei der Handlungsplanung geht es darum, zu entscheiden, welche Aktionen durchgeführt werden müssen, um gegebene Ziele zu verwirklichen. Intelligente autonome Menschen, Tiere, Roboter und Softwareagenten müssen planen, um sich in einer komplexen, nicht vorhersagbaren Umwelt rational verhalten zu können. In diesem Forschungsprojekt geht es um das Problem der Handlungsplanung in komplexen Umgebungen mit nicht-deterministischem Verhalten und eingeschränkter Wahrnehmung, wo die Effekte von Aktionen nicht eindeutig voraussagbar sind und die sensorischen Informationen über den Zustand der Welt unvollständig sind.
Weitere Informationen: Research on conditional planning with partial observability (auf Englisch)
Kontakt: Jussi Rintanen
Qualitatives räumliches Schließen: FAST-QUAL-SPACE
Gegenstand dieses Projekts war die Weiterentwicklung der formalen Grundlagen qualitativer räumlicher Repräsentationsmethoden und die Entwicklung effizienter Inferenzmethoden für das qualitative räumliche Schließen. Zielsetzungen waren:
-
Weiterentwicklung der formalen Semantik räumlicher Kalküle und Erhöhung ihrer Ausdruckskraft.
-
Untersuchungen zur Korrektheit, Vollständigkeit und algorithmischen Komplexität räumlicher Kalküle.
-
Entwicklung, Implementation und Evaluation effizienter Inferenzverfahren für räumliche Kalküle.
-
Austausch zwischen den theoretischen Erkentnisse dieses Projekts und empirischen Befunden aus kognitionspsychologischen Untersuchungen in Kooperation mit dem DFG-Projekt MEMOSPACE.
Anwendungen für die in diesem Projekt gewonnenen Erkenntnisse bestehen zum Beispiel bei der Verarbeitung natürlicher Sprache, bei der Dokumentenanalyse, in geographischen Informationssystemen und bei der Roboternavigation.
Weitere Informationen: FAST-QUAL-SPACE
Kontakt: Bernhard Nebel
RoboCup-Fußball: CS Freiburg
RoboCup-Fußball ist eine internationale Initiative zur Förderung der Forschung in den Bereichen Künstliche Intelligenz und Autonome Mobile Roboter. Roboterfußball wird als Benchmark-Problem benutzt, an dem sich Ergebnisse aus den verschiedenen Forschungsdisziplinen direkt vergleichen lassen. RoboCup bietet damit den Forschern die Möglichkeit, das Erreichte im direkten internationalen Vergleich mit ihren Kollegen zu testen und so gemeinsam Fortschritte in den jeweiligen Fachdisziplinen zu erzielen.
Damit ein Roboterteam gut Fußball spielen kann, müssen zahlreiche Techniken beherrscht werden. Dazu gehören Sensorik, Orientierung, Bewegung in dynamischen Umgebungen, Architektur autonomer Agenten, Kooperation in Multi-Agenten-Systemen, Echtzeitverarbeitung, Handlungsplanung und Maschinelles Lernen. Dabei gewonnene Erkenntnisse können zur Realisierung anderer Aufgaben, wie sie z.B. im Bereich Haushaltsroboter, Hilfesysteme für Behinderte, Verkehrsnavigationssysteme und Planetenerkundungsroboter verwendet werden.
Unsere Mannschaft CS Freiburg wurde in den Jahren 1998, 2000 und 2001 Weltmeister im Roboterfußball in der mid-size league.
Weitere Informationen: CS Freiburg (auf Englisch)
Kontakt: Alexander Kleiner
