论文信息 - Multilevel Refinement Planning in an Interval-Based Temporal Logic

Multilevel Refinement Planning in an Interval-Based Temporal Logic

We present a strategy for deductive plan formation where prefabricated general solutions are adapted to special problems. The strategy is an instance of refinement planning with a particular technique for representing abstract solution patterns. It is developed within an interval-based temporal logic where plans are treated as an executable form of specification. Following the paradigm to view plans as programs basic actions as well as composite plans are built using a programming language with add and delete as elementary operations.

Susanne Biundo-Stephan | Werner Stephan

[1] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[2] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[3] Dominique Méry,et al. A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs , 1994, ICTL.

[4] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[5] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.

[6] Zohar Manna,et al. How to Clear a Block: Plan Formation in Situational Logic , 1986, CADE.

[7] Amir Pnueli,et al. A Choppy Logic , 1986, LICS.

[8] Susanne Biundo-Stephan,et al. A New Logical framework for Deductive Planning , 1993, IJCAI.

[9] Jana Koehler,et al. Deductive Planning and Plan Reuse in a Command Language Environment , 1992, ECAI.