.png){kind=icon}
返回
Declarative probabilistic logic programming in discrete-continuous domains
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2024.104227.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming languages owes much of its success to a declarative semantics, the so-called distribution semantics. However, the distribution semantics is limited to discrete random variables only. While PLP has been extended in various ways for supporting hybrid, that is, mixed discrete and continuous random variables, we are still lacking a declarative semantics for hybrid PLP that not only generalizes the distribution semantics and the modeling language but also the standard inference algorithm that is based on knowledge compilation. We contribute the measure semantics together with the hybrid PLP language DC-ProbLog (where DC stands for distributional clauses) and its inference engine infinitesimal algebraic likelihood weighting (IALW). These have the original distribution semantics, standard PLP languages such as ProbLog, and standard inference engines for PLP based on knowledge compilation as special cases. Thus, we generalize the state of the art of PLP towards hybrid PLP in three different aspects: semantics, language and inference. Furthermore, IALW is the first inference algorithm for hybrid probabilistic programming based on knowledge compilation.
Keyword:
Probabilistic programming
Declarative semantics
Discrete-continuous distributions
Likelihood weighting
Logic programming
Knowledge compilation
Algebraic model counting
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
.png){kind=icon}
Determination of lead in waters by atomic absorption spectrometry with electrothermal atomization
PREAI
分享收藏Oxygen Abundances in Diffuse Ellipticals and the Metallicity-Luminosity Relation for Dwarf GalaxiesOAAI
OAAI分享收藏
分享收藏
查看更多内容