行为规划：多样化规划工具包

多样化规划方法用于风险管理、自动流式数据分析和恶意软件检测等实际应用。当前的多样化规划公式将多样性模型编码为距离函数，这在比较两个计划时计算成本较低。然而，这种建模方法限制了可以编码为多样性度量的内容，以及解释两个计划为何不同的能力。本文提出了一种新颖的方法来解决多样化规划问题，允许使用 n 维网格表示来更灵活地建模多样性，其中每个维度对应于用户定义的特征。此外，我们提出了一个新工具包，称为\emph{行为规划} (Behaviour Planning)，基于此可定制的多样性模型生成多样化计划。我们提供了使用规划-满足性实现行为规划的实现。我们的实现的实证评估显示，行为规划在我们的新可定制多样性模型上显著优于当前多样化规划方法生成多样化计划。我们的实现是首个支持超出经典规划之外的规划类别的多样化规划方法，如订阅规划和数值规划。