kbest.pl -- kbest

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
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