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.
KeywordsTemporal Logic Elementary Operation Planning Scenario Initial Specification Situational Calculus
Unable to display preview. Download preview PDF.
- 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.L. Lamport. The Temporal Logic of Actions. Tech. Rep., DEC, Palo Alto, 1991.Google Scholar
- 3.Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1991.Google Scholar
- 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.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.E. Pednault. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. In Proc. KR-89, pages 324–332, 1989.Google Scholar
- 8.S. J. Rosenschein. Plan Synthesis: A Logic Perspective. In Proc. IJCAI-81, 1981.Google Scholar
- 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.W. Stephan and S. Biundo. A New Logical Framework for Deductive Planning. In Proc. IJCAI-93, pages 32–38, 1993.Google Scholar
- 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