Planen spielt in vielen Anwendungsbereichen der Informatik eine zentrale Rolle. Verschiedene Ansätze wurden in den letzten Jahrzehnten entwickelt und haben einen gewissen Standard geschaffen. Zwei Vertreter daraus sind das Nichtlineare (POCL) und das Hierarchische Task-Netzwerk (HTN) Planen. Durch geeignete Kombination dieser beiden Ansätze ergänzen sich die generische Planentwicklung des POCL mit der Strukturierung des Suchraums beim HTN Planen zu einer gleichermaßen ausdrucksstarken wie flexiblen "Hybriden Plangenerierung". Die Diplomarbeit beschäftigt sich mit der Frage der Konsistenz von Domänenmodellen für hybride Planungsansätze. Zentraler Begriff ist der der Invarianten. Invarianten sind logische Axiome, die in jedem erreichbaren Zustand der Domäne gültig sein müssen. Im Rahmen der Arbeit wurden Testverfahren entwickelt, um zu prüfen, ob Elemente einer Domäne wie z.B. Tasks in Konflikt mit den Invarianten stehen. Zur Überprüfung von Tasknetzen und Methoden wurden weitere, von den Invarianten unabhängige Konsistentests enwickelt und implementiert. Für die anfallenden Beweise prädikatenlogischer Formeln wurde ein automatisches Beweissystem, OTTER, eingebunden. Der Vortrag führt in die Thematik ein und erklärt die wichtigsten Algorithmen und grundlegenden Strukturen. Er hält die Ergebnisse des Designs und der Implementierung fest, vergleicht das System mit ähnlichen und gibt Ausblicke auf mögliche Erweiterungen.

Online Copy

Currently not available.

BibTeX Entry

@MastersThesis{Kirck03, author = "Kirck, Guntmar", title = "Konsistenzsicherung auf hierarchisch strukturierten Dom{\"a}nenmodellen" school = "Universit{\"a}t Ulm", year = 2003, }