"Planning is EXPTIME after all (e.g. Towers of Hanoi).*" The old planners would include meta-rules, or heuristics, that decided which rules to apply. That woul

"Planning is EXPTIME after all (e.g. Towers of Hanoi).*" The old planners would include meta-rules, or heuristics, that decided which rules to apply. That would cut the search space. Some split the problem into different representations with specialized, automated solvers. Jahob Analysis System and Cyc come to mind. Far as for real-world use, the neatest design I remember from classic A.I. was the Procedural Reasoning System. I've always wanted to see a version of it rebuilt with modern methods supplementing its weaknesses. Just for kicks and to see what it could do. https://en.wikipedia.org/wiki/Procedural_reasoning_system https://en.wikipedia.org/wiki/Procedural_reasoning_system