Computational complexity of planning and approximate planning in presence of incompleteness

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1999, Pages 948-953

  Baral, Chitta ^a   Kreinovich, Vladik ^a   Trejo, Raul ^a  

^a 500 W University Avenue   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION DESCRIPTION LANGUAGES; CLASSICAL PLANNING; COMPLETE INFORMATION; COMPLEXITY HIERARCHIES; HTN PLANNING; INITIAL STATE; NP COMPLETE; PLANNING PROBLEM;

ARTIFICIAL INTELLIGENCE; POLYNOMIALS;

COMPUTATIONAL COMPLEXITY;

EID: 84880654868     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. C. Baral and T. Son, "Approximate reasoning about actions in presence of sensing and incomplete information", In: Proc. of International Logic Programming Symposium (ILPS∧l), 1997, pp. 387-401.
2. K. Erol, D. S. Nau, and V. S. Subrahmanian, "Complexity, decidability and undecidability results for domain-independent planning", Artificial Intelligence, 1995, Vol. 76, pp. 75-88 (detailed proofs are given in the University of Maryland Technical Report CS-TR-2797 (also listed as UMIACS-TR-91-154 and SRC-91-96).
3. M. Gelfond and V. Life-chitz, "Representing actions and change by logic programs", I. of Logic Programming, 1993, Vol. 17, pp. 301-322.
4. P. Liberatore, "The complexity of the language A", Electronic Transactions on Artificial Intelligence, 1997, Vol. 1, pp. 13-28 (http://www.ep.iiu.se/ej/etai/1997/02).
5. M. Littman, "Probabilistic propositional planning: representation and complexity", AAAI'97, pp. 748-754.
6. R. Moore, "A formal theory of knowledge and action." In J. Hobbs and R. Moore, editors, Formal theories of the commonsense world. Ablex, Norwood, NJ, 1985.
7. C. H. Papadimitriou, Computational Complexity, Addison-Wesley, Reading, MA, 1994.
8. R. Scherl and H. Levesque, "The frame problem and knowledge producing actions." In KR 93, pages 689-695, 1993.
9. T. Son, and C. Baral, Formalizing sensing actions - a transition function based approach, University of Texas at El Paso, Department of Computer Science, Technical Report, 1998 (http://cs.utep.edu/chitta/chitta.html).