Search papers, labs, and topics across Lattice.
This paper introduces a bilevel neuro-symbolic planning framework that combines learned probabilistic symbolic rules for high-level planning with learned continuous effect models for plan verification and low-level forward search. The framework addresses limitations of purely symbolic approaches by incorporating continuous dynamics and plan verification. Experiments on multi-object manipulation tasks show that the bilevel approach outperforms symbolic-only methods and achieves comparable performance to continuous forward search while leveraging efficient symbolic reasoning.
By verifying high-level symbolic plans with learned continuous dynamics, this neuro-symbolic planner achieves the speed of symbolic methods with the reliability of continuous planning.
Intelligent agents must reason over both continuous dynamics and discrete representations to generate effective plans in complex environments. Previous studies have shown that symbolic abstractions can emerge from neural effect predictors trained with a robot's unsupervised exploration. However, these methods rely on deterministic symbolic domains, lack mechanisms to verify the generated symbolic plans, and operate only at the abstract level, often failing to capture the continuous dynamics of the environment. To overcome these limitations, we propose a bilevel neuro-symbolic framework in which learned probabilistic symbolic rules generate candidate plans rapidly at the high level, and learned continuous effect models verify these plans and perform forward search when necessary at the low level. Our experiments on multi-object manipulation tasks demonstrate that the proposed bilevel method outperforms symbolic-only approaches, reliably identifying failing plans through verification, and achieves planning performance statistically comparable to continuous forward search while resolving most problems via efficient symbolic reasoning.
