摘要
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.
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.
基金
partially supported by Istituto Nazionale diAlta Matematica(INdAM)
