[2308.00861] Active Inference in String Diagrams: A Categorical Account of Predictive Processing and Free Energy
We present a categorical formulation of the cognitive frameworks of Predictive Processing and Active Inference, expressed in terms of string diagrams interpreted in a monoidal category with copying and discarding. This includes diagrammatic accounts of generative models, Bayesian updating, perception, planning, active inference, and free energy. In particular we present a diagrammatic derivation of the formula for active inference via free energy minimisation, and establish a compositionality property for free energy, allowing free energy to be applied at all levels of an agent's generative model. Aside from aiming to provide a helpful graphical language for those familiar with active inference, we conversely hope that this article may provide a concise formulation and introduction to the framework.
We present a categorical formulation of the cognitive frameworks of Predictive Processing and Active Inference, expressed in terms of string diagrams interpreted in a monoidal category with copying and discarding. This includes diagrammatic accounts of generative models, Bayesian updating, perception, planning, active inference, and free energy. In particular we present a diagrammatic derivation of the formula for active inference via free energy minimisation, and establish a compositionality property for free energy, allowing free energy to be applied at all levels of an agent's generative mo
Explore this link on the map →related reading
- Free energy principle - Wikipediaen.wikipedia.org
- Active Inference and the Free Energy Principle - Tasshintasshin.com
- [2304.07638] Causal models in string diagramsarxiv.org
- pdfopenreview.net
- Active Inference and Intentional Behaviourarxiv.org
- When Models Manipulate Manifolds: The Geometry of a Counting Tasktransformer-circuits.pub
- A Retrospective on Active Inferenceberen.io
- Cognitive Parsimony Theory — Lumen Labslumenresearch.co
- Predictive coding - Wikipediaen.wikipedia.org
- Why Simulator AIs want to be Active Inference AIs — AI Alignment Forumalignmentforum.org
- Categories for AIcats.for.ai
- Translating Predictive Coding Into Perceptual Control | Slate Star Codexslatestarcodex.com