Was ist Logic-based Planning?
Planung durch logische Modellierung von Zuständen Aktionen und Zielen
Was ist das Ziel von Planning?
Eine Sequenz von Aktionen zu finden die vom Startzustand zum Zielzustand führt
Was ist ein Plan?
Eine geordnete Folge von Aktionen
Was ist ein Zustand im Planning?
Eine vollständige Beschreibung der Welt zu einem Zeitpunkt
Was ist eine Aktion?
Eine Operation die einen Zustand in einen anderen überführt
Aus welchen Bestandteilen besteht eine Aktion?
Vorbedingungen und Effekte
Was sind Vorbedingungen einer Aktion?
Bedingungen die vor Ausführung der Aktion erfüllt sein müssen
Was sind Effekte einer Aktion?
Zustandsänderungen die durch die Aktion verursacht werden
Was ist der Situation Calculus?
Eine formale Logik zur Beschreibung dynamischer Systeme
Was ist eine Situation im Situation Calculus?
Eine Historie von ausgeführten Aktionen
Was ist eine Fluent?
Eine zustandsabhängige Eigenschaft der Welt
Was beschreibt Holds(fs)?
Dass das Fluent f in der Situation s gilt
Was ist eine Action Function?
Eine Funktion die aus Situation und Aktion eine neue Situation erzeugt
Was ist das Frame-Problem?
Die Frage welche Zustände sich durch eine Aktion nicht ändern
Wie wird das Frame-Problem gelöst?
Durch Frame-Axiome oder Successor-State-Axiome
Was ist der STRIPS-Ansatz?
Ein vereinfachtes Planning-Modell mit Zuständen Aktionen und Zielen
Aus welchen Teilen besteht eine STRIPS-Aktion?
Preconditions Add-Liste und Delete-Liste
Was ist ein STRIPS-Zustand?
Eine Menge wahrer Literale
Wie wirken STRIPS-Aktionen auf Zustände?
Durch Hinzufügen und Entfernen von Literalen
Warum ist Logic-based Planning schwierig?
Weil der Zustandsraum exponentiell wachsen kann
Last changed9 days ago