Diverse planning is the problem of generating plans with distinct characteristics. This is valuable for many real-world scenarios, including applications related to plan recognition and business process automation. In this work, we introduce \emph{Behaviour Planning}, a diverse planning toolkit that can characterise and generate diverse plans based on modular diversity models. We present a qualitative framework for describing diversity models, a planning approach for generating plans aligned with any given diversity model, and provide a practical implementation of an SMT-based behaviour planner. We showcase how the qualitative approach offered by Behaviour Planning allows it to overcome various challenges faced by previous approaches. Finally, the experimental evaluation shows the effectiveness of Behaviour Planning in generating diverse plans compared to state-of-the-art approaches.

翻译：多样化规划是指生成具有不同特征的方案的问题。这在许多现实场景中具有重要价值，包括与规划识别和业务流程自动化相关的应用。本文提出行为规划（Behaviour Planning）——一种基于模块化多样性模型来刻画和生成多样化方案的开发工具包。我们提出一个用于描述多样性模型的定性框架、一种为任意给定多样性模型生成对应方案的规划方法，并提供基于可满足性模理论（SMT）的行为规划器的实用实现。本文展示了行为规划提供的定性方法如何克服先前方法面临的各类挑战。最后，实验评估表明，与最新方法相比，行为规划在生成多样化方案方面具有有效性。