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

Jana Koehler

DFKI DFKI Research Reports (RR) 94-13 1994.


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.

RR-94-13.pdf (pdf, 52 MB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence