NAME

Logic::Probabilistic::Inference::Rejection - Monte Carlo rejection sampling inference engine.

SYNOPSIS

use Logic::Probabilistic::Inference::Rejection;

my $sampler = Logic::Probabilistic::Inference::Rejection->new(
    program => $prob_prog,
    samples => 10_000,
);
my $result = $sampler->query(query => 'burglary', evidence => ['alarm']);

DESCRIPTION

Generates forward samples of possible worlds and rejects samples that violate observed evidence. Approximates marginal and conditional probabilities with statistical confidence intervals.