Safe Haskell	None
Language	Haskell2010

Inference.LW

Description

Likelihood-Weighting inference.

Synopsis

Documentation

Arguments

:: (FromSTrace env, es ~ '[ObsReader env, Dist, State STrace, Observe, Sample])
=> Int	number of LW iterations
-> (b -> Model env es a)	model awaiting an input
-> (b, Env env)	(model input, input model environment)
-> Sampler [(Env env, Double)]	(output model environment, likelihood-weighting)

Top-level wrapper for Likelihood-Weighting (LW) inference

Arguments

:: es ~ '[ObsReader env, Dist, State STrace, Observe, Sample]
=> Env env	model environment
-> Model env es a	model
-> Sampler ((a, STrace), Double)	((model output, sample trace), likelihood-weighting)

Handler for one iteration of LW

Arguments

:: Member Sample es
=> Double	accumulated log-probability
-> Prog (Observe ': es) a
-> Prog es (a, Double)	(model output, final log-probability)

Handle each Observe operation by computing and accumulating a log probability