Logical Regression Approximation for Planning with Axioms
July 24, 2026
This methodology approximates logical regression by limiting conditions to minimal partial states in domains containing axioms. The approach avoids expensive axiom recalculation, enabling more efficient execution monitoring and compact policies for non-deterministic automated planning.
HOW THIS AFFECTS YOU
●
researcherThis provides a more computationally efficient way to handle complex planning domains without the overhead of full axiom recalculation.