DFKI Research Report-94-06
by Dietmar Dengler
An Adaptive Deductive Planning System
A generic planning system is introduced which allows for custom building of planners able to generate plans for different plan consumers in the context of intelligent support systems. All planners are adapted to the pecularities of different plan consumers, to their domain knowledge, their typical behavior, their preferences, and their utilization of plans.
The necessary knowledge sources of the generic planner are fixed in order to enable it to produce plans of a certain specificity. Its control strategy is described in a formal specification language containing constructs which allow for the configuration of characteristic parts of the control strategy. The customized planners are defined by executable specifications.
An application of the approach to deductive planning based on a modal temporal logic is shown. It is demonstrated in an example how needs of different plan consumers in an intelligent help system can be met by a deductive planner.
This document is available as Postscript.
The next abstract is here, and the previous abstract is here.
Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.