Project Details
Projekt
Planungstechniken und Aktionssprachen
Subject Area
Theoretical Computer Science
Term
from 2007 to 2010
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 56502123
Ein wesentliches Ziel des Projekts ist die Integration neuester Entwicklungen und Ergebnisse aus den Gebieten der Aktionssprachen und Planungstechniken, um Systeme zu erhalten, die sowohl ausdrucksstark als auch effizient sind. Die Schwerpunkte der Arbeiten der ersten Antragsphase lagen in der Entwicklung einer Situationskalkülsemantik für wesentliche Fragmente der Plansprache PDDL und der Untersuchung der wechselseitigen Kompilierbarkeit der beiden Formalismen. Daraus haben sich neue Fragestellungen ergeben, die in der folgenden Förderphase angegangen werden sollen. Ein Thema wird die Einbeziehung unvollständigen Wissens sowohl im Bereich des Planens als auch der Aktionssprache GOLOG sein, wobei in beiden Fällen das vor einigen Jahren eingeführte Konzept der proper knowledge bases, das effizientes Schließen über unvollständigem Wissen unterstützt, zu Grunde gelegt wird. Des Weiteren soll untersucht werden, inwieweit sich ganze GOLOG-Programme in Planungsprobleme übersetzen lassen. Die Idee dabei ist an Stelle der nicht auf Effizienz ausgelegten Golog-Interpreter hochoptimierte Planer einzusetzen, um die Performanz der Programmauswertung, die einer Plangenerierung entspricht, zu steigern. Außerdem haben die bisherigen Arbeiten gezeigt, dass GOLOG sich insbesondere eignet domänenabhängiges Wissen zu kodieren. In der neuen Antragsphase soll deshalb eine Einbettung existierender domänenabhängiger Planer in GOLOG vorgenommen werden. Schließlich sollen die neu entwickelten Planer und Einbettungen in GOLOG praktisch evaluiert werden, unter anderem durch Einsatz auf mobilen Robotern.
DFG Programme
Research Grants
