ADTrees中代理的最佳调度：专用算法和声明性模型
摘要：在多智能体环境中表达攻击防御树允许研究安全场景的一个新方面，即智能体数量和任务分配如何影响对立联盟执行的策略（例如攻击时间）的性能。优化智能体行动的调度是一个非常复杂的问题，因此是至关重要的。我们讨论相关的注意事项，并提出一种算法，该算法合成这种分配，目标是使得对给定的攻击防御树攻击时间最小并使用最少数量的智能体。我们还研究了使用重写逻辑解决同一问题的另一种方法，从一个简单而优雅的声明性模型开始，该模型的正确性（以调度优化为准）是显而易见的。然后，我们通过针对我们专门的算法设计进行改进，获得了一个高效的系统，可以用作探索攻击防御树各个方面的实验平台。我们在不同的基准测试上比较了这两种方法。
作者：Jaime Arias, Carlos Olarte, Laure Petrucci, {L}ukasz Ma''sko, Wojciech Penczek, Teofil Sidoruk
论文ID：2305.04616
分类：Multiagent Systems
分类简称：cs.MA
提交时间：2023-05-09