This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
en:dydaktyka:planning:pddl [2018/05/13 23:26] msl [5 Automated Solving of Problems Written in PDDL] |
en:dydaktyka:planning:pddl [2020/04/22 12:09] (current) msl [7.1 Assignment] |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| Before starting this class it is recommended to do all the exercises from [[en:dydaktyka:planning:intro|previous class (Automated Planning 101)]]. This class further develops this subject and will refer to the solution of the blocks world problem using STRIPS planner. | Before starting this class it is recommended to do all the exercises from [[en:dydaktyka:planning:intro|previous class (Automated Planning 101)]]. This class further develops this subject and will refer to the solution of the blocks world problem using STRIPS planner. | ||
| + | |||
| + | <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 ''01_pddl'' folder. Please refer to the ''Readme.md'' on how to submit the solutions. | ||
| + | </WRAP> | ||
| Line 92: | Line 96: | ||
| </WRAP> | </WRAP> | ||
| - | - Please clone [[ https://gitlab.com/agh-krr/pddl |repository with the Fast Forward solver]] (you can find more information on the solver and its results on its [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|home page]]). The repository contains precompiled binaries for several platforms. | + | - Please clone [[ https://gitlab.com/agh-krr/2019-2020/labs-planning |repository with the Fast Forward solver]] (you can find more information on the solver and its results on its [[https://fai.cs.uni-saarland.de/hoffmann/ff.html|home page]]). The repository contains precompiled binaries for several platforms. |
| - | - Please launch appropriate''ff'' (i.e. ''ff-win64.exe'' on Windows 64bit) to solve problems defined in previous assignments. Also the ''lab1'' folder contains files related to this class. The solver is started by the command: | + | - Please launch appropriate''ff'' (i.e. ''ff-win64.exe'' on Windows 64bit) to solve problems defined in previous assignments. Also the ''01_pddl'' folder contains files related to this class. The solver is started by the command: |
| - | * ''./ff -o <path to file with domain> -f <path to file with problem instance>'' | + | * ''./ff -s 0 -o <path to file with domain> -f <path to file with problem instance>'' |
| - Please compare the efficiency of the solver with the Prolog solution from previous class (see: preliminaries) | - Please compare the efficiency of the solver with the Prolog solution from previous class (see: preliminaries) | ||
| Line 136: | Line 140: | ||
| ==== - Assignment ==== | ==== - Assignment ==== | ||
| - | Eliminate clear from the definition of blocks world domain using ADL. | + | Eliminate ''clear'' from the definition of blocks world domain using ADL. |
| | | ||
