By the same authors

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

Research output: Working paper



Publication details

DateUnpublished - 1 Jan 2005
Original languageEnglish


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.

Bibliographical note

APRIL project report

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations