NeFut Logo NeFut
Admin Login

[CS.AI] Active Inference as a Convex Markov Decision Process

Published at: 2026-07-24 22:00 Last updated: 2026-07-26 07:44
#AI #optimization #Reinforcement Learning

Abstract

Active Inference (AIF) frames adaptive behavior as the minimization of expected free energy (EFE), combining epistemic and pragmatic objectives within a single variational principle. We frame AIF as policy optimization and show that, for closed-loop control policies, EFE minimization can be formulated as a convex Markov decision process (MDP).

In this formulation, the pragmatic terms are linear in the predictive state marginals and therefore equivalent to reward maximization in a latent MDP, while the epistemic value introduces a nonlinear component that distinguishes EFE minimization from standard reinforcement learning. This perspective further reveals the epistemic drive of active inference as a policy-dependent (performative) reward.

We analyze finite-horizon, discounted, and average-reward formulations of EFE and derive a mirror descent (MD) algorithm that locally linearizes the objective around the current state marginals, yielding a policy-dependent reward that is compatible with actor-critic methods and dynamic programming.

Finally, we argue that coupling world-model learning with policy optimization gives active inference the structure of performative reinforcement learning, providing a route toward grounding active inference within modern reinforcement learning and optimization theory, including convergence analysis and principled policy improvement guarantees.

Blogger's Review: This paper provides a novel framework for understanding complex adaptive behaviors by linking active inference with convex Markov decision processes. Particularly, the introduction of the mirror descent algorithm highlights the close relationship between policy optimization and dynamic programming, which has significant theoretical implications and application prospects. I hope to see more empirical studies in the future to validate these theories.

Original Source: https://arxiv.org/abs/2607.20152

[h] Back to Home