Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
G. Brewka and J. Hertzberg. How to do things with worlds: On formalizing actions and plans. J. Logic and Computation, 3(5), 1993.
T.L. Dean and M. Boddy. An analysis of time-dependent planning. In Proc. AAAI-88, pages 49–54, 1988.
T.L. Dean, L. Kaelbling, J. Kirman, and A. Nicholson. Planning with deadlines in stochastic domains. In Proc. AAAI-93, pages 574–579, 1993.
R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to theorem proving in problem solving. J. Art. Intell., 2:189–208, 1971.
M. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA, 1988.
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.
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.
J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–507, 1969.
D. McDermott. Regression planning. Int. J. Intell. Syst., 6(4):357–416, 1991.
E.P.D. Pednault. Synthesizing plans that contain actions with context-dependent effects. J. Computational Intelligence, 4:356–372, 1988.
S. Russell and E. Wefald. Do the Right Thing. Studies in Limited Rationality. MIT Press, Cambridge, Massachusetts, 1991.
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.
L. Valiant. A theory of the learnable. C. ACM, 27:1134–1142, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hertzberg, J., Thiébaux, S. (1994). Turning an action formalism into a planner — Essentials of a case study. In: Raś, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1994. Lecture Notes in Computer Science, vol 869. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58495-1_31
Download citation
DOI: https://doi.org/10.1007/3-540-58495-1_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58495-7
Online ISBN: 978-3-540-49010-4
eBook Packages: Springer Book Archive