当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Syntactic Requirements for Well-defined Hybrid Probabilistic Logic Programs
arXiv - CS - Logic in Computer Science Pub Date : 2021-09-17 , DOI: arxiv-2109.08283
Damiano Azzolini, Fabrizio Riguzzi

Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distributions. The semantics for this type of programs is crucial since it ensures that a probability can be assigned to every query. Here, following one recent semantics proposal, we illustrate a concrete syntax, and we analyse the syntactic requirements needed to preserve the well-definedness.

中文翻译:

定义明确的混合概率逻辑程序的句法要求

由于逻辑编程的表现力扩展了表示离散和连续分布的事实,混合概率逻辑程序可以表示多种场景。此类程序的语义至关重要,因为它确保可以为每个查询分配一个概率。在这里,根据最近的一个语义提议,我们说明了一个具体的语法,并分析了保持明确定义所需的语法要求。
更新日期:2021-09-20
down
wechat
bug