The logical foundations of goal-regression planning in autonomous agents