Die vorliegende Arbeit beschäftigt sich mit zwei Problembereichen. Zum einen wird untersucht, auf welche Weise Präferenzen über Zielen geeignet ausgedrückt werden können. Weiterhin wird ein Ansatz zur Lösung partieller Erfüllbarkeitsprobleme vorgestellt. Die Arbeit beginnt mit einer Einführung grundlegender Begriffe aus dem Bereich des automatischen Planens. Dies beinhaltet eine Definition bzw. Erläuterung partieller Erfüllbarkeitsprobleme und der gängigen Repräsentationssprachen für Planungsprobleme. Weiterhin werden aktuelle, der Literatur entnommene, Lösungsansätze für partielle Erfüllbarkeitsprobleme vorgestellt und wesentliche Unterscheidungsmerkmale zu dem Ansatz dieser Arbeit herausgearbeitet. Die Effektivität des vorgestellten Ansatzes zur Lösung partieller Erfüllbarkeitsprobleme beruht wesentlich auf der Linearisierung der Präferenzrelation. Die dafür notwendigen Betrachtungen erfolgen im weiteren Verlauf der Arbeit. Es wird schließlich eine lineare, numerische Beschreibungssprache als Erweiterung der Repräsentationssprache PDDL 2.1 vorgeschlagen. Weiterhin wird explizit aufgezeigt, wie sich der vorgestellte Lösungsalgorithmus mithilfe herkömmlicher Planungssysteme umsetzen läßt. Die Implementation des Algorithmus als C-Programm bzw. Perl-Skript liegt der gedruckten Ausgabe bei.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:16531 |
Date | 20 October 2017 |
Creators | Feldmann, Robert |
Contributors | Brewka, Gerhard, Universität Leipzig |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | German |
Detected Language | German |
Type | info:eu-repo/semantics/acceptedVersion, doc-type:masterThesis, info:eu-repo/semantics/masterThesis, doc-type:Text |
Rights | info:eu-repo/semantics/openAccess |
Relation | urn:nbn:de:bsz:15-qucosa2-163403, qucosa:16340 |
Page generated in 0.0019 seconds