Deductive Planning and Plan Reuse in a Command Language Environment

We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as well as planning from second principles. Both components rely on an intervalbased temporal logic. The deductive formalisms realizing plan formation from formal speci cations and the reuse of already existing plans are presented and demonstrated by examples taken from the domain of operating systems.

• Type: Conference
• Year: 1992
• Where: ECAI
• Authors: Susanne Biundo, Dietmar Dengler, Jana Koehler
• Keywords: Artificial Intelligence, Deductive, Deductive Planner, Deductive Planning, ECAI 1992