Turning an action formalism into a planner — Essentials of a case study

  • Joachim Hertzberg
  • Sylvie Thiébaux
Communications Methodologies
Part of the Lecture Notes in Computer Science book series (LNCS, volume 869)


We describe notions that are useful for building planners whose reasoning about action matches a given formal calculus for such reasoning. As a planner has to reason under resource constraints, one may require that its plans are just approximately correct wrt. the action formalism. To nonetheless ground its practical reasoning formally, we develop the notion of limited correctness of a planner wrt. an action formalism.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S. Biundo. Present-day deductive planning. In C. Bäckström and E. Sandewall, editors, Current Trends in AI Planning. EWSP'93 — 2nd European Workshop on Planning, pages 1–5. IOS Press, 1994.Google Scholar
  2. 2.
    G. Brewka and J. Hertzberg. How to do things with worlds: On formalizing actions and plans. J. Logic and Computation, 3(5), 1993.Google Scholar
  3. 3.
    T.L. Dean and M. Boddy. An analysis of time-dependent planning. In Proc. AAAI-88, pages 49–54, 1988.Google Scholar
  4. 4.
    T.L. Dean, L. Kaelbling, J. Kirman, and A. Nicholson. Planning with deadlines in stochastic domains. In Proc. AAAI-93, pages 574–579, 1993.Google Scholar
  5. 5.
    R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to theorem proving in problem solving. J. Art. Intell., 2:189–208, 1971.Google Scholar
  6. 6.
    M. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA, 1988.Google Scholar
  7. 7.
    J. Hertzberg and S. Thiébaux. Turning an action formalism into a planner—a case study. J. Logic and Computation (Sp. Is. Actions and Processes), 4(5), Oct. 1994.Google Scholar
  8. 8.
    V. Lifschitz. On the semantics of STRIPS. In M.P. Georgeff and A.L. Lansky, editors, Proc. 1986 Workshop Reasoning about Actions and Plans, pages 1–9, Los Altos, 1987. Morgan Kaufmann.Google Scholar
  9. 9.
    J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–507, 1969.Google Scholar
  10. 10.
    D. McDermott. Regression planning. Int. J. Intell. Syst., 6(4):357–416, 1991.Google Scholar
  11. 11.
    E.P.D. Pednault. Synthesizing plans that contain actions with context-dependent effects. J. Computational Intelligence, 4:356–372, 1988.Google Scholar
  12. 12.
    S. Russell and E. Wefald. Do the Right Thing. Studies in Limited Rationality. MIT Press, Cambridge, Massachusetts, 1991.Google Scholar
  13. 13.
    H. A. Simon. Administrative Behavior. A Study of Decision-Making Processes in Administrative Organizations. Free Press, New York, 3 edition, 1976. Original: New York (Macmillan) 1947.Google Scholar
  14. 14.
    L. Valiant. A theory of the learnable. C. ACM, 27:1134–1142, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Joachim Hertzberg
    • 1
    • 2
  • Sylvie Thiébaux
    • 3
  1. 1.Informatik VIIIDortmund UniversityDortmundGermany
  2. 2.GMDSankt AugustinGermany
  3. 3.IRISARennesFrance

Personalised recommendations