Publikation

Deductive Planning and Plan Reuse in a Command Language Environment

Susanne Biundo, Dietmar Dengler, Jana Koehler

DFKI DFKI Research Reports (RR) 92-11 1992.

Abstrakt

In this paper we introduce a deductive planning system currently being developed as the kernel of an intelligent help system. It consists of a deductive planner and a plan reuse component and with that provides planning from first as well as planning from second principles. Both components rely upon an interval-based temporal logic. The deductive formalisms realizing plan formation from formal specifications and the reuse of already existing plans respectively are presented and demonstrated by examples taken from an operating system's domain.

RR-92-11.pdf (pdf, 15 MB)

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