BCOMBCOM
CalliopeKnowledge Librarian
WP0020
working_paperongoinginternalcomplete

The algorithmic brain and the autonomous nervous system: trading off exploration and exploitation in a changing world

Francesca Castaldo, Giulio Ruffini, Dirk de Ridder

P1Β·Computational Neuropsychiatry & NeurophenomenologyP2Β·Artificial & Synthetic IntelligenceL5Β·LifeL6Β·Brains

Kolmogorov Theory (KT) and the Free Energy Principle / Active Inference (FEP/AIF) grew up in parallel and from different roots---algorithmic information theory on one side, variational Bayesian inference on the other---yet they arrive at a strikingly congruent picture of perception, action, and life. This note sets the two side by side to bring out how closely in synch they are, reading them as complementary levels of description of one agent. KT is a substrate-independent, algorithmic-information account of what any bounded, persistent agent must do: compress world data into models and act to maximize an objective. FEP/AIF supplies what an abstract account cannot---a stochastic-dynamical realization (random dynamical systems with Markov blankets), a physics of beliefs, and a process theory with an explicit message-passing and neural implementation that unifies perception, action, and learning and has driven a large empirical program. We develop the relationship in three steps. First, the uncomputability of Kolmogorov complexity and finite resources drive any bounded KT agent toward probabilistic, Jaynes-style inference. Second, once the agent's information membrane is specialized into a Markov blanket, hidden causes are represented probabilistically, and action is cast as policy selection under prior preferences, variational free energy becomes the canonical objective and the active-inference form follows---one biologically powerful member of a family of bounded-agent architectures, not the unique endpoint. Third, the assumptions that give the standard active-inference formulation its specific shape (a single joined objective, prior-relative simplicity, a fixed epistemic/pragmatic weighting) are precisely those that active inference's own research program is already relaxing; the algorithmic level simply names the invariants. We illustrate the relationship in a worked regime---exploration/exploitation and its autonomic implementation, with a corollary for anxiety---and close with a complementary, not hierarchical, reading: two levels for one agent.

Two independently developed theories of mind β€” one from algorithmic information, one from Bayesian physics β€” turn out to be describing the same agent from different altitudes.

Kolmogorov Theory (KT) asks the most abstract version of the question: what must any bounded, persistent system do to keep existing? The answer is compress the world into models, score outcomes by some objective, and act. This is deliberately substrate-free β€” it applies to cells, viruses, institutions, and AI alike. The Free Energy Principle / Active Inference (FEP/AIF) asks a more specific question: how does a biological system, separated from its environment by a probabilistic boundary (a Markov blanket), actually implement perception, action, and learning? Its answer β€” minimize variational free energy, a bound on how surprised your model is by the world β€” is mathematically precise, neurobiologically grounded, and has driven a large empirical research program. The paper's central claim is that these two are not rivals but levels: KT is the computational-level "what," FEP/AIF is the algorithmic-level "how."

The bridge is built in three steps. First, exact Kolmogorov compression is uncomputable, so any real agent must maintain a portfolio of models weighted by simplicity and past performance β€” which is just Bayesian inference. Second, once you read the agent's information boundary as a Markov blanket (adding conditional independence structure to what KT calls an "information membrane"), variational free energy falls out as the natural objective. It's not arbitrary; it's what you get when hidden causes are inferred probabilistically and action is policy selection under prior preferences. Third, the specific choices that give standard active inference its shape β€” a single unified objective, prior-relative simplicity, a fixed balance between curiosity and goal-seeking β€” are exactly the ones active inference's own extensions are already loosening. KT just names what stays invariant across those extensions.

The most interesting architectural difference is in how the two frameworks handle goals. Active inference folds preferences into the generative model: exploration and exploitation both emerge from minimizing one expected free energy functional, with no separate dial. KT keeps the objective separate from the model β€” a distinct "telehomeostatic" valuation function that the model serves. Neither is uniformly better. The joined form is elegant and self-consistent; the separable form makes it easier to ask whose persistence an agent is serving, handle non-stationary goals, or diagnose cases where the model is accurate but the objective is pathological. This matters especially for artificial agents and alignment.

The paper works through exploration-exploitation as a concrete illustration. In active inference, the autonomic nervous system tunes precision β€” the gain on prediction errors β€” via neuromodulators: acetylcholine for sensory precision, noradrenaline for prior precision. High prior precision locks the agent into exploitation ("better safe than sorry"); low precision opens it to exploration. Persistent stress that keeps prior precision elevated is offered as a mechanistic sketch of anxiety β€” the brain stuck in a locally adaptive but globally maladaptive exploitative regime. Both frameworks converge on the same therapeutic intuition: restore tolerance for prediction error to re-enable learning.

WP ID
WP0020
Lifecycle
ongoing
Visibility
internal
Access level
open
Embargo until
β€”
Priority
β€”
Collab
closed
Venue
β€”
DOI
β€”
Deadline
β€”
Owner
β€”
Source
drive_legacy
Repo path
WP0020 -Telehomeostatic_MetaControl_KT_FEP_ANS
  • v0.2.0 (revision) Β· cut-version
  • v0.1.0 (draft) Β· drive-legacy
    Auto-created by Phase 1a bootstrap ingestion.