Computational complexity of planning based on partial information about the system's present and past states

Chitta Baral, Le Chi Tuan, Raul Trejo, Vladik Kreinovich

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


Planning is a very important AI problem, and it is also a very time-consuming AI problem. To get an idea of how complex dif- ferent planning problems are, it is useful to describe the computational complexity of different general planning problems. This complexity has been described for problems in which planning is based on the (complete or partial) information about the current state of the system. In real-life planning problems, we can often complement the incompleteness of our explicit knowledge about the current state by using the implicit knowl- edge about this state which is contained in the description of the system's past behavior. For example, the information about the system's past fail- ures is very important in planning diagnostic and repair. To describe planning which can use the information about the past, a special lan- guage L was developed in 1997 by C. Baral, M. Gelfond and A. Provetti. In this paper, we expand the known results about computational com- plexity of planning (including our own previous results) to this more general class of planning problems.

Original languageEnglish (US)
Title of host publicationComputational Logic - CL 2000 - 1st International Conference, Proceedings
EditorsJohn Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
PublisherSpringer Verlag
Number of pages15
ISBN (Electronic)3540677976, 9783540677970
StatePublished - 2000
Event1st International Conference on Computational Logic, CL 2000 - London, United Kingdom
Duration: Jul 24 2000Jul 28 2000

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
ISSN (Print)0302-9743


Other1st International Conference on Computational Logic, CL 2000
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Computational complexity of planning based on partial information about the system's present and past states'. Together they form a unique fingerprint.

Cite this