Abstract
Conformant planning is the problem of finding a sequence of actions that is guaranteed to achieve the goal for any possible initial state and nondeterministic behavior of the planning domain. In this paper we present a new approach to conformant planning. We propose an algorithm that returns the set of all conformant plans of minimal length if the problem admits a solution, otherwise it returns with failure. Our work is based on the planning via model checking paradigm, and relies on symbolic techniques such as Binary Decision Diagrams to compactly represent and efficiently analyze the planning domain. The algorithm, called cmbp, has been implemented in the mbp planner. cmbp is strictly more expressive than the state of the art conformant planner sc cgp. Furthermore, an experimental evaluation suggests that cmbp is able to deal with uncertainties more efficiently than cgp.
Keywords
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blum, A.L., Furst, M.L.: Fast planning through planning graph analysis. Artificial Intelligence 90(1-2), 279–298 (1997)
Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 States and Beyond. Information and Computation 98(2), 142–170 (1992)
Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495–499. Springer, Heidelberg (1999)
Cimatti, A., Giunchiglia, E., Giunchiglia, F., Traverso, P.: Planning via Model Checking: A Decision Procedure for AR. In: Steel, S. (ed.) ECP 1997. LNCS (LNAI), vol. 1348, pp. 130–142. Springer, Heidelberg (1997)
Cimatti, A., Roveri, M.: Conformant Planning via Model Checking. Technical Report 9908-02, ITC-IRST, Trento, Italy (August 1999)
Cimatti, A., Roveri, M., Traverso, P.: Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains. In: Proceeding of the Fifteenth National Conference on Artificial Intelligence (AAAI 1998), Madison, Wisconsin. AAAI-Press, Menlo Park (1998)
Cimatti, A., Roveri, M., Traverso, P.: Strong Planning in Non-Deterministic Domains via Model Checking. In: Proceeding of the Fourth International Conference on Artificial Intelligence Planning Systems (AIPS 1998), Carnegie Mellon University, Pittsburgh, USA. AAAI-Press, Menlo Park (1998)
Daniele, M., Traverso, P., Vardi, M.Y.: Strong Cyclic Planning Revisited. In: Biundo, S. (ed.) Proceeding of the Fifth European Conference on Planning, Durham, UK. Springer, Heidelberg (1999)
Giunchiglia, E., Kartha, G.N., Lifschitz, V.: Representing action: Indeterminacy and ramifications. Artificial Intelligence 95(2), 409–438 (1997)
Kautz, H., Selman, B.: BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving. In: Working notes of the Workshop on Planning as Combinatorial Search, Pittsburgh, PA, USA (June 1998)
Kautz, H.A., McAllester, D., Selman, B.: Encoding Plans in Propositional Logic. In: Proc. KR 1996 (1996)
Kautz, H.A., Selman, B.: Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In: Proc. AAAI 1996(1996)
Kushmerick, N., Hanks, S., Weld, D.S.: An algorithm for probabilistic planning. Artificial Intelligence 76(1-2), 239–286 (1995)
McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publ., Dordrecht (1993)
Peot, M.: Decision-Theoretic Planning. PhD thesis, Dept. Engineering-Economic Systems Stanford University (1998)
Rintanen, J.: Constructing conditional plans by a theorem-prover. Journal of Artificial Intellegence Research (1999) (Accepted for publication)
Rintanen, J.: Improvements to the Evaluation of Quantified Boolean Formulae. In: 16th Iinternational Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers, San Francisco (1999) (to appear)
Smith, D.E., Weld, D.S.: Conformant graphplan. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI 1998), pp. 889–896. AAAI Press, Menlo Park (1998)
Somenzi, F.: CUDD: CU Decision Diagram package release –2.1.2. Department of Electrical and Computer Engineering – University of Colorado at Boulder (April 1997)
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
Cimatti, A., Roveri, M. (2000). Conformant Planning via Model Checking. 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_2
Download citation
DOI: https://doi.org/10.1007/10720246_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67866-3
Online ISBN: 978-3-540-44657-6
eBook Packages: Springer Book Archive