IJCAIJul, 2021

在经典规划方案中实现组合性编码

TL;DR本文采用范畴论的数学理论和图形语法对 PDDL 中的领域、问题和计划进行模型建模,通过将行动视为不同字面意义之间的映射,以描述动作之间的依赖性和选定的方案,并提供了一种图形语法和线性记法,以便推断计划的每一步所使用的替代方案。