Wenn Roboter/Computerprogramme eigenständig planen können.
Einführung
Was versteht man unter Planen?
Das Planen ist die Erstellung eines Plans (Abfolge von Aktionen), der beschreibt, wie man von einer Ausgangssituation zu einer gewünschten Zielsituation gelangt.
Was ist ein Plan?
Das Ergebnis des Planens ist ein gültiger Plan, welcher als Liste von Aktionen verstanden werden kann, die nach sequenzieller Ausführung auf die gegenwärtige Weltsituation zur gewünschten Zielsituation führt. Dass man beim Planen nicht immer auf einen gültigen Plan stößt (keine Lösung), versteht sich von selbst.
Was ist eine Situation?
Eine Situation ist eine Weltbeschreibung, sie beschreibt formal den Weltzustand, meist anhand von Literalen. Veränderungen in einer Situation können nur Aktionen bewirken.
Was ist eine Aktion?
Eine Aktion überführt eine Weltsituation in eine andere Weltsituation und kann als elementarer Bestandteil eines Plans verwendet werden.
Die wichtigsten Attribute einer Aktion sind formal, meist durch logische Literale beschriebenen
Vorbedingungen sowie
Nachbedingungen.
Erst, wenn die Vorbedingungen einer Aktion in einer Weltsituation gelten, kann die Aktion auf die Weltsituation angewandt werden. Nach Ausführung einer Aktion, wird die Weltsituation gemäß seiner Nachbedingungen geändert. Anders ausgedrückt, konsumiert die Aktion seine Vorbedingungen, die in der Weltsituation gelten, und produziert seine Nachbedingungen, die sich auf die Weltsituation auswirken.
Was ist ein Planer?
In der KI plant ein Computerprogramm, der sogenannte Planer. Der Planer ermittelt einen Plan, welcher eine gegebene Weltsituation in eine geforderte Weltsituation (Ziel) überführt. Für gewöhnlich erhält der Planer als Eingabegrößen
Unter klassischem Planen(lineares Planen) versteht man im Allgemeinen das Planen durch Suche,
mehr dazu unter Klassisches Planen.
Planbasiertes Planen
Beim planbasierten Planen plant man partiell, d. h. dass Teilpläne unabhängig voneinander (ggf. parallel) ermittelt werden, welche dann schließlich zu einem konfliktfreien Gesamtplan zusammengeführt werden.
Graphbasiertes Planen
Das graphbasierte Planen ist ein Verfahren, welches erlaubt, extrem schnelle Planer zu implementieren. Dieses Verfahren wechselt alternierend zwischen zwei Phasen:
G.Görz, C.-R.Rollinger, J.Schneeberger: Handbuch der Künstlichen Intelligenz, Oldenbourg Wissenschaftsverlag GmbH, 3. Auflage, 2000, ISBN 3-486-25049-3 Herausgegeben mit Unterstützung des Fachbereichs 1 "Künstliche Intelligenz" der Gesellschaft für Informatik e.V.
