Ioannis的Tsamardinos；蒂埃里·维达尔；波拉克，玛莎·E。 CTP：一种新的基于约束的形式主义，用于有条件的时间规划。 （英语） Zbl 1074.68616号 约束条件 8，第4期，365-388（2003）. 摘要：时间约束对条件规划提出了挑战，因为条件规划人员必须确定候选计划是否满足指定的时间约束。这可能很困难，因为满足与一个条件分支关联的约束的时间分配可能无法满足沿不同分支的约束。在本文中，我们通过发展条件时间问题（CTP）形式来应对这一挑战，这是非条件时间规划中使用的标准时间约束满足处理模型的扩展。具体来说，我们通过（1）添加观测节点，以及（2）将标签附加到所有节点，以指示每个节点将要执行的情况，来增强临时CSP框架。我们的扩展框架允许构建条件计划，以保证满足复杂的时间约束。重要的是，即使允许将行动的精确时间推迟到执行时间，也可以实现这一点，从而增加灵活性，并可以根据执行期间的观察动态调整计划。我们还表明，即使对于没有明确数量时间约束的计划，我们的方法也修复了早期条件规划方法中的一个问题，这导致了它们的不完整性。 引用于25文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：时间推理；基于约束的规划；有条件规划 PDF格式BibTeX公司 XML格式引用 \textit{I.Tsamardinos}等人，约束8，No.4，365--388（2003；Zbl 1074.68616） 全文： 内政部