How to Generate Control Knowledge --- Automatically
Polytime preprocessing
Try to add “obvious” inferences (McAllester, Crawford)
Compilation
Fix operators and initial or goal state, generate tractable equivalent theory (Kautz & Selman)
Learning strategies (Minton, Kambhampati, Etzioni, Weld, Smith)
Use automatic type inference to derive invariants.
(Fox & Long --- STAN system 1998; Rintanen 1998;
Koehler & Nebel --- IPP system 1998)