Multilevel refinement planning in an interval-based temporal logic

  • Werner Stephan
  • Susanne Biundo
Posters Theory of Computation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 990)


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.


Temporal Logic Elementary Operation Planning Scenario Initial Specification Situational Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Biundo, D. Dengler, and J. Köhler. Deductive Planning and Plan Reuse in a Command Language Environment. In Proc. ECAI-92, pages 628–632, 1992.Google Scholar
  2. 2.
    L. Lamport. The Temporal Logic of Actions. Tech. Rep., DEC, Palo Alto, 1991.Google Scholar
  3. 3.
    Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1991.Google Scholar
  4. 4.
    Z. Manna and R. Waldinger. How to Clear a Block: Plan Formation in Situational Logic. Journal of Automated Reasoning, 3:343–377, 1987.CrossRefGoogle Scholar
  5. 5.
    J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence 4, pages 463–502. 1969.Google Scholar
  6. 6.
    A. Mokkedem and D. Méry. A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. In Proc. ICTL-94, pages 382–397, 1994.Google Scholar
  7. 7.
    E. Pednault. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. In Proc. KR-89, pages 324–332, 1989.Google Scholar
  8. 8.
    S. J. Rosenschein. Plan Synthesis: A Logic Perspective. In Proc. IJCAI-81, 1981.Google Scholar
  9. 9.
    R. Rosner and A. Pnueli. A Choppy Logic. In Symposium on Logic in Computer Science, pages 306–313. IEEE Computer Society Press, 1986.Google Scholar
  10. 10.
    W. Stephan and S. Biundo. A New Logical Framework for Deductive Planning. In Proc. IJCAI-93, pages 32–38, 1993.Google Scholar
  11. 11.
    W. Stephan and S. Biundo. Multilevel Refinement Planning in an Interval-Based Temporal Logic. Research Report, German Research Center for AI, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Werner Stephan
    • 1
  • Susanne Biundo
    • 1
  1. 1.German Research Center for Artificial IntelligenceSaarbrückenGermany

Personalised recommendations