R.I.布拉夫曼。；C·多姆什拉克。 使用一元运算符进行规划时的结构和复杂性。 （英语） Zbl 1056.68129号 J.人工制品。智力。研究（JAIR） 18, 315-349 (2003). 摘要：一元运算符域（即运算符具有单一作用的域）在许多控制问题中自然出现。在其最一般的形式中，一元运算符域中的STRIPS规划问题与一般STRIPS计划问题一样困难，两者都是PSPACE-complete。然而，一元算子域诱导了一种自然结构，称为域的因果图。该图将前提条件和每个域操作符的效果联系起来。威廉姆斯（Williams）和纳亚克（Nayak）利用因果图来分析NASA“深空一号”（Deep-Space one）航天器中一个控制器的计划生成。在那里，他们利用了这样一个事实，即当这个图是非循环的时，可以快速获得任何子目标的序列化顺序。在本文中，我们对一个领域的因果图的结构与该领域规划的复杂性之间的关系进行了全面的研究。从积极的方面来看，我们证明了对于因果图诱导出一个节点独立度上有常数界的多树的域，存在一个非平凡多项式时间计划生成算法。从负面来看，我们证明了当图是有向通路单连通DAG时，即使计划存在也是困难的。更一般地，我们表明因果图中的路径数与相关领域中规划的复杂性密切相关。最后，我们将我们的结果与具有可序列化子目标的规划的复杂性问题联系起来。 引用于13文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：STRIPS规划 PDF格式BibTeX公司 XML格式引用 \textit｛R.I.Brafman｝和\textit｛C.Domshlak｝，J.Artif。智力。研究（JAIR）18，315--349（2003；Zbl 1056.68129）