Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:planning:pddl [2016/04/13 00:09] msl utworzono |
pl:dydaktyka:planning:pddl [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== - 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. | ||
| Linia 43: | Linia 43: | ||
| <code lisp> | <code lisp> | ||
| - | |||
| (define (domain blocksworld) | (define (domain blocksworld) | ||
| (:requirements :strips) ; wymagany STRIPS | (:requirements :strips) ; wymagany STRIPS | ||
| Linia 60: | Linia 59: | ||
| (not (handempty)) | (not (handempty)) | ||
| (holding ?block))) | (holding ?block))) | ||
| - | ; akcja "poloz na stol" | + | ; akcja "postaw na stole" |
| - | ; akcja "poloz klocek A na klocku B" | + | ; akcja "postaw klocek A na klocku B" |
| ; akcja "zdejmij klocek A z klocka B" | ; akcja "zdejmij klocek A z klocka B" | ||
| ) | ) | ||
| Linia 92: | Linia 91: | ||
| ===== - 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 ===== | ||
| Linia 137: | Linia 141: | ||
| ==== - Ć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''. |
| | | ||
