DFKI Research Report-94-13
by Jana Koehler
Planning from Second Principles---A Logic-based Approach
In this paper, a logical formalization of planning from second principles is proposed, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly defined semantics formalize planning from second principles.
Plan modification is based on a deductive approach which yields provably correct modified plans.
Reusable plans are retrieved from a dynamically created plan library using terminological logic as a query language to the libary.
Apart from sequential plans, this approach enables a planner to efficiently reuse and modify plans containing control structures like conditionals and iterations.
This document is available as PDF-File(51,9MB).
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.