Abstract
Recent progress in the applications of propositional planning systems has led to an impressive speed-up of solution time and an increase in tractable problem size. In part, this improvement stems from the use of domain-dependent knowledge in form of state constraints. In this paper we introduce a different class of constraints: action constraints . They express domain-dependent knowledge about the use of actions in solution plans and can express strategies which are used by human planners. The use of action constraints results in a tendency to better plans. We explain how to calculate and apply action constraints in the framework of parallel total-order planning, which is the design of the most powerful planners at the moment. We present two classes of action constraints and demonstrate their capabilities in the planner ProbaPla.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ambite, J.L., Knoblock, C.A.: Planning by Rewriting: Efficiently Generating High-Quality Plans. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1997), pp. 706–713 (1997)
Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 1995), San Mateo, CA, pp. 1636–1642. Morgan Kaufmann, San Francisco (1995)
Bacchus, F., Kabanza, F.: Using Temporal Logic to Control Search in a Forward Chaining Planner. In: Ghallab, M., Milani, A. (eds.) New Directions in Planning, pp. 141–153. IOS Press, Amsterdam (1996)
Barret, A., Weld, D.S.: Partial-Order Planning: Evaluating Possible Efficiency Gains. AI magazine 67, 71–112 (1994)
Bylander, T.: The Computational Complexity of STRIPS Planning. Artificial Intelligence Journal 69, 165–204 (1994)
Fox, M., Long, D.: The Automatic Inference of State Invariants in TIM. Journal of Artificial Intelligence Research 9, 367–421 (1998)
Gerevini, A., Schubert, L.: Inferring State Constraints for Domain-Independent Planning. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1998), pp. 905–912 (1998)
Kautz, H., Selman, B.: Planning as Satisfiability. In: Neumann, B. (ed.) Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 359–363. John Wiley & Sons, Ltd., Chichester (1992)
Kautz, H., Selman, B.: Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In: Proceedings of the National Conference on Artificial Intelligence (AAAI 1996), Portland, OR, pp. 1194–1201. Morgan Kaufmann, San Mateo (1996)
Kautz, H., Selman, B.: The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework. In: Proc. 4th Intl. Conference on Planning in AI (June 1998)
Minton, S., Bresina, J., Drummond, M.: Total-Order and Partial-Order Planning: A Comparative Analysis. Journal of Artificial Intelligence Research, 227–262 (December 1994)
Nebel, B., Dimopoulos, Y., Koehler, J.: Ignoring Irrelevant Facts and Operators in Plan Generation. In: Proceedings of the European Conference on Planning, pp. 338–350 (1997)
Scholz, U.: Planning by Local Search. Diplomarbeit, Technische Universität Darmstadt, Fachbereich Informatik, Alexanderstraße 10, 64283 Darmstadt, Germany (December 1997)
Scholz, U.: Strategien zur Domänenanalyse. In: 12. Workschop Planen und Konfigurieren (PuK 1998), Bericht tr-ri-98-193, Reihe Informatik, pp. 17–22, FB Mathematik/Informatik, Warburgerstraße 10, 33098 Pader- born, Germany (April 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Scholz, U. (2000). Action Constraints for Planning. In: Biundo, S., Fox, M. (eds) Recent Advances in AI Planning. ECP 1999. Lecture Notes in Computer Science(), vol 1809. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720246_12
Download citation
DOI: https://doi.org/10.1007/10720246_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67866-3
Online ISBN: 978-3-540-44657-6
eBook Packages: Springer Book Archive