Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
en:dydaktyka:planning:pddl2 [2018/05/13 23:31] msl [Assignments] |
en:dydaktyka:planning:pddl2 [2020/04/14 11:32] msl |
| |
This class covers usage of the PDDL 2.1 main feature --- so called ''fluents''. Student is expected to understand the new construct and use it to solve some popular logical puzzles. | This class covers usage of the PDDL 2.1 main feature --- so called ''fluents''. Student is expected to understand the new construct and use it to solve some popular logical puzzles. |
| |
| <WRAP center round important 60%> |
| Due to the COVID-19 outbreak, all files related to this class are stored in the [[https://gitlab.com/agh-krr/2019-2020/labs-planning|Gitlab repository]]. This class uses files stored in the ''02_fluents'' folder. Please refer to the ''Readme.md'' on how to submit the solutions. |
| </WRAP> |
| |
===== - Preliminaries ===== | ===== - Preliminaries ===== |
| |
===== - Tools ===== | ===== - Tools ===== |
Please clone [[https://gitlab.com/agh-krr/pddl |repository with the PDDL 2.1 solver]]. The package includes also ''pddl'' files in the ''lab2'' directory, related to this class. Please run to terminal and switch to the root folder of the package and then try: | Please clone [[https://gitlab.com/agh-krr/2019-2020/labs-planning |repository with the PDDL 2.1 solver]]. The package includes also ''pddl'' files in the ''02_fluents'' directory, related to this class. Please run to terminal and switch to the root folder of the package and then try: |
| |
<code bash> | <code bash> |
./ff -o ./lab2/hanoi/domain.pddl -f ./lab2/hanoi/problem.pddl | ./ff -o ./02_fluents/01_hanoi/domain.pddl -f ./02_fluents/01_hanoi/problem.pddl |
</code> | </code> |
| |
===== - Example: Hanoi ===== | ===== - Example: Hanoi ===== |
| |
The new solver supports some new statements. Please check the files: ''./examples/hanoi/problem.pddl'' i ''./examples/hanoi/instance.pddl''. The new things include: | The new solver supports some new statements. Please check the files: ''./lab2/hanoi/domain.pddl'' i ''./lab2/hanoi/problem.pddl''. The new things include: |
| |
* ''(:requirements :fluents)'' --- informs solver that we want to use fluents | * ''(:requirements :fluents)'' --- informs solver that we want to use fluents |
| |
<code bash> | <code bash> |
./ff -o ./examples/hanoi/problem.pddl -f ./examples/hanoi/instance.pddl -s 0 | ./ff -o ./02_fluents/01_hanoi/domain.pddl -f ./02_fluents/01_hanoi/problem.pddl -s 0 |
</code> | </code> |
| |
| |
\\ | \\ |
Please watch fragment of the Die Hard 3 movie above. The puzzle depicted there belongs to a quite popular family of "water pouring'" puzzles. The ''./examples/jugs'' folder contains a model of a [[http://www.riddleministry.com/riddles/water-puzzle-19-13-7/1246/|very similar problem]]. | Please watch fragment of the Die Hard 3 movie above. The puzzle depicted there belongs to a quite popular family of "water pouring'" puzzles. The ''./02_fluents/02_jugs'' folder contains a model of a [[http://www.riddleministry.com/riddles/water-puzzle-19-13-7/1246/|very similar problem]]. |
| |
==== Assignments ==== | ==== Assignments ==== |
| |
\\ | \\ |
Watch two first minutes of the movie above. ''./examples/zombie-escape'' folder contains file related to this puzzle. Then check the assignments and save yourself! | Watch two first minutes of the movie above. ''./02_fluents/03_zombie-escape'' folder contains files related to this puzzle. Then check the assignments and save yourself! |
| |
| |
==== Assignments ==== | ==== Assignments ==== |
| |
- Fill missing lines of the ''problem.pddl'', so you can solve ''instance.pddl'' | - Fill missing lines of the ''domain.pddl'', so you can solve ''problem.pddl'' |
- Remodel the problem so it would use only one action | - Remodel the problem so it would use only one action |
- Solve the similar [[http://www.learn4good.com/games/puzzle/boat.htm|problem of missionaries and cannibals]] | - Solve the similar [[http://www.learn4good.com/games/puzzle/boat.htm|problem of missionaries and cannibals]] |