基于时间的游戏及其复杂性

在基于时间线的规划中，领域被描述为一组独立但相互作用的组件，其随时间的行为（时间线集）由一组时间约束控制。基于时间线的规划系统的一个显著特征是能够通过综合以下方面的控制策略将规划与执行相结合灵活的计划然而，灵活的计划只能代表时间不确定性虽然需要更复杂的不确定性形式来处理更广泛的现实世界领域。在本文中，我们提出了一种新的基于时间线的规划问题的游戏理论方法，在统一处理时间不确定性和不确定性的同时，概括了最新技术。我们定义了基于时间线的一般概念游戏我们证明了这些博弈的获胜策略的概念比动态可控柔性计划的控制策略的概念更为普遍。此外，我们还证明了建立这种获胜策略存在性的问题是2EXPTIME-完全的。