Heuristics for Planning, Plan Recognition and Parsing
This work addresses plan recognition for AI systems, but it is incremental as it builds on prior formulations and highlights heuristic limitations without major breakthroughs.
The paper tackles the problem of plan recognition by showing it can be formulated and solved using classical planning heuristics, subsuming standard library-based approaches through a compilation into STRIPS theories, with results demonstrating that recognition over complex libraries like context-free grammars reveals limitations in current planning heuristics.
In a recent paper, we have shown that Plan Recognition over STRIPS can be formulated and solved using Classical Planning heuristics and algorithms. In this work, we show that this formulation subsumes the standard formulation of Plan Recognition over libraries through a compilation of libraries into STRIPS theories. The libraries correspond to AND/OR graphs that may be cyclic and where children of AND nodes may be partially ordered. These libraries include Context-Free Grammars as a special case, where the Plan Recognition problem becomes a parsing with missing tokens problem. Plan Recognition over the standard libraries become Planning problems that can be easily solved by any modern planner, while recognition over more complex libraries, including Context-Free Grammars (CFGs), illustrate limitations of current Planning heuristics and suggest improvements that may be relevant in other Planning problems too.