.png){kind=icon}
返回
The distribution semantics for normal programs with function symbols
.png){kind=icon}
OA
AI
DOI：10.1016/j.ijar.2016.05.005.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The distribution semantics integrates logic programming and probability theory using a possible worlds approach. Its intuitiveness and simplicity have made it the most widely used semantics for probabilistic logic programming, with successful applications in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs. We also show that this definition coincides with that of Sato and Kameya on positive programs. Moreover, we highlight possible approaches for inference, both exact and approximate. (C) 2016 Elsevier Inc. All rights reserved.
Keyword:
Distribution semantics
Function symbols
ProbLog
Probabilistic logic programming
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3
论文数:
3.0K
被引数:
5.1K
机构
引用论文
Oxygen Abundances in Diffuse Ellipticals and the Metallicity-Luminosity Relation for Dwarf GalaxiesOAAI
OAAI分享收藏The rice leaf blast pathogen undergoes developmental processes typical of root-infecting fungi.png)
Nature
NatureIF0
PREAI
分享收藏
查看更多内容