稠密时间域上基于未来时间线的规划之不可判定性
形式语言与自动机理论
2019-04-22 v1
摘要
规划是计算机科学中研究最为广泛的问题之一。在本文中，我们考虑基于时间线的方法，其中领域由一组独立但相互作用的组件建模，这些组件由一组状态变量标识，其随时间的行为（时间线）受一组时间约束（同步规则）支配。稠密时间设置下的基于时间线的规划近期已被证明在一般情况下不可判定，且该不可判定性依赖于触发同步规则的高表达能力。在本文中，我们强化了先前的否定性结果，表明不可判定性在未来语义的触发规则下已然成立，该语义将比较限制为相对于触发器的未来时间上下文。
引用
@article{arxiv.1904.09184,
title = {Undecidability of future timeline-based planning over dense temporal domains},
author = {Laura Bozzelli and Alberto Molinari and Angelo Montanari and Adriano Peron},
journal= {arXiv preprint arXiv:1904.09184},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1809.03103