This module performs reasoning over Logic Programs with Annotated
Disjunctions and CP-Logic programs.
It reads probabilistic program and computes the probability of queries
using kbest inference.
- author
- - Stefano Bragaglia and Fabrizio Riguzzi
- copyright
- - Stefano Bragaglia and Fabrizio Riguzzi
- license
- - Artistic License 2.0 https://opensource.org/licenses/Artistic-2.0
- kbest(:Quer:conjunction_of_literals, +K:int, -Probability:float, -Exps:list) is nondet
- The predicate computes the K most probable explanations of the conjunction of literals Query.
It returns the explanations in Exps together with their Probability
- kbest(:Quer:conjunction_of_literals, +K:int, -Exps:list) is nondet
- The predicate computes the K most probable explanations of the conjunction of literals Query.
It returns the explanations in Exps
