Logikbasierte Wissensrepräsentaion Teilprojekt: Planungstechniken und Aktionssprachen

• Antragsteller: Professor Gerhard Lakemeyer, Ph.D.; Professor Dr. Bernhard Nebel
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2005 bis 2010
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5449895

Die Forschung in den Gebieten der Handlungsplanung und der Aktionssprachen hat sich in den vergangenen 30 Jahren weitgehend unabhängig von einander entwickelt. Allerdings kann man seit geraumer Zeit eine gewisse Konvergenz fest stellen. Aus diesem Grund ist es aussichtsreich, Synergieeffekte durch gemeinsame Arbeit an den Problemen nutzbar zu machen. In diesem Projekt sollen die neuesten Entwicklungen auf dem Gebiet der Aktionssprachen und der Planungstechniken 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 Compilationstechniken untersucht werden. Insbesondere sollen Erweiterungen von GOLOG betrachtet werden, wie z.Bsp. temporales und paralleles GOLOG. Die dort auftretenden Planungsprobleme sollen mit Hilfe von Compilationstechniken und Planung durch heuristische Suche, wie etwa durch das FF System realisiert, angegangen werden. Im Gegenzug sollen Sprachkonstrukte aus der GOLOG-Familie in PDDL integriert werden und existierende Planer entsprechend erweitert werden. Die entwickelten Methoden sollen im Kontext autonomer Roboter exemplarisch evaluiert werden.

• DFG-Verfahren: Sachbeihilfen