3 ms·
General planning is undecidable; you can pretty easily encode a Turing machine as actions and make the goal state `Halt`.
by hwayne 3y ago
General planning is undecidable; you can pretty easily encode a Turing machine as actions and make the goal state `Halt`.