This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
en:dydaktyka:planning:pddl2 [2018/05/13 23:33] msl |
en:dydaktyka:planning:pddl2 [2020/04/14 11:32] (current) msl |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| 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 ===== | ||
| Line 10: | Line 14: | ||
| ===== - 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> | ||
| Line 32: | Line 36: | ||
| <code bash> | <code bash> | ||
| - | ./ff -o ./examples/hanoi/domain.pddl -f ./examples/hanoi/problem.pddl -s 0 | + | ./ff -o ./02_fluents/01_hanoi/domain.pddl -f ./02_fluents/01_hanoi/problem.pddl -s 0 |
| </code> | </code> | ||
| Line 42: | Line 46: | ||
| \\ | \\ | ||
| - | 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 ''./lab2/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 ==== | ||
| Line 64: | Line 68: | ||
| \\ | \\ | ||
| - | Watch two first minutes of the movie above. ''./lab2/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! |
| Line 70: | Line 74: | ||
| ==== 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]] | ||
