Hierarchical Reinforcement Learning with Abductive Planning
Symbol acquisition for probabilistic high-level planning