Plan execution in a temporal logic environment
Dietmar Dengler · 1996
Introduction This extended abstract describes essential aspects of a current application scenario which was initiated in order to investigate the applicability of research results of the RAP project in a rather real-world environment. The work on this scenario is not completed which means that reported results are rather preliminary. The project RAP (Reasoning About Plans) (Bauer et al. 1996) aims at a logic-based shell which supports the consistent modeling of planning knowledge and provides a generic module for the logic-based reasoning about plans which can be integrated into a large variety of application systems. The RAP shell, for example, enables users to graphically configure their own complex reasoning procedures and control systems based on basic reasoning services like plan generation, plan validation and verification, temporal projection, plan optimization,