Workshop on Strategies in Automated Deduction Table of Contents Part I: Invited Talks Using Rewriting and Strategies for the Implementation of the B Predicate Prover Proof Planning with Multiple Strategies
A problem domain can be represented as a hierarchy of abs t rac t ion spaces in which successively f i n e r levels of d e t a i l are introduced. The problem solver ABSTRIPS, a mod i f i ca t ion of STRIPS, can def ine an abst rac t ion space hierarchy from the STRIPS representat ion of a problem domain, and it can u t i l i z e the hierarchy in solv ing problems. Examples of the system's performance are presented that demonstrate the s i gn i f i can t i n creases in problem-solving power that t h i s approach provides. Then some fu r the r Impl icat ions of the h i e r arch ica l planning approach are explored.