Integrating by Separating: Combining Probability and Logic with ICL, PRISM and SLPs

TY - UNPB

T1 - Integrating by Separating: Combining Probability and Logic with ICL, PRISM and SLPs

AU - Cussens, James

N1 - APRIL project report

PY - 2005/1/1

Y1 - 2005/1/1

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

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

M3 - Working paper

BT - Integrating by Separating: Combining Probability and Logic with ICL, PRISM and SLPs

ER -