DFKI Research Report-94-13



Language: English

by Jana Koehler

Planning from Second Principles---A Logic-based Approach

49 Pages


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.

DFKI-Bibliothek (bib@dfki.uni-kl.de)

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.