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

Research output: Working paperWorking paper and Preprints

Abstract

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.
Original languageEnglish
Publication statusPublished - 1 Jan 2005

Bibliographical note

APRIL project report

Cite this