In many applications and domains,temporal constraints between actions, and their probabilities play an important role. We propose the first approach in the literature coping with probabilistic quantitative constraints. To achieve such a challenging goal, we extend the widely used simple temporal problem(STP) framework to consider probabilities.Specifically,we propose i) a formal representation of probabilistic quantitative constraints, ii) an algorithm,based on the operations of intersection and composition,for the propagation of such temporal constraints, and iii) facilities to support query answering on a set of such constraints. As a result, we provide users with the first homogeneous method supporting the treatment(representing,reasoning,and querying) of probabilistic quantitative constraints, as required by many applications and domains.
展开▼
机译:Acupuncture Treating Heart Disease Based on Eight Palaces or Eight Veins —Mathematical Reasoning of Treatment Principle Based on Yin Yang Wu Xing Theory in Traditional Chinese Medicine (IV)
机译:Acupuncture Treating Heart Diseases Based on Sixty JiaZi and Eight Palaces —Mathematical Reasoning of Treatment Principle Based on Yin Yang Wu Xing Theory in Traditional Chinese Medicine (V)