LiU Electronic Press
Full-text not available in DiVA
Author:
Haslum, Patrik (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Jonsson, Peter
Title:
Some results on the complexity of planning with incomplete information
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the 5th European Conference on Planning (ECP)
Publisher: Springer
Series:
Lecture Notes in Computer Science, ISSN 0302-9743; 1809
Volume:
1809
Pages:
308-318
Year of publ.:
1999
URI:
urn:nbn:se:liu:diva-49179
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-49179
Subject category:
Engineering and Technology
SVEP category:
TECHNOLOGY
Abstract(en) :

Planning with incomplete information may mean a number of different things, that certain facts of the initial state are not known, that operators can have random or nondeterministic effects, or that the plans created contain sensing operations and are branching. Study of the complexity of incomplete information planning has so far been concentrated on probabilistic domains, where a number of results have been found. We examine the complexity of planning in nondeterministic propositional domains. This differs from domains involving randomness, which has been well studied, in that for a nondeterministic choice, not even a probability distribution over the possible outcomes is known. The main result of this paper is that the non-branching plan existence problem in unobservable domains with an expressive operator formalism is EXPSPACE-complete. We also discuss several restrictions, which bring the complexity of the problem down to PSPACF-complete, and extensions to the fully and partially observable cases.

Available from:
2009-10-11
Created:
2009-10-11
Last updated:
2012-02-01
Statistics:
12 hits