Różnice
Różnice między wybraną wersją a wersją aktualną.
Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:dydaktyka:krr:lab_pddl [2015/06/10 09:46] msl [7 Action Description Language] |
pl:dydaktyka:krr:lab_pddl [2019/06/27 15:50] (aktualna) |
| |
<code lisp> | <code lisp> |
| |
(define (domain blocksworld) | (define (domain blocksworld) |
(:requirements :strips) ; wymagany STRIPS | (:requirements :strips) ; wymagany STRIPS |
- 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 w porównaniu do rozwiązania Prologowego z laborki "przeszukowanie grafów") | - Proszę porównać wydajność solvera do rozwiązania Prologowego z laborki "przeszukowanie grafów") |
| |
===== - Typowanie ===== | ===== - Typowanie ===== |
* warunki mogą zawierać negatywne literały: ''(not <warunek>)'' | * warunki mogą zawierać negatywne literały: ''(not <warunek>)'' |
* warunki mogą zawierać alternatywy: ''(or <warunek1> <warunek2>)'' | * warunki mogą zawierać alternatywy: ''(or <warunek1> <warunek2>)'' |
| * [[http://en.wikipedia.org/wiki/Closed-world_assumption|świat jest otwarty]] (w STRIPSie, tak samo jak w Prologu [[http://en.wikipedia.org/wiki/Closed-world_assumption|świat jest zamknięty]]) |
| |
==== - Ćwiczenie ==== | ==== - Ć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 nowych konstrukcji wyeliminować ''clear''. |
| |
| |