A High-Level Programming Language for Probabilistic Systems

我们开发了约束编程技术，用于系统的建模、仿真和推理。我们的主要贡献是将概率约束满足问题描述为概率系统建模的框架，并提出了一种统计分析其性质的方法。我们还给出了基于半环的约束满足问题的一个理论结果，一种有效地求解带偏好的线性约束的方法，以及一种同时求解非线性约束和常微分方程组的方法。

We developed constraint programming technology for modeling, simulation, and reasoning of systems. Our main contribution is that we formulated probabilistic constraint satisfaction problems as a framework for modeling probabilistic systems and also presented a technique for statistically analyzing their properties. We also provided a theoretical result on semiring-based constraint satisfaction problems, a technique for efficiently solving linear constraints with preferences, and a technique for simultaneously solving nonlinear constraints and ordinary differential equations.