基于验证结构的计划修改和重用理论

审核人：Luminita州

通过减少规划过程所需的计算工作量，修改现有计划以适应问题规范的变化是大幅提高效率的重要来源。本文研究了层次非线性规划环境下计划修改的理论基础，并给出了在PRIAR系统中的实现。除了这里作为基本概念介绍的“验证结构”之外，作者还定义了一些概念，以创建一个充分且连贯的框架来解释规划的不同相关方面，例如正确性、规划修改和修复、重新规划和规划重用。特别注意有关注释、验证和改装任务规范及其相应复杂性、覆盖范围、效率和局限性的问题。还报告了一些将计划修改的性能与其他已知技术进行比较的实证结果。论文的最后部分给出了一系列评论和结论。提高规划系统的效率是当今人工智能的主要兴趣所在。由于其巨大的复杂性，很难获得足够的理论基础来表达和证明不同的策略。本文对规划的充分形式化作出了重要贡献，并将有助于为进一步的理论发展提供充分的框架。此外，通过避免重复工作来提高规划效率的拟议策略可以指导此类新实现或改进现有实现。