Plánovací algoritmy vyžadují konkrétní formální model plánovacího problému, například tradiční plánovací techniky potřebují znát konkrétní akce, které lze provádět, a tyto akce získávají dosazením konstant za proměnné v popisu operátorů pro změnu světa. Podobný problém, tzv. grounding, se vyskytuje i v jiných oblastech jako je třeba SAT. Student se bude zabývat návrhem technik pro generování modelů pro plánovací algoritmy. Jedním z možných směrů je návrh metod, jak grounding dělat inteligentně, např. v omezené podobě, resp. jak se mu zcela vyhnout.
