Abstract
We present a logic programming based conditional planner that is capable of generating both conditional plans and conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0-approximation of sensing actions and the class of conditional plans considered in this paper. Finally, we present preliminary experimental results and discuss further enhancements to the program.
This work is partially supported by NSF grants EIA-0130887, EIA-0220590, NSF 0070463, and NASA NCC2-1232.
This is a preview of subscription content, log in via an institution to check access.
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
Baral, C., Kreinovich, V., Trejo, R.: Planning and approximate planning in presence of incompleteness. In: IJCAI, pp. 948–953 (1999)
Bonet, B., Geffner, H.: Planning with incomplete information as heuristic search in belief space. In: AIPS (1998)
Cimatti, A., Roveri, M.: Conformant planning via model checking. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS, vol. 1809, pp. 21–34. Springer, Heidelberg (2000)
Dimopoulos, Y., Nebel, B., Koehler, J.: Encoding planning problems in non-monotonic logic programs. In: Proceedings of European conference on Planning, pp. 169–181 (1997)
Eiter, T., et al.: The KR System dlv: Progress Report, Comparisons and Benchmarks. In: KR 1998 (1998)
Eiter, T., et al.: Planning under incomplete information. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, p. 807. Springer, Heidelberg (2000)
Eiter, T., et al.: A Logic Programming Approach to Knowledge State Planning, II: The DLVK System. Technical Report, TUWien (2003)
Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming 17(2,3,4), 301–323 (1993)
Golden, K.: Leap BeforeYou Look: Information Gathering in the PUCCINI planner. In: Proc. of the 4th Int. Conf. on Artificial Intelligence Planning and Scheduling Systems (1998)
Golden, K., Etzioni, O., Weld, D.: Planning with execution and incomplete informations. Technical report, University ofWashington, TR96-01-09 (February 1996)
Golden, K., Weld, D.: Representing sensing actions: the middle ground revisited. In: KR 1996, pp. 174–185 (1996)
Levesque, H.: What is planning in the presence of sensing? In: AAAI, pp. 1139–1146 (1996)
Lifschitz, V.: Answer set planning. In: ICLP, pp. 23–37 (1999)
Lobo, J.: COPLAS: a COnditional PLAnner with Sensing actions. FS-98-02, AAAI (1998)
Lobo, J., Taylor, S., Mendez, G.: Adding knowledge to the action description language A. In: AAAI 1997, pp. 454–459 (1997)
Moore, R.: A formal theory of knowledge and action. In: Hobbs, J., Moore, R. (eds.) Formal theories of the commonsense world, Ablex, Norwood (1985)
Niemelä, I., Simons, P.: Smodels – an implementation of the stable model and well-founded semantics for normal logic programs. In: Proc. ICLP & LPNMR, pp. 420–429 (1997)
Niemelä, I., Simons, P., Soininen, T.: Stable model semantics for weight constraint rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 315–332. Springer, Heidelberg (1999)
Peot, M.A., Smith, D.E.: Conditional Nonlinear Planning. In: AIPS, pp. 189–197 (1992)
Pryor, L., Collins, G.: Planning for contingencies: A decision-based approach. JAIR (1996)
Rintanen, J.: Constructing conditional plans by a theorem prover. JAIR 10, 323–352 (2000)
Scherl, R., Levesque, H.: The frame problem and knowledge producing actions. In: AAAI 1996 (1996)
Smith, D.E., Weld, D.S.: Conformant Graphplan. In: AAAI, pp. 889–896 (1998)
Son, T.C., Baral, C.: Formalizing sensing actions - a transition function based approach. Artificial Intelligence 125(1-2), 19–91 (2001)
Thielscher, M.: Programming of Reasoning and Planning Agents with FLUX. In: KR 2002 (2002)
Thielscher, M.: Representing the knowledge of a robot. In: KR 2000, pp. 109–120 (2000)
Weld, D., Anderson, C., Smith, D.: Extending Graphplan to handle uncertainty and sensing actions. In: Proceedings of AAAI 1998 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Son, T.C., Tu, P.H., Baral, C. (2003). Planning with Sensing Actions and Incomplete Information Using Logic Programming. In: Lifschitz, V., Niemelä, I. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2004. Lecture Notes in Computer Science(), vol 2923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24609-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-24609-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20721-4
Online ISBN: 978-3-540-24609-1
eBook Packages: Springer Book Archive