Computational complexity of planning and approximate planning in the presence of incompleteness

Artificial Intelligence

Volumn 122, Issue 1, 2000, Pages 241-267

  Baral, Chitta ^a   Kreinovich, Vladik ^b   Trejo, Raúl ^b  

^a Arizona State University   (United States)

^b 500 W University Avenue   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; POLYNOMIALS;

APPROXIMATE PLANNING;

ARTIFICIAL INTELLIGENCE;

EID: 0034271027     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00043-6     Document Type: Article

References (23)

1. Baral C., Kreinovich V., Trejo R. Computational complexity of planning and approximate planning in presence of incompleteness. Proc. IJCAI-99, Stockholm, Sweden, Vol. 2. 1999;948-953.
2. Baral C., Son T. Approximate reasoning about actions in presence of sensing and incomplete information. Proc. Internat. Logic Programming Symposium (ILPS-97). 1997;387-401.
3. Baral C., Son T. Formalizing sensing actions: A transition function based approach. 1998;Technical Report, Department of Computer Science, University of Texas at El Paso, http://cs.utep.edu/chitta/chitta.html.
4. Baral C., Son T. Formalizing sensing actions: A transition function based approach. Artificial Intelligence. 2000;. (to appear).
5. Bylander T. The computational complexity of propositional STRIPS planning. Artificial Intelligence. Vol. 69:1994;161-204.
6. Erol K., Nau D., Subrahmanian V.S. Complexity, decidability and undecidability results for domain-independent planning. Artificial Intelligence. Vol. 76:(1-2):1995;75-88.
7. Etzioni O., Hanks S., Weld D., Draper D., Lesh N., Williamson M. An approach to planning with incomplete information. Proc. Internat. Conference on the Principles of Knowledge Representation an Reasoning (KR-92), Cambridge, MA. 1992;115-125.
8. Gelfond M., Lifschitz V. Representing actions and change by logic programs. J. Logic Programming. Vol. 17:(2-4):1993;301-323.
9. Golden K., Etzioni O., Weld D. Planning with execution and incomplete informations. February 1996;Technical Report, TR96-01-09, Department of Computer Science, University of Washington.
10. Golden K., Weld D. Representing sensing actions: The middle ground revisited. Proc. Internat. Conference on the Principles of Knowledge Representation an Reasoning (KR-96), Cambridge, MA. 1996;174-185.
11. Goldman R., Boddy M. Representing uncertainty in simple planners. Proc. Internat. Conference on the Principles of Knowledge Representation an Reasoning (KR-94), Bonn, Germany. 1994;238-245.
12. Krebsbach K., Olawsky D., Gini M. An empirical study of sensing and defaulting in planning. Proc. First Conference of AI Planning Systems. 1992;136-144.
13. Levesque H. What is planning in the presence of sensing? Proc. AAAI-96, Portland, OR. 1996;1139-1146.
14. Liberatore P. The complexity of the language A . Electronic Transactions on Artificial Intelligence. Vol. 1:1997;13-28 http://www.ep.liu.se/ej/etai/1997/02.
15. Littman M. Probabilistic propositional planning: representations and complexity. Proc. AAAI-97, Providence, RI. 1997;748-754.
16. Moore R. A formal theory of knowledge and action. Hobbs J., Moore R. Formal Theories of the Commonsense World. 1985;Ablex, Norwood, NJ.
17. Papadimitriou C. Computational Complexity. 1994;Addison-Wesley, Reading, MA.
18. Peot M., Smith D. Conditional non-linear planning. Proc. First Conference of AI Planning Systems. 1992;189-197.
19. Pryor L., Collins G. Planning for contingencies: A decision based approach. J. Artificial Intelligence Res. 1996.
20. Rintanen J. Constructing conditional plans by a theorem-prover. J. Artificial Intelligence Res. Vol. 10:1999;323-352.
21. Scherl R., Levesque H. The frame problem and knowledge producing actions. Proc. AAAI-93, Washington, DC. 1993;689-695.
22. Smith D., Weld D. Conformant graphplan. Proc. AAAI-98, Madison, WI. 1998.
23. Weld D., Anderson C., Smith D. Extending GRAPHPLAN to handle uncertainty and sensing actions. Proc. AAAI-98, Madison, WI. 1998;897-904.