基于strips描述的规划宏动作的构造研究与应用-计算机软件与理论专业论文.docxVIP

中山大学硕士学位论文 中山大学硕士学位论文 基于STRIPS描述的规划宏动作的构造研究与应用 Research and Application of the Macro—operator Based on Strips Description Computer Software and Theory Name：Wang Likun Supervisor：Prof．Jiang Yunfei ABSTRACT In this thesis，we propose new method for generating macro—operators through the static analysis．The objects of the static analysis focus the relmions of the ground actions．First，by analyzing the domain，a certain number of constants selected to produce ground actions．Second，through analyzing the ground actions，contradictory predicates for the domain ate attained and the relations between the ground actions classified accordingly．Then the pattern maps produced．At last，valuable macro。operators based on the maps generated． Keywords：ground actions，macro—operators，contradictory predicates，pattern maps II 中山大学硕士学位论文 中山大学硕士学位论文 基于STRIPS描述的规划宏动作的构造研究与应用 第1章 引言 1．1研究的背景 智能规划11 J是人工智能的一个很重要的领域，从60年代开始就不断地发展 演变，很多相关领域的专家编写了各种各样的规划器，它们基于不同的理论，有 自己独特的一面，同时又有相同的相似的方法。另外一方面，为了进一步提高规 划器的效率。专家们继续做着各种尝试。每个专家都有其独特的见解，有些专家 提出的一些改进规划器的新方法可能是普遍适用的，但是如果要加入到每一种规 划器中，将会有许多琐碎的事情要处理。所以把各种规划器共性的部分，统一标 准，独立成块可以减少这些不必要的麻烦。统一标准，独立成块是一个很庞大的 项目，它需要各方面的科研工作者共同合作才能完成。本文的出发点就是把其中 的一小部分进行改进，做为各种规划器可以共同使用的部分。 利用抽象来提高规划器效率的方法，已经被很多科研人员应用到“自己的” 规划器中，而抽象技术很多时候并不依赖于特定的规划器。作为实验，本文通过 静态的分析问题域描述，得到具有应用价值的宏动作，然后通过合适的方法把得 到的信息传递给各种各样的规划器。如果哪个专家想通过静态分析问题域来提高 规划器求解效率，并不用特意修改这个规划器，它只需将输入事先经过统～块 (engine)的处理就可以了。如果哪个专家提出了一种普遍适用的提高规划器效率 的静态分析的预处理方法，它只需对统一块迸行改进而不需要大幅度的改变现有 的各种规划器。 1．2研究的出发点 本文主要讨论的是在静态分析的基础上提取宏动作，描述了生成宏动作的一 种新方法。它是与具体问题无关的。现在有很多规划器通过各种各样的算法来生 成宏动作，而且也提高了规划器的效率，各种算法既有相同的地方也有不同之处。 特别是把智能规划与机器学习相结合的方法对智能规划的发展起到了很大的推 进作用，各方面的专家、学者在这方面的研究中也取得了不少成就。而本文是从 中山火学硕士学位论文 中山火学硕士学位论文 基于STRIPS描述的规划宏动作的构造研究与应用 静态分析问题域的方法出发的，更像是一个预处理，与动态的学习有着各种各样 的区别。本文试图要寻找的是一种广泛适用的提取宏动作的方法。它只通过静态 的分析问题域的描述来寻找宏动作，从而其产生宏动作的方法不依赖于任何一种 规划器。本文的出发点是要把各种规划器的共性，独立成块。当然这是我们为之 努力的一个遥远的目标。在实际的运行过程中，本文提出的静态分析的方法将对 某类问题域通过静态分析，找出适当的宏动作，再通过合适的途径把这些信息传 递给各种规划器，从而提高规划器的效率。 将能够独立于规划器的某些宏