含不确定性的条件STN的动态可控性
The Dynamic Controllability of Conditional STNs with Uncertainty
AI总结：
本文定义了一种结合时间约束、条件节点和不确定持续时间的条件简单时间网络（CSTNU），并提出了其动态可控性的概念及约束传播规则。
摘要：
最近自动化业务流程和医疗流程的尝试揭示了对一个正式框架的需求，该框架不仅能容纳时间约束，还能容纳具有不可控持续时间的观测和动作。为满足这一需求，本文定义了一种含不确定性的条件简单时间网络（CSTNU），它结合了简单时间网络（STN）的简单时间约束、条件简单时间问题（CSTP）的条件节点以及含不确定性的简单时间网络（STNU）的应急链接。定义了CSTNU的动态可控性概念，该概念推广了CTP的动态一致性和STNU的动态可控性。本文还提出了一些用于动态可控性的可靠约束传播规则，这些规则有望构成CSTNU动态可控性检查算法的基础。
英文摘要：
Recent attempts to automate business processes and medical-treatment processes have uncovered the need for a formal framework that can accommodate not only temporal constraints, but also observations and actions with uncontrollable durations. To meet this need, this paper defines a Conditional Simple Temporal Network with Uncertainty (CSTNU) that combines the simple temporal constraints from a Simple Temporal Network (STN) with the conditional nodes from a Conditional Simple Temporal Problem (CSTP) and the contingent links from a Simple Temporal Network with Uncertainty (STNU). A notion of dynamic controllability for a CSTNU is defined that generalizes the dynamic consistency of a CTP and the dynamic controllability of an STNU. The paper also presents some sound constraint-propagation rules for dynamic controllability that are expected to form the backbone of a dynamic-controllability-checking algorithm for CSTNUs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
