Probabilistic Logic Programming (PLP) is a powerful paradigm for the representation of uncertain relations among objects. Recently, programs with continuous variables, also called hybrid programs, have been proposed and assigned a semantics. Hybrid programs are capable of representing real-world measurements but unfortunately the semantics proposal was imprecise so the definition did not assign a probability to all queries. In this paper, we remedy this and formally define a new semantics for hybrid programs. We prove that the semantics assigns a probability to all queries for a large class of programs.

中文翻译：

---

具有功能符号的混合概率逻辑程序的语义

概率逻辑编程（PLP）是表示对象之间不确定关系的强大范例。最近，已经提出了具有连续变量的程序，也称为混合程序，并为其分配了语义。混合程序能够表示现实世界的测量值，但是不幸的是，语义建议不精确，因此该定义并未为所有查询分配概率。在本文中，我们对此进行了补救，并正式为混合程序定义了新的语义。我们证明了语义为大型程序的所有查询分配了概率。