Copyright | (c) Adam Scibior 2015-2020 |
---|---|
License | MIT |
Maintainer | leonhard.markert@tweag.io |
Stability | experimental |
Portability | GHC |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Population
turns a single sample into a collection of weighted samples.
Synopsis
- data Population m a
- population :: Population m a -> m [(a, Log Double)]
- runPopulation :: Population m a -> m [(a, Log Double)]
- explicitPopulation :: Functor m => Population m a -> m [(a, Double)]
- fromWeightedList :: Monad m => m [(a, Log Double)] -> Population m a
- spawn :: Monad m => Int -> Population m ()
- multinomial :: MonadDistribution m => Vector Double -> m [Int]
- resampleMultinomial :: MonadDistribution m => Population m a -> Population m a
- systematic :: Double -> Vector Double -> [Int]
- resampleSystematic :: MonadDistribution m => Population m a -> Population m a
- stratified :: MonadDistribution m => Vector Double -> m [Int]
- resampleStratified :: MonadDistribution m => Population m a -> Population m a
- extractEvidence :: Monad m => Population m a -> Population (Weighted m) a
- pushEvidence :: MonadFactor m => Population m a -> Population m a
- proper :: MonadDistribution m => Population m a -> Weighted m a
- evidence :: Monad m => Population m a -> m (Log Double)
- hoist :: Monad n => (forall x. m x -> n x) -> Population m a -> Population n a
- collapse :: MonadMeasure m => Population m a -> m a
- popAvg :: Monad m => (a -> Double) -> Population m a -> m Double
- withParticles :: Monad m => Int -> Population m a -> Population m a
Documentation
data Population m a Source #
A collection of weighted samples, or particles.
Instances
population :: Population m a -> m [(a, Log Double)] Source #
Explicit representation of the weighted sample with weights in the log domain.
runPopulation :: Population m a -> m [(a, Log Double)] Source #
deprecated synonym
Explicit representation of the weighted sample with weights in the log domain.
explicitPopulation :: Functor m => Population m a -> m [(a, Double)] Source #
Explicit representation of the weighted sample.
fromWeightedList :: Monad m => m [(a, Log Double)] -> Population m a Source #
Initialize Population
with a concrete weighted sample.
spawn :: Monad m => Int -> Population m () Source #
Increase the sample size by a given factor.
The weights are adjusted such that their sum is preserved.
It is therefore safe to use spawn
in arbitrary places in the program
without introducing bias.
multinomial :: MonadDistribution m => Vector Double -> m [Int] Source #
Multinomial sampler. Sample from \(0, \ldots, n - 1\) \(n\) times drawn at random according to the weights where \(n\) is the length of vector of weights.
resampleMultinomial :: MonadDistribution m => Population m a -> Population m a Source #
Resample the population using the underlying monad and a multinomial resampling scheme. The total weight is preserved.
systematic :: Double -> Vector Double -> [Int] Source #
Systematic sampler. Sample \(n\) values from \((0,1]\) as follows \[ \begin{aligned} u^{(1)} &\sim U\left(0, \frac{1}{n}\right] \\ u^{(i)} &=u^{(1)}+\frac{i-1}{n}, \quad i=2,3, \ldots, n \end{aligned} \] and then pick integers \(m\) according to \[ Q^{(m-1)}<u^{(n)} \leq Q^{(m)} \] where \[ Q^{(m)}=\sum_{k=1}^{m} w^{(k)} \] and \(w^{(k)}\) are the weights. See also Comparison of Resampling Schemes for Particle Filtering.
resampleSystematic :: MonadDistribution m => Population m a -> Population m a Source #
Resample the population using the underlying monad and a systematic resampling scheme. The total weight is preserved.
stratified :: MonadDistribution m => Vector Double -> m [Int] Source #
Stratified sampler.
Sample \(n\) values from \((0,1]\) as follows \[ u^{(i)} \sim U\left(\frac{i-1}{n}, \frac{i}{n}\right], \quad i=1,2, \ldots, n \] and then pick integers \(m\) according to \[ Q^{(m-1)}<u^{(n)} \leq Q^{(m)} \] where \[ Q^{(m)}=\sum_{k=1}^{m} w^{(k)} \] and \(w^{(k)}\) are the weights.
The conditional variance of stratified sampling is always smaller than that of multinomial sampling and it is also unbiased - see Comparison of Resampling Schemes for Particle Filtering.
resampleStratified :: MonadDistribution m => Population m a -> Population m a Source #
Resample the population using the underlying monad and a stratified resampling scheme. The total weight is preserved.
extractEvidence :: Monad m => Population m a -> Population (Weighted m) a Source #
Separate the sum of weights into the Weighted
transformer.
Weights are normalized after this operation.
pushEvidence :: MonadFactor m => Population m a -> Population m a Source #
Push the evidence estimator as a score to the transformed monad. Weights are normalized after this operation.
proper :: MonadDistribution m => Population m a -> Weighted m a Source #
A properly weighted single sample, that is one picked at random according to the weights, with the sum of all weights.
evidence :: Monad m => Population m a -> m (Log Double) Source #
Model evidence estimator, also known as pseudo-marginal likelihood.
hoist :: Monad n => (forall x. m x -> n x) -> Population m a -> Population n a Source #
Applies a transformation to the inner monad.
collapse :: MonadMeasure m => Population m a -> m a Source #
Picks one point from the population and uses model evidence as a score
in the transformed monad.
This way a single sample can be selected from a population without
introducing bias.
popAvg :: Monad m => (a -> Double) -> Population m a -> m Double Source #
Population average of a function, computed using unnormalized weights.
withParticles :: Monad m => Int -> Population m a -> Population m a Source #