Integrating by Separating: Combining Probability and Logic with ICL, PRISM and SLPs
James Cussens · 2005
This report describes the close relationship that obtains between the ICL, PRISM and SLP frameworks. The common feature of these frameworks is that a purely probabilistic component and a purely logical component are connected to produce a hybrid model. A hidden Markov model (HMM) is used as a running example. The Uniqueness Condition, which allows these frameworks to represent statistical models is discussed, and the consequences of using a weakened version of the Uniqueness Condition briefly explored. ‘Lazy ’ sampling, based on SLD-resolution, is discussed. 1