论文标题
广义分销语义和分布的投影家族
The generalised distribution semantics and projective families of distributions
论文作者
论文摘要
我们通过提炼其基本概念，自由随机组件的分离和确定性部分来概括概率逻辑编程的基础分布语义。这抽象了逻辑编程之外的核心思想，以包括概率数据库，概率有限模型理论和离散提升贝叶斯网络的框架。为了证明这种一般方法的有用性，我们完全表征了在广义分布语义中可表示的投影性分布家族，我们证明了大量有趣的投影族无法在广义分布语义学中表示，并且已经在确定的分布中的逻辑节目中已经非常有限的逻辑节目（acyclic necitions logications applosists）代表了所有这些projections sensist，以代表所有代表这些分布的家族。
We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a deterministic part. This abstracts the core ideas beyond logic programming as such to encompass frameworks from probabilistic databases, probabilistic finite model theory and discrete lifted Bayesian networks. To demonstrate the usefulness of such a general approach, we completely characterise the projective families of distributions representable in the generalised distribution semantics and we demonstrate both that large classes of interesting projective families cannot be represented in a generalised distribution semantics and that already a very limited fragment of logic programming (acyclic determinate logic programs) in the determinsitic part suffices to represent all those projective families that are representable in the generalised distribution semantics at all.
