Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:planning:pddl [2016/04/13 00:10] msl [Ćwiczenie] |
pl:dydaktyka:planning:pddl [2019/06/27 15:50] (aktualna) |
====== - LAB: ====== | ====== - Problemy planowania w języku PDDL ====== |
| |
Celem laboratorium jest zapoznanie się z językiem PDDL, czyli ustandaryzowaną notacją używaną do reprezentacji problemów planowania. | Celem laboratorium jest zapoznanie się z językiem PDDL, czyli ustandaryzowaną notacją używaną do reprezentacji problemów planowania. |
===== - Automatyczne rozwiązywanie problemów zapisanych w PDDL ===== | ===== - Automatyczne rozwiązywanie problemów zapisanych w PDDL ===== |
| |
- Proszę pobrać solver {{:pl:dydaktyka:krr:ff.zip|Fast Forward}} (więcej o solverze i jego wynikach na [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|jego stronie domowej]]). Archiwum ''FF.zip'' zawiera katalog z plikami źródłowymi oraz plik binarny skompilowany na Ubunty 64bit (powinno działać na serwerze uczelnianym). W razie potrzeby kompilacja wymaga zainstalowania narzędzi [[http://dinosaur.compilertools.net/|''flex'' oraz ''bison'']] i przebiega poprzez wykonanie kolejno: | <WRAP center round tip 60%> |
- ''make very clean'' | Jeżeli używasz laptopa w sali C2 316, solver Fast Forward powinien już być zainstalowany i dodany do ścieżki PATH. Zatem wpisanie ''ff'' w konsoli powinno wystarczyć. |
| </WRAP> |
| |
| |
| - Proszę pobrać solver {{:pl:dydaktyka:krr:ff.zip|Fast Forward}} (więcej o solverze i jego wynikach na [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|jego stronie domowej]]). Archiwum ''FF.zip'' zawiera katalog z plikami źródłowymi oraz plik binarny skompilowany na Ubuntu 64bit (powinno działać na serwerze uczelnianym). W razie potrzeby kompilacja wymaga zainstalowania narzędzi [[http://dinosaur.compilertools.net/|''flex'' oraz ''bison'']] i przebiega poprzez wykonanie kolejno: |
| - ''make veryclean'' |
- ''make'' | - ''make'' |
- Proszę uruchomić wyniki prac z poprzednich ćwiczeń. Solver jest wywoływany poprzez komendę: | - Proszę uruchomić wyniki prac z poprzednich ćwiczeń. Solver jest wywoływany poprzez komendę: |
* ''./ff -o <sciezka do pliku z domena> -f <sciezka do pliku z instancja problemu>'' | * ''./ff -o <sciezka do pliku z domena> -f <sciezka do pliku z instancja problemu>'' |
- Proszę porównać wydajność solvera do rozwiązania Prologowego z laborki "przeszukowanie grafów") | - Proszę porównać wydajność solvera do rozwiązania Prologowego z poprzedniego laboratorium - patrz: preliminaria. |
| |
===== - Typowanie ===== | ===== - Typowanie ===== |
==== - Ćwiczenia ==== | ==== - Ćwiczenia ==== |
| |
- w definicji dziedziny świata klocków należy przy pomocy nowych konstrukcji wyeliminować ''clear''. | - w definicji dziedziny świata klocków należy przy pomocy konstrukcji ADL wyeliminować ''clear''. |
| |
| |