作者: Dana S. Nau , Kutluhan Erol , V. S. Subrahmanian
DOI:
关键词:
摘要: In this paper, we examine how the complexity of domain-independent planning with STRIPS-style operators depends on nature operators. We show time varies depending a wide variety conditions: • whether or not delete lists are allowed; negative preconditions predicates restricted to be propositions (i.e., 0-ary); given as part input problem, instead fixed in advance.