Handlungsplanung - Übungen
Aufgaben
| Übungsblatt | Ausgeteilt | Abgabe | Zusätzliche Dateien |
|---|---|---|---|
| Übungsblatt 01 | Fr, 27. Oktober | Fr, 3. November | col1.pddl col2.pddl col3.pddl |
| Übungsblatt 02 | Fr, 3. November | Mi, 8. November | |
| Übungsblatt 03 | Mi, 8. November | Mi, 15. November | |
| Übungsblatt 04 | Mi, 15. November | Mi, 22. November | |
| Übungsblatt 05 | Mi, 22. November | Mi, 29. November | |
| Übungsblatt 06 | Mi, 29. November | Mi, 6. Dezember | |
| Übungsblatt 07 | Mi, 6. Dezember | Mi, 13. Dezember | |
| Übungsblatt 08 | Mi, 13. Dezember | Mi, 20. Dezember | |
| Übungsblatt 09 | Mi, 20. Dezember | Mi, 10. Januar | |
| Übungsblatt 10 | Mi, 10. Januar | Mi, 17. Januar | |
| Übungsblatt 11 | Mi, 17. Januar | Mi, 24. Januar | |
| Übungsblatt 12 | Mi, 24. Januar | Mi, 31. Januar | |
| Übungsblatt 13 | Mi, 31. Januar | Mi, 7. Februar | |
| Übungsblatt 14 | Mi, 7. Februar | Mi, 14. Februar |
Projekte
Liste der Projekte
| Projektbeschreibung | Ausgeteilt | Abgabe |
|---|---|---|
| Projekt P01 | Mi, 22. November 2006 | Mi, 17. Januar 2007 |
| Projekt P02 | Mi, 13. Dezember 2006 | Mi, 31. Januar 2007 |
| Projekt P03 | Mi, 31. Januar 2007 | Fr, 16. März 2007 |
Allgemeines zu den Projekten
Projekte können in den folgenden Programmiersprachen bearbeitet werden: C, C++, Java, Python, Ruby, Bash, SML, Prolog. Andere Programmiersprachen sind nach Absprache möglich; in diesem Fall bitte vor Bearbeitung des Projekts bei uns melden.
Die eingereichten Programme müssen einige Tests bestehen und ausreichend dokumentiert sein. Programme, die diesen beiden Anforderungen nicht genügen, werden nicht akzeptiert, aber es besteht die Möglichkeit, innerhalb der Abgabefrist nachzubessern. Daher bitten wir darum, frühzeitig abzugeben, um ausreichend Zeit für Nachbesserungen zu haben.
Projekt 1
Um das Projekt durchführen zu können, benötigen Sie die Planer
- SatPlan2006 (Website, Download Source, Download Linux-Binary),
- SGPlan5.2 (Website, Download Linux-Binary),
- LPD-TD (Website, Registrierung für Download Source und Linux-Binary) und
- FF (Website, Download Linux-Binary).
Zusätzlich benötigen Sie
- das Planvalidierungstool VAL (Website, Download Source),
- Gnuplot (Website) zur Visualisierung Ihrer Ergebnisse und
- die Benchmark-Probleme des propositionalen Teils des Internationalen Planungswettbewerbs 2006 und
- die Wrapper und die Konfigurationsdatei.
Informationen zur Ermittlung von Konfidenzintervallen mit der Bootstrap-Methode finden Sie in BootstrapMethodenbuch-20-12-05.pdf in Abschnitt 2.1.
Installieren Sie alle benötigten Programme und Daten und passen Sie Ihren PATH an. In den Wrapper-Skripten wird davon ausgegangen, dass die Planer im PATH liegen. Passen Sie ggf. auch Pfadangaben in der Datei benchmarks.dat an. Machen Sie sich mit den Benchmark-Domänen vertraut (vgl. http://zeus.ing.unibs.it/ipc-5/domains, "Short Description").
Projekt 2
Für Projekt 2 benötigen Sie
- den SAT-Solver siege_v4 (Website, x86-Linux-Binary) und
- das Tool pddlcat aus dem HSP*-Paket (Website, Download HSP*-Source).
Das DIMACS-Format für KNF-Formeln wird in http://www.satlib.org/Benchmarks/SAT/satformat.ps beschrieben.
Zum Testen Ihres Planers können Sie Benchmark-Probleme aus dem Internationalen Planungswettbewerb verwenden. Das Archiv projekt02.tar.gz enthält einige Blocksworld-Probleme und deren mit pddlcat erzeugte Instanziierungen.
Projekt 3
Für dieses Projekt benötigen Sie außer der Logistics-Domänenbeschreibung in PDDL und einigen Benchmark-Aufgaben keine weiteren Ressourcen. Die Logistics-Domänendatei und 30 Aufgaben sind in dem Archiv projekt03.tar.gz enthalten. Das Archiv beinhaltet ferner einen Task-Generator, mit dem Sie für Ihre Tests weitere Logistics-Aufgaben erzeugen können.
Achtung: Die Abgabefrist für Projekt 3 wurde bis zum 16. März 2007 verlängert.
Weitere Downloads
- FF in einer vorkompilierten Linux-Version (auf Intel-kompatiblen Prozessoren), in einer vorkompilierten Solaris-Version (auf SPARCs, z.B. in den Poolräumen von Gebäude 082) und als vollständige Distribution (nicht vorkompiliert, für Benutzer anderer Systeme wie z.B. Windows). Weitere Informationen auf der offiziellen Homepage.
-
PDDL-Sprachbeschreibung:
- PDDL 1.2 (IPC 1998): Veraltet.
- PDDL IPC2 (IPC 2000): Kurz, leider keine Beispiele.
- PDDL 2.1 (IPC 2002): Erweiterung um numeric expressions, plan metrics, durative actions.
- PDDL 2.2 (IPC 2004): Erweiterung um derived predicates und timed initial literals.
- PDDL 3 (IPC 2006): Erweiterung um state trajectory constraints, soft constraints, preferences.
- An Introduction to PDDL: Kurze Einführung mit Syntax-Beschreibung und Beispielen
- Beispiel für PDDL: Blocksworld-Domäne und Tasks, Gripper-Domäne und Tasks