Active Inference and RxInfer.jl.
This repository provides a Julia project environment for work connecting Active Inference with RxInfer.jl, the Beta-Bernoulli coin-flip model as a Generalized Notation Notation (GNN) document, a package entry point that reads that document, a runnable example, and a test suite. The dependency environment is declared in Project.toml. CI runs the tests on the long-term support release and on stable, plus a required GNN conformance job.
The model is declared in specs/coin_flip.gnn.md: latent bias theta ~ Beta(a, b), observations y_i ~ Bernoulli(theta), the sufficient statistic k = sum(y), and the closed-form conjugate posterior theta | y ~ Beta(a + k, b + n - k). The Julia code reads the declared prior, observation count, and seed instead of repeating them: spec_parameters(SPEC_PATH) loads them through the dependency-free reader src/spec_reader.jl.
scripts/validate_gnn_spec.py checks the document with the parser pinned in specs/gnn-pin.json (GNN v5.0.3, commit 8f293d9ba) and with the Julia reader, so all three readers must agree. CI runs it as a required job. See docs/gnn.md.
GNN maintains a downstream adoption guide for repositories that consume the notation.
Install Julia 1.10 or later, clone the repository, and activate the project from its root:
using Pkg
Pkg.activate(".")
Pkg.instantiate()
Pkg.status()The same commands can be run non-interactively:
julia --project=. -e 'using Pkg; Pkg.instantiate(); Pkg.status()'See docs/getting_started.md for the environment workflow and docs/index.md for the documentation map.
A verified Beta-Bernoulli "coin flip" example (examples/coin_flip.jl) estimates the bias of a coin by message-passing inference and compares the result with the conjugate posterior:
julia --project=. examples/coin_flip.jlVerified output (Julia 1.13.3, RxInfer 6.1.1, ReactiveMP 7.0.1, fixed random seed; the first line prints the absolute path of the document):
Specification: <repository>/specs/coin_flip.gnn.md
True bias: 0.75
Observations: 500 (371 successes)
Inferred mean: 0.7400793650793651
Inferred std: 0.01951703487781785
95% CI: [0.7009483694712986, 0.7774057699488053]
Conjugate mean: 0.7400793650793651
Conjugate std: 0.01951703487781785
julia --project=. -e 'using Pkg; Pkg.test()'The suite reads the committed GNN document and checks the declared model, the reader's error paths, reproducible data generation, and that message passing reproduces the closed-form conjugate posterior. Run the pinned GNN validation with:
python3 scripts/validate_gnn_spec.py --gnn-runtime /path/to/venv/bin/python --julia julia --json--gnn-runtime needs an interpreter with the pinned GNN distribution installed; --gnn-root/GNN_ROOT accepts a Generalized_Notation_Notation checkout instead and imports the pinned commit from a git archive of it. Without either, the check reports that it was not run and exits 2.
The project declares RxInfer.jl 6, ReactiveMP.jl 7, and supporting Julia packages for probability distributions and statistics. Version bounds are recorded in Project.toml; the repository does not pin a committed Manifest.toml. Plots and FileIO are no longer declared: nothing in the package, examples, or tests used them, and their native dependencies (Qt, FFMPEG, GR) do not resolve on every host. Add them to your environment with Pkg.add("Plots") if you want them.
- RxInfer documentation
- RxInfer examples
- RxInfer.jl repository
- Active Inference Institute
- Documentation and resources in this repository
Read CONTRIBUTING.md before opening a change. Security reports are described in SECURITY.md. Citation metadata is available in CITATION.cff.
This project is released under the MIT License. Copyright © 2024 Active Inference Institute.