Factored Planning
-
Factored planning involves breaking a large planning
domain/problem into smaller almost disjoint planning
domains/problems, to enable an easier solution.
FLP and verber
use federated planning to generate and combine smaller domains
into a large one.
Moreover, with this implementation, we'd like
to be able to generate a plan and assert its constraints into
other domains/problems.
Kind of like the way you pack a car, you
put in the big items, then the medium items, then the small items,
backtracking when you cannot fit things.