A Statistical Learning Method for Logic Programs with Distribution Semantics
Taisuke Sato · The MIT Press eBooks · 1995
When a joint distribution PF is given to a set F of facts in a logic program DB = F U R where R is a set of rules, we can further extend it to a joint distribution PDB over the set of possible least models of DB. We then define the semantics of DB with the associated distribution PF as PDB, and call it distribution semantics. While the