arxivcs.AI2026-07-23
Logical Regression for Planning with Axioms
Connor Little, Christian Muise
In automated planning, logical regression is an operation that returns the most general condition necessary for an action to achieve a particular formula. It has many applications, such as allowing for more robust plan execution and providing compact policies for non-deterministi…