Notes on the Classical Planning part: notes-cp.pdf

Notes on the Probabilistic planning tutorials: tutorial_slides_2018.pdf

• The first tutorial (12:45-14:15) will be held in English (unless all students present are ok with Czech)
• The second tutorial (18:00-19:30) will be held in Czech

• planners
• Pre-built for 64bit Ubuntu
• Including sources (you may build them yourself)

• PDDL editor
• Default timeout 10s

To run a particular planner (timeout 15 min., 500MB memory limit): In Solve/Custom Planner URL put: http://plan.felk.cvut.cz:5000/[planner] where planner =

• ff - FF planner
• siw - LAPKT siw-then-bfsf configuration
• lama - LAMA planner
• mercury - mercury planner
• probe - probe planner
• yahsp3 - yahsp planner
• ms - A* with Merge&Shring heuristic (optimal)
• lmcut - A* with LM-Cut heuristic (optimal)
• symba - symba planner (optimal)
• metricff - numeric variant of FF (numeric)

To run a numeric/temporal planner (OPTIC), use: http://plan.felk.cvut.cz:5001

Important

• The planners are running on a single computer, do not overload it!
• The timeout is 15min, nothing may happen during that time (and it is ok)

• Solve the sokoban problem by

1. hand
2. writing a domain for the given problem description and running a planner

• sokoban sokoban-problem

Questions: link