From Skills to Symbols:Learning Symbolic Representations for Abstract High-Level Planning
George Konidaris, Leslie Pack Kaelbling, Tomas Lozano-Perez, JAIR 2018
This paper learns abstract symbolic representations from lower level trajectories for planning at a high-level. Big Idea of this paper is that given different domains of increasing difficulty at lower level but similar high level tasks, if we are able to segregate the low-level and high-level tasks, the tasks can be considered equivalent at higher level and hence can be solved in a uniform manner.
For example, given three tasks as shown above:
- A 5 x 5 grid world were agent has to take the key and open the lock or
- Same task for 10 x 10 grid or
- Robot running around the room trying to unlock a cupboard in continuous state and action space.
If we are given low level skills in each of the domain like navigating to a location and picking up the key or opening a lock, then high level plan in all these domains is equivalent. So, how to learn the abstractions which can help us plan at higher level? And ensure that the plan generated from such abstractions are executable with certainty?
To build a high level abstract planner, they use the options framework at the low-level. Operators in planning is equivalent to the options, precondition of an operator can be seen as initiation set and the effects of the operator can be seen as termination condition.
Since operators in planning only impact subset of variables and leave others unchange, this can be seen as factored MDP.
A plan is feasible if it can be executed and it is satisfiable if it is feasible and reaches goal state. To ensure plan is feasible and satisfiable, we need to learn precondition, effect and remainder for each abstract operator. Precondition indicates the necessary conditions for taking action, effect indicates the changes in the state because of taking action, and remainder indicates variables which are unaffected by the action.
I appreciate the details authors provide to prove the above intuition. May be I will add the proof here later.
To infer these three things, authors prove that learning following classifier for each abstract action is sufficient:
- -- a classifier that indicates if option can be performed in the state . This is equivalent to initiation set .
- -- a classifier that indicates if state belongs to effect set of the option
- -- a set of variables that are modified by option
From the above three functions, we can infer the remainder and image set of option as follows:
Image -- set of state obtained after executing option in state set
-- possible states with same values as for all variables except
Thus we can learn PDDL operators directly from the trajectories and leverage the rich planning literature to perform high level planning in RL tasks.