A plan-based intelligent assistant that supports the software development
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Hi-index | 0.00 |
WE PRESENT A GENERAL APPROACH TO AUGMENTING THE REPRESENTATIONAL POWER OF HIERARCHICAL PLAN FORMALISMS. IN COMPLEX DOMAINS, THIS ADDITIONAL POWER IS NEEDED TO CAPTURE KNOWLEDGE DEALING WITH SUCH ISSUES AS SPECIAL CASES OF OPERATORS AND STRATEGIES FOR RECOVERING WHEN OPERATORS FAIL. WE DESCRIBE LIMITATIONS INHERENT IN OPERATOR DEFINITIONS AND SHOW THAT THEY CAN BE OVERCOME BY EXPRESSING DOMAIN KNOWLEDGE AS TRANSFORMATIONS ON PLANS. THESE TRANSFORMATIONS `REFORMULATE'' A (PARTIALLY DEVELOPED) PLAN, TAILORING IT RATHER THAN CONTRIBUTING DIRECTLY TO ITS COMPLETION. SINCE TRANSFORMATIONS ARE OPERATIONS ON A WORLD STATE REPRESENTING THE PLAN NETWORK, THEY CAN BE FORMALIZED AS META-OPERATORS AND SYNTHESIZED INTO META-PLANS. THE ADVANTAGE OF THIS APPROACH IS EXPRESSIVE COMPLETENESS AS COMPARED TO INTRODUCING SPECIAL-CASE CONSTRUCTS INTO THE OPERATOR DEFINITION LANGUAGE.