.png){kind=icon}
.png){kind=icon}
Return
A semantics for Hybrid Probabilistic Logic programs with function symbols
.png){kind=icon}
OA
AI
DOI：10.1016/j.artint.2021.103452.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2021 Elsevier B.V. All rights reserved.
Keywords:
Probabilistic Logic Programming
Hybrid programs
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
13.9
Papers:
6.1K
Citations:
1.9W