Skip to main content Accessibility help
×
×
Home

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

  • PHAN HUY TU (a1), TRAN CAO SON (a1) and CHITTA BARAL (a2)
Abstract

We extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the correctness of our implementation and argue that our planner is sound and complete with respect to the proposed approximation. Finally, we present experimental results comparing ASCP to other planners.

Copyright
References
Hide All
Anderson, C., Smith, D., and Weld, D. 1998. Conditional effects in Graphplan. In Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems (AIPS'98). AAAI Press, 4453.
Anger, C., Konczak, K., and Linke, T. 2002. Non-monotonic reasoning with logic programs. In Proceedings of the 8th European Workshop on Logics in Artificial Intelligence 2002, LNAI 2424. Springer Verlag.
Baral, C. 2003. Knowledge Representation, reasoning, and declarative problem solving with Answer sets. Cambridge University Press.
Baral, C., Kreinovich, V., and Trejo, R. 2000a. Computational complexity of planning and approximate planning in the presence of incompleteness. Artificial Intelligence 122, 241267.
Baral, C., McIlraith, S., and Son, T. 2000b. Formulating diagnostic problem solving using an action language with narratives and sensing. In Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000). 311–322.
Bertoli, P., Cimatti, A., and Roveri, M. 2001. Heuristic search + symbolic model checking = efficient conformant planning. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, 467472.
Blum, A. and Furst, M. 95. Fast planning through planning graph analysis. In Proceedings of the 14th International Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers, San Francisco, CA, 16361642.
Bonet, B. and Geffner, H. 2000. Planning with incomplete information as heuristic search in belief space. In Proceedings 6th International Conference on Artificial Intelligence Planning and Scheduling, Chien, S., Kambhampati, S., and Knoblock, C., Eds. AAAI Press, 5261.
Brafman, R. and Hoffmann, J. 2004. Conformant planning via heuristic forward search: A new approach. In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04), Koenig, S., Zilberstein, S., and Koehler, J., Eds. Morgan Kaufmann, Whistler, Canada, 355364.
Bryce, D., Kambhampati, S., and Smith, D. 2004. Planning Graph Heuristics for Belief Space Search. Tech. rep., Arizona State University, Computer Science and Engineering. http://www.public.asu.edu/~danbryce/papers/.
Castellini, C., Giunchiglia, E., and Tacchella, A. 2003. Sat-based planning in complex domains: concurrency, constraints and nondeterminism. Artificial Intelligence 147, 1-2 (July), 85117.
Cimatti, A. and Roveri, M. 1999. Conformant planning via model checking. In European Conference on Planning. Springer Verlag, LNAI 1809, 2134.
Cimatti, A. and Roveri, M. 2000. Conformant Planning via Symbolic Model Checking. Journal of Artificial Intelligence Research 13, 305338.
Cimatti, A., Roveri, M., and Bertoli, P. 2004. Conformant Planning via Symbolic Model Checking and Heuristic Search. Artificial Intelligence Journal 159, 127206.
Citrigno, S., Eiter, T., Faber, W., Gottlob, G.Koch, C., Leone, N., Mateis, C., Pfeifer, G., and Scarcello, F. 1997. The dlv system: Model generator and application frontends. In Proceedings of the 12th Workshop on Logic Programming. 128–137.
Dimopoulos, Y., Nebel, B., and Koehler, J. 1997. Encoding planning problems in non-monotonic logic programs. In Recent Advances in AI Planning, 4th European Conference on Planning, ECP'97, Toulouse, France, September 24-26, 1997, Proceedings. Springer, 169181.
Eiter, T., Faber, W., Leone, N., Pfeifer, G., and Polleres, A. 2003. A Logic Programming Approach to Knowledge State Planning, II: The System. Artificial Intelligence 144, 1-2, 157211.
Gelfond, M. and Lifschitz, V. 1988. The stable model semantics for logic programming. In Logic Programming: Proceedings of the Fifth International Conf. and Symp., Kowalski, R. and Bowen, K., Eds. 10701080.
Gelfond, M. and Lifschitz, V. 1993. Representing actions and change by logic programs. Journal of Logic Programming 17, 2,3,4, 301323.
Giunchiglia, E., Kartha, G., and Lifschitz, V. 1997. Representing action: indeterminacy and ramifications. Artificial Intelligence 95, 409443.
Golden, K. 1998. Leap Before You Look: Information Gathering in the PUCCINI planner. In Proceedings of the 4th International Conference on Artificial Intelligence Planning and Scheduling Systems. 70–77.
Golden, K., Etzioni, O., and Weld, D. 1996a. Planning with execution and incomplete informations. Tech. rep., Dept of Computer Science, University of Washington, TR96-01-09. February.
Golden, K. and Weld, D. 1996b. Representing sensing actions: The middle ground revisited. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96). Morgan Kaufmann Publishers, 174185.
Hanks, S. and McDermott, D. 1987. Nonmonotonic Logic and Temporal Projection. Artificial Intelligence 33, 379412.
Hoffmann, J. and Nebel, B. 2001. The FF Planning System: Fast Plan Generation Through Heuristic Search. Journal of Artificial Intelligence Research 14, 253302.
Levesque, H. 1996. What is planning in the presence of sensing? In Proceedings of the 14th Conference on Artificial Intelligence. AAAI Press, 11391146.
Lierler, Y. and Maratea, M. 2004. Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In Proceedings of the 7th International Conference on Logic Programming and NonMonotonic Reasoning Conference (LPNMR'04), Lifschitz, V. and Niemelä, I., Eds. Vol. 2923 Springer Verlag, LNCS 2923, 346350.
Lin, F. and Zhao, Y. 2002. ASSAT: Computing answer sets of a logic program by sat solvers. In Proceedings of the National Conference on Artificial Intelligence (AAAI'02). AAAI Press. 112117.
Lifschitz, V. 1999. Answer set planning. In Proceedings of the 1999 international conference on Logic programming. Massachusetts Institute of Technology, Cambridge, MA, USA, 2337.
Lifschitz, V. 2002. Answer set programming and plan generation. Artificial Intelligence 138, 1–2, 3954.
Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proceedings of the Eleventh International Conf. on Logic Programming, Hentenryck, P. Van, Ed. 2338.
Lobo, J. 1998. COPLAS: a COnditional PLAnner with Sensing actions. Tech. Rep. FS-98-02, AAAI.
Lobo, J., Taylor, S., and Mendez, G. 1997. Adding knowledge to the action description language . In Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI'97), AAAI Press. 454459.
Marek, V. and Truszczyński, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-year Perspective. 375–398.
McCain, N. and Turner, H. 1995. A causal theory of ramifications and qualifications. In Proceedings of the 14th International Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 19781984.
McDermott, D. 1987. A critique of pure reason. Computational Intelligence 3, 151160.
Moore, R. 1985. A formal theory of knowledge and action. In Formal theories of the commonsense world, Hobbs, J. and Moore, R., Eds. Ablex, Norwood, NJ.
Niemelä, I. 1999. Logic programming with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 3,4, 241273.
Peot, M. and Smith, D. 1992. Conditional nonlinear planning. In Proceedings of the First International Conference on AI Planning Systems, Hendler, J., Ed. Morgan Kaufmann, College Park, Maryland, 189197.
Pryor, L. and Collins, G. 1996. Planning for contingencies: A decision-based approach. Journal of Artificial Intelligence Research 4, 287339.
Rintanen, J. 2000. Constructing conditional plans by a theorem prover. Journal of Artificial Intelligence Research 10, 323352.
Scherl, R. and Levesque, H. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144, 12.
Simons, P., Niemelä, N., and Soininen, T. 2002. Extending and Implementing the Stable Model Semantics.Artificial Intelligence 138, 1–2, 181234.
Smith, D. E. and Weld, D. S. 1998. Conformant Graphplan. In Proceedings of the fifteenth national/tenth conference on Artificial intelligence (AAAI'98). AAAI Press, 889896.
Son, T. and Baral, C. 2001. Formalizing sensing actions – a transition function based approach. Artificial Intelligence 125, 1–2 (January), 1991.
Son, T., Baral, C., Nam, T., and McIlraith, S. 2005a. Domain-Dependent Knowledge in Answer Set Planning. ACM Transactions on Computational Logic. To Appear.
Son, T., Tu, P., and Baral, C. 2004. Planning with Sensing Actions and Incomplete Information using Logic Programming. In Proceedings of the 7th International Conference on Logic Programming and NonMonotonic Reasoning Conference (LPNMR'04), Lifschitz, V. and Niemelä, I., Eds. Vol. 2923 Springer Verlag, LNCS 2923, 261274.
Son, T. C., Tu, P. H., Gelfond, M., and Morales, R. 2005b. Conformant Planning for Domains with Constraints – A New Approach. In Proceedings of the the Twentieth National Conference on Artificial Intelligence. 1211–1216.
Thiebaux, S., Hoffmann, J., and Nebel, B. 2003. In Defense of PDDL Axioms. In Proceedings of the 18th International Joint Conference on Artificial Intelligence, Gottlob, G., Ed. Acapulco, Mexico, 961966.
Thielscher, M. 2000a. The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments. Tech. Rep. CL-2000-01, Computational Logic Group, Department of Computer Science, Dresden University of Technology. Oct.
Thielscher, M. 2000b. Representing the knowledge of a robot. In Proceedings of the Seventh International Conference on Principles of Knowledge and Representation and Reasoning (KR'2000). Morgan Kaufmann Publishers, 109120.
Weld, D., Anderson, C., and Smith, D. 1998. Extending Graphplan to handle uncertainty and sensing actions. In Proceedings of the Fifteenth National Conference on Artificial Intelligence Conference (AAAI'98). AAAI Press, 897904.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed