Front. Neurorobot.Frontiers in NeuroroboticsFront. Neurorobot.1662-5218Frontiers Media S.A.10.3389/fnbot.2018.00045Robotics and AIMethodsExpanding the Active Inference Landscape: More Intrinsic Motivations in the Perception-Action LoopBiehlMartin^{1}^{*}GuckelsbergerChristian^{2}SalgeChristoph^{3}^{4}SmithSimón C.^{4}^{5}PolaniDaniel^{4}^{1}Araya Inc., Tokyo, Japan^{2}Computational Creativity Group, Department of Computing, Goldsmiths, University of London, London, United Kingdom^{3}Game Innovation Lab, Department of Computer Science and Engineering, New York University, New York, NY, United States^{4}Sepia Lab, Adaptive Systems Research Group, Department of Computer Science, University of Hertfordshire, Hatfield, United Kingdom^{5}Institute of Perception, Action and Behaviour, School of Informatics, The University of Edinburgh, Edinburgh, United Kingdom
Edited by: Antonio Chella, Universit degli Studi di Palermo, Italy
Reviewed by: Karl Friston, University College London, United Kingdom; Alessandro Di Nuovo, Sheffield Hallam University, United Kingdom
This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
Active inference is an ambitious theory that treats perception, inference, and action selection of autonomous agents under the heading of a single principle. It suggests biologically plausible explanations for many cognitive phenomena, including consciousness. In active inference, action selection is driven by an objective function that evaluates possible future actions with respect to current, inferred beliefs about the world. Active inference at its core is independent from extrinsic rewards, resulting in a high level of robustness across e.g., different environments or agent morphologies. In the literature, paradigms that share this independence have been summarized under the notion of intrinsic motivations. In general and in contrast to active inference, these models of motivation come without a commitment to particular inference and action selection mechanisms. In this article, we study if the inference and action selection machinery of active inference can also be used by alternatives to the originally included intrinsic motivation. The perception-action loop explicitly relates inference and action selection to the environment and agent memory, and is consequently used as foundation for our analysis. We reconstruct the active inference approach, locate the original formulation within, and show how alternative intrinsic motivations can be used while keeping many of the original features intact. Furthermore, we illustrate the connection to universal reinforcement learning by means of our formalism. Active inference research may profit from comparisons of the dynamics induced by alternative intrinsic motivations. Research on intrinsic motivations may profit from an additional way to implement intrinsically motivated agents that also share the biological plausibility of active inference.
intrinsic motivationfree energy principleactive inferencepredictive informationempowermentperception-action loopuniversal reinforcement learningvariational inferenceEP/L015846/1705643641321Engineering and Physical Sciences Research Council10.13039/501100000266H2020 Marie Skłodowska-Curie Actions10.13039/100010665H2020 Future and Emerging Technologies10.13039/1000106641. Introduction
Active inference (Friston et al., 2012), and a range of other formalisms usually referred to as intrinsic motivations (Storck et al., 1995; Klyubin et al., 2005; Ay et al., 2008), all aim to answer a similar question: “Under minimal assumptions, how should an agent act?” More practically, they relate to what would be a universal way to generate behaviour for an agent or robot that appropriately deals with its environment, i.e., acquires the information needed to act and acts toward an intrinsic goal. To this end, both the free energy principle and intrinsic motivations aim to bridge the gap between giving a biologically plausible explanation for how real organism deal with the problem and providing a formalism that can be implemented in artificial agents. Additionally, they share a range of properties, such as an independence of a priori semantics and being defined purely on the dynamics of the agent environment interaction, i.e., the agent's perception-action loop.
Despite these numerous similarities, as far as we know, there has not been any unified or comparative treatment of those approaches. We believe this is in part due to a lack of an appropriate unifying mathematical framework. To alleviate this, we present a technically complete and comprehensive treatment of active inference, including a decomposition of its perception and action selection modes. Such a decomposition allows us to relate active inference and the inherent motivational principle to other intrinsic motivation paradigms such as empowerment (Klyubin et al., 2005), predictive information (Ay et al., 2008), and knowledge seeking (Storck et al., 1995; Orseau et al., 2013). Furthermore, we are able to clarify the relation to universal reinforcement learning (Hutter, 2005). Our treatment is deliberately comprehensive and complete, aiming to be a reference for readers interested in the mathematical fundament.
A considerable number of articles have been published on active inference (e.g., Friston et al., 2012, 2015, 2016a,b, 2017a,b; Linson et al., 2018). Active inference defines a procedure for both perception and action of an agent interacting with a partially observable environment. The definition of the method, in contrast to other existing approaches (e.g., Hutter, 2005; Doshi-Velez et al., 2015; Leike, 2016), does not maintain a clear separation between the inference and the action selection mechanisms, and the objective function. Most approaches for perception and action selection are generally formed of three steps: The first step involves a learning or inference mechanism to update the agent's knowledge about the consequences of its actions. In a second step, these consequences are evaluated with respect to an agent-internal objective function. Finally, the action selection mechanism chooses an action depending on the preceding evaluation.
In active inference, these three elements are entangled. On one hand, there is the main feature of active inference: the combination of knowledge updating and action selection into a single mechanism. This single mechanism is the minimization of a “variational free energy” (Friston et al., 2015, p. 188). The “inference” part of the name is justified by the formal resemblance of the method to the variational free energy minimization (also known as evidence lower bound maximization) used in variational inference. Variational inference is a way to turn Bayesian inference into an optimization problem which gives rise to an approximate Bayesian inference method (Wainwright and Jordan, 2007). The “active” part is justified by the fact that the output of this minimization is a probability distribution over actions from which the actions of the agent are then sampled. Behaviour in active inference is thus the result of a variational inference-like process. On the other hand, the function (i.e., expected free energy) that induces the objective function in active inference is said to be “of the same form” as the variational free energy (Friston et al., 2017a, p. 2673) or even to “follow” from it (Friston et al., 2016b, p. 10). This suggests that expected free energy is the only objective function compatible with active inference.
In summary, perception and action in active inference intertwines four elements: variational approximation, inference, action selection, and an objective function. Besides these formal features, active inference is of particular interest for its claims on biological plausibility and its relationship to the thermodynamics of dissipative systems. According to Friston et al. (2012, Section 3) active inference is a “corollary” to the free energy principle. Therefore, it is claimed, actions must minimize variational free energy to resist the dispersion of states of self-organizing systems (see also Friston, 2013b; Allen and Friston, 2016). Active inference has also been used to reproduce a range of neural phenomena in the human brain (Friston et al., 2016b), and the overarching free energy principle has been proposed as a “unified brain theory” Friston (2010). Furthermore, the principle has been used in a hierarchical formulation as theoretical underpinning of the predictive processing framework (Clark, 2015, p. 305–306), successfully explaining a wide range of cognitive phenomena. Of particular interest for the present special issue, the representation of probabilities in the active inference framework is conjectured to be related to aspects of consciousness (Friston, 2013a; Linson et al., 2018).
These strong connections between active inference and biology, statistical physics, and consciousness research make the method particularly interesting for the design of artificial agents that can interact with- and learn about unknown environments. However, it is currently not clear to which extent active inference allows for modifications. We ask: how far do we have to commit to the precise combination of elements used in the literature, and what becomes interchangeable?
One target for modifications is the objective function. In situations where the environment does not provide a specific reward signal and the goal of the agent is not directly specified, researchers often choose the objective function from a range of intrinsic motivations. The concept of intrinsic motivation was introduced as a psychological concept by Ryan and Deci (2000), and is defined as “the doing of an activity for its inherent satisfactions rather than for some separable consequence.” The concept helps us to understand one important aspect of consciousness: the assignment of affect to certain experiences, e.g., the experience of fun (Dennett, 1991) when playing a game. Computational approaches to intrinsic motivations (Oudeyer and Kaplan, 2009; Schmidhuber, 2010; Santucci et al., 2013) can be categorized roughly by the psychological motivations they are imitating, e.g., drives to manipulate and explore, the reduction of cognitive dissonance, the achievement of optimal incongruity, and finally motivations for effectance, personal causation, competence and self-determination. Intrinsic motivations have been used to enhance behaviour aimed at extrinsic rewards (Sutton and Barto, 1998), but their defining characteristic is that they can serve as a goal-independent motivational core for autonomous behaviour generation. This characteristic makes them good candidates for the role of value functions for the design of intelligent systems (Pfeifer et al., 2005). We attempt to clarify how to modify active inference to accommodate objective functions based on different intrinsic motivations. This may allow future studies to investigate whether and how altering the objective function affects the biological plausibility of active inference.
Another target for modification, originating more from a theoretical standpoint, is the variational formulation of active inference. As mentioned above, variational inference formulates Bayesian inference as an optimization problem; a family of probability distributions is optimized to approximate the direct, non-variational Bayesian solution. Active inference is formulated as an optimization problem as well. We consequently ask: is active inference the variational formulation of a direct (non-variational) Bayesian solution? Such a direct solution would allow a formally simple formulation of active inference without recourse to optimization or approximation methods, at the cost of sacrificing tractability in most scenarios.
To explore these questions, we take a step back from the established formalism, gradually extend the active inference framework, and comprehensively reconstruct the version presented in Friston et al. (2015). We disentangle the four components of approximation, inference, action selection, and objective functions that are interwoven in active inference.
One of our findings, from a formal point of view, is that expected free energy can be replaced by other intrinsic motivations. Our reconstruction of active inference then yields a unified formal framework that can accommodate:
Direct, non-variational Bayesian inference in combination with standard action selection schemes known from reinforcement learning as well as objective functions induced by intrinsic motivations.
Universal reinforcement learning through a special choice of the environment model and a small modification of the action selection scheme.
Variational inference in place of the direct Bayesian approach.
Active inference in combination with objective functions induced by intrinsic motivations.
We believe that our framework can benefit active inference research as a means to compare the dynamics induced by alternative action selection principles. Furthermore, it equips researchers on intrinsic motivations with additional ways for designing agents that share the biological plausibility of active inference.
Finally, this article contributes to the research topic: Consciousness in Humanoid Robots, in several ways. First, there have been numerous claims on how active inference relates to consciousness or related qualities, which we outlined earlier in the introduction. The most recent work by Linson et al. (2018), also part of this research topic, specifically discusses this relation, particularly in regards to assigning salience. Furthermore, intrinsic motivations (including the free energy principle for this argument) have a range of properties that relate to or are useful to a range of classical approaches recently summarized as as Good Old-Fashioned Artificial Consciousness (GOFAC, Manzotti and Chella, 2018). For example, embodied approaches still need some form of value-function or motivation (Pfeifer et al., 2005), and benefit from the fact that intrinsic motivations are usually universal yet sensitive in regards to an agent's embodiment. The enactive AI framework (Froese and Ziemke, 2009), another candidate for GOFAC, proposes further requirements on how value underlying motivation should be grounded in constitutive autonomy and adaptivity. Guckelsberger and Salge (2016) present tentative claims on how empowerment maximization relates to these requirements in biological systems, and how it could contribute to realizing them in artificial ones. Finally, the idea of using computational approaches for intrinsic motivation goes back to developmental robotics (Oudeyer et al., 2007), where it is suggested as way to produce a learning and adapting robot, which could offer another road to robot consciousness. Whether these Good Old-Fashioned approaches will ultimately be successful is an open question, and Manzotti and Chella (2018) asses them rather critically. However, extending active inference to alternative intrinsic motivations in a unified framework allows to combine features of these two approaches. For example it may bring together the neurobiological plausibility of active inference and the constitutive autonomy afforded by empowerment.
2. Related work
Our work is largely based on Friston et al. (2015) and we adopt the setup and models from it. This means many of our assumptions are due to the original paper. Recently, Buckley et al. (2017) have provided an overview of continuous-variable active inference with a focus on the mathematical aspects, rather than the relationship to thermodynamic free energy, biological interpretations or neural correlates. Our work here is in as similar spirit but focuses on the discrete formulation of active inference and how it can be decomposed. As we point out in the text, the case of direct Bayesian inference with separate action selection is strongly related to general reinforcement learning (Hutter, 2005; Leike, 2016; Aslanides et al., 2017). This approach also tackles unknown environments with- and in later versions also without externally specified reward in a Bayesian way. Other work focusing on unknown environments with rewards are e.g., (Ross and Pineau, 2008; Doshi-Velez et al., 2015). We would like to stress that we do not propose agents using Bayesian or variational inference as competitors to any of the existing methods. Instead, our goal is to provide an unbiased investigation of active inference with a particular focus on extending the inference methods, objective functions and action-selection mechanisms. Furthermore, these agents follow almost completely in a straightforward (if quite involved) way from the model in Friston et al. (2015). A small difference is the extension to parameterizations of environment and sensor dynamics. These parameterizations can be found in Friston et al. (2016b).
We note that work on planning as inference (Attias, 2003; Toussaint, 2009; Botvinick and Toussaint, 2012) is generally related to active inference. In this line of work the probability distribution over actions or action sequences that lead to a given goal specified as a sensor value is inferred. Since active inference also tries to obtain a probability distribution over actions the approaches are related. The formalization of the goal however differs, at least at first sight. How exactly the two approaches relate is beyond the scope of this publication.
3. Structure of this article
Going forward, we will first outline our mathematical notation in Section 4. We then introduce the perception-action loop, which contains both agent and environment in Section 5. In Section 6 we introduce the model used by Friston et al. (2015). We then show how to obtain beliefs about the consequences of actions via both (direct) Bayesian inference (Section 6.2) and (approximate) variational inference (Section 6.4). These beliefs are represented in the form of a set of complete posteriors. Such a set is a common object but usually does not play a prominent role in Bayesian inference. Here, it turns out to be a convenient structure for capturing the agent' knowledge and describing intrinsic motivations. Under certain assumptions that we discuss in Section 6.3 the direct Bayesian case specializes to the belief updating of the Bayesian universal reinforcement learning agent of Aslanides et al. (2017). We then discuss in Section 7 how those beliefs (i.e., the set of complete posteriors) can induce action-value functions (playing the role of objective functions) via a given intrinsic motivation function. We present standard (i.e., non-active inference) ways to select actions based on such action-value functions. Then we look at different instances of intrinsic motivation functions. The first is the “expected free energy” of active inference. For this we explicitly show how our formalism produces the original expression in Friston et al. (2015). Looking at the formulations of other intrinsic motivations it becomes clear that the expected free energy relies on expressions quite similar or identical to those that occur in other intrinsic motivations. This suggests that, at least in principle, there is no reason why active inference should only work with expected free energy as an intrinsic motivation. Finally, in Section 8 formulate active inference for arbitrary action-value functions which include those induced by intrinsic motivations. Modifying the generative model of Section 6.1 and looking at the variational approximation of its posterior comes close but does not correspond to the original active inference of Friston et al. (2015). We explain the additional trick that is needed.
In the Appendix we provide some more detailed calculations as well as notation translation tables (Appendix C) from our own to those of Friston et al. (2015) and Friston et al. (2016b).
4. Notation
We will explain our notation in more detail in the text, but for readers that mostly look at equations we give a short summary. Note that, Appendix C comprises a translation between Friston et al. (2015, 2016b) and the present notation. Mostly, we will denote random variables by upper case letters e.g., X, Y, A, E, M, S, … their state spaces by calligraphic upper case letters X,Y,A,E,M,S…, specific values of random variables which are elements of the state spaces by lower case letters x, y, a, e, m, s, …. An exception to this are random variables that act as parameters of probability distributions. For those, we use upper case Greek letters Ξ, Φ, Θ, …, for their usually continuous state spaces we use Δ_{Ξ}, Δ_{Θ}, Δ_{Φ}, … and for specific values the lower case Greek letters ξ, ϕ, θ, …. In cases where a random variable plays the role of an estimate of another variable X, we write the estimate as X^, its state space as χ^ and its values as x^.
We distinguish different types of probability distributions with letters p, q, r, and d. Here, p corresponds to probability distributions describing properties of the physical world including the agent and its environment, q identifies model probabilities used by the agent internally, r denotes approximations of such model probabilities which are also internal to the agent, and d denotes a probability distribution that can be replaced by a q or a r distribution. We write conditional probabilities in the usual way, e.g., p(y|x). For a model of this conditional probability parameterized by θ, we write q(ŷ|x^,θ).
5. Perception-action loop
In this section we introduce an agent's perception-action loop (PA-loop) as a causal Bayesian network. This formalism forms the basis for our treatment of active inference. The PA-loop should be seen as specifying the (true) dynamics of the underlying physical system that contains agent and environment as well as their interactions. In Friston's formulation, the environment dynamics of the PA-loop are referred to as the generative process. In general these dynamics are inaccessible to the agent itself. Nonetheless, parts of these (true) dynamics are often assumed to be known to the agent in order to simplify computation (see e.g., Friston et al., 2015). We first formally introduce the PA-loop as causal Bayesian network, and then state specific assumptions for the rest of this article.
5.1. PA-loop bayesian network
Figure 1 shows an agent's PA-loop, formalized as causal Bayesian network. The network describes the following causal dependencies over time: At t = 0 an initial environment state e0∈E leads to an initial sensor value s0∈S. This sensor value influences the memory state m1∈M of the agent at time t = 1. Depending on this memory state, action a1∈A is performed which influences the transition of the environment state from e_{0} to e1∈E. The new environment state leads to a new sensor value s_{1} which, together with the performed action a_{1} and the memory state m_{1}, influence the next memory state m_{2}. The loop then continues in this way until a final time step T.
First two time steps of the Bayesian network representing the perception-action loop (PA-loop). All subsequent time steps are identical to the one from time t = 1 to t = 2.
We assume that all variables are finite and that the PA-loop is time-homogeneous^{1}. We exclude the first transition from t = 0 to t = 1 from the assumption of time-homogeneity in order to avoid having to pick an arbitrary action which precedes the investigated time-frame. The first transition is thus simplified to p(m_{1}|s_{0}, a_{0}): = p(m_{1}|s_{0}). Under the assumption of time-homogeneity and the causal dependencies expressed in Figure 1, the joint probability distribution over the entire PA-loop is defined by:
where e_{0:T} is shorthand for states (e_{0}, e_{1}, …, e_{T}). In order to completely determine this distribution we therefore have to specify the state spaces E,S,A, and M as well as the following probabilities and mechanisms for all e0,et,et+1∈E;s0,st∈S;at,at+1∈A;m1,mt,mt+1∈M for t > 0:
Initial environment distribution: p(e_{0}),
Environment dynamics: p(e_{t+1}|a_{t+1}, e_{t}),
Sensor dynamics: p(s_{t}|e_{t}),
Action generation: p(a_{t}|m_{t}),
Initial memory step p(m_{1}|s_{0}),
Memory dynamics: p(m_{t+1}|s_{t}, a_{t}, m_{t}).
In the following we will refer to a combination of initial environment distribution, environment dynamics, and sensor dynamics simply as an environment. Similarly, an agent is a particular combination of initial memory step, memory dynamics, and action generation. The indexing convention we use here is identical to the one used for the generative model (see Section 6.1) in Friston et al. (2015).
Also, note the dependence of M_{t} on S_{t−1}, M_{t−1}, and additionally A_{t−1} in Figure 1. In the literature, the dependence on A_{t−1} is frequently not allowed (Ay et al., 2012; Ay and Löhr, 2015). However, we assume an efference-like update of the memory. Note that this dependence in addition to the dependence on m_{t−1} is only relevant if the actions are not deterministic functions of the memory state^{2}. If action selection is probabilistic, knowing the outcome a_{t−1} of the action generation mechanism p(a_{t−1}|m_{t−1}) will convey more information than only knowing the past memory state m_{t−1}. This additional information can be used in inference about the environment state and fundamentally change the intrinsic perspective of an agent. We do not discuss these changes in more detail here but the reader should be aware of the assumption.
In a realistic robot scenario, the action a_{t}, if it is to be known by the agent, can only refer to the “action signal” or “action value” that is sent to the robot's physical actuators. These actuators will usually be noisy and the robot will not have access to the final effect of the signal it sends. The (noisy) conversion of an action signal to a physical configuration change of the actuator is here seen as part of the environment dynamics p(e_{t}|a_{t}, e_{t−1}). Similarly, the sensor value is the signal that the physical sensor of the robot produces as a result of a usually noisy measurement, so just like the actuator, the conversion of a physical sensor configuration to a sensor value is part of the sensor dynamics p(s_{t}|e_{t}) which in turn belongs to the environment. As we will see later, the actions and sensor values must have well-defined state spaces A and S for inference on an internal model to work. This further justifies this perspective.
5.2. Assumptions
For the rest of this article we assume that the environment state space E, sensor state space S as well as environment dynamics p(e_{t+1}|a_{t+1}, e_{t}) and sensor dynamics p(s_{t}|e_{t}) are arbitrarily fixed and that some initial environmental state e_{0} is given. Since we are interested in intrinsic motivations, our focus is not on specific environment or sensor dynamics but almost exclusively on action generation mechanisms of agents that rely minimally on the specifics of these dynamics.
In order to focus on action generation, we assume that all the agents we deal with here have the same memory dynamics. For this, we choose a memory that stores all past sensor values s_{≺t} = (s_{0}, s_{1}, …, s_{t−1}) and actions a_{≺t} = (a_{1}, a_{2}, …, a_{t−1}) in the memory state m_{t}. This type of memory is also used in Friston et al. (2015, 2016b) and provides the agent with all existing data about its interactions with the environment. In this respect, it could be called a perfect memory. At the same time, whatever the agent learned from s_{≺t} and a_{≺t} that remains true based on the next time step's s_{≼t+1} and a_{≼t+1} must be relearned from scratch by the agent. A more efficient memory use might store only a sufficient statistic of the past data and keep reusable results of computations in memory. Such improvements are not part of this article (see e.g., Fox and Tishby, 2016, for discussion).
Formally, the state space M of the memory is the set of all sequences of sensor values and actions that can occur. Since there is only a sensor value and no action at t = 0, these sequences always begin with a sensor value followed by pairs of sensor values and actions. Furthermore, the sensor value and action at t = T are never recorded. Since we have assumed a time-homogeneous memory state space M we must define it so that it contains all these possible sequences from the start. Formally, we therefore choose the union of the spaces of sequences of a fixed length (similar to a Kleene-closure):
M=S∪(⋃t=1T-1S×(S×A)t).
With this we can define the dynamics of the memory as:
This perfect memory may seem unrealistic and can cause problems if the sensor state space is large (e.g., high resolution images). However, we are not concerned with this type of problem here. Usually, the computation of actions based on past actions and sensor values becomes a challenge of efficiency long before storage limitations kick in: the necessary storage space for perfect memory only increases linearly with time, while, as we show later, the number of operations for Bayesian inference increases exponentially.
For completeness we also note how the memory dynamics look if actions are a deterministic function f:M→A of the memory state. Recall that in this case we can drop the edge from A_{t−1} to M_{t} in the PA-loop in Figure 1 and have a_{t} = f(m_{t}) so that we can define:
Given a fixed environment and the memory dynamics, we only have to define the action generation mechanism p(a_{t}|m_{t}) to fully specify the perception-action loop. This is the subject of the next two sections.
In order to stay as close to Friston et al. (2015) as possible, we first explain the individual building blocks that can be extracted from Friston's active inference as described in Friston et al. (2015). These are the variational inference and the action selection. We then show how these two building blocks are combined in the original formulation. We eventually leverage our separation of components to show how the action selection component can be modified, and thus extend the active inference framework.
6. Inference and complete posteriors
Ultimately, an agent needs to select actions. Inference based on past sensor values and actions is only needed if it is relevant to the action selection. Friston's active inference approach promises to perform action selection within the same inference step that is used to update the agent's model of the environment. In this section, we look at the inference component only and show how an agent can update a generative model in response to observed sensor values and performed actions.
The natural way of updating such a model is Bayesian inference via Bayes' rule. This type of inference leads to what we call the complete posterior. The complete posterior represents all knowledge that the agent can obtain about the consequences of its actions from its past sensor values and actions. In Section 7 we discuss how the agent can use the complete posterior to decide what is the best action to take.
Bayesian inference as straightforward recipe is usually not practical due to computational costs. The memory requirements of the complete posterior update increases exponentially with time and so does the number of operations needed to select actions. To keep the computational tractable, we have to limit ourselves to only use parts of the complete posterior. Furthermore, since the direct expressions (even of parts) of complete posteriors are usually intractable, approximations are needed. Friston's active inference is committed to variational inference as an approximation technique. Therefore, we explain how variational inference can be used as an approximation technique. Our setup for variational inference (generative model and approximate posterior) is identical to the one in Friston et al. (2015), but in this section we ignore the inference of actions included there. We will look at the extension to action inference in Section 7.
In the perception-action loop in Figure 1, action selection (and any inference mechanism used in the course of it) depends exclusively on the memory state m_{t}. As mentioned in Section 5, we assume that this memory state contains all past sensor values s_{≺t} and all past actions a_{≺t}. To save space, we write sa_{≺t}: = (s_{≺t}, a_{≺t}) to refer to both sensor values and actions. We then have:
mt=sa≺t.
However, since it is more intuitive to understand inference with respect to past sensor values and actions than in terms of memory, we use sa_{≺t} explicitly here in place of m_{t}.
6.1. Generative model
The inference mechanism, internal to the action selection mechanism p(a|m), takes place on a hierarchical generative model (or density, in the continuous case). “Hierarchical” means that the model has parameters and hyperparameters, and “generative” indicates that the model relates parameters and latent variables, i.e., the environment state, as “generative” causes to sensor values and actions as data in a joint distribution. The generative model we investigate here is a part of the generative model used in Friston et al. (2015). For now, we omit the probability distribution over future actions and the “precision”, which are only needed for active inference and are discussed later. The generative models in Friston et al. (2016a,b, 2017a) are all closely related.
Note that we are not inferring the causal structure of the Bayesian network or state space cardinalities, but define the generative model as a fixed Bayesian network with the graph shown in Figure 2. It is possible to infer the causal structure (see e.g., Ellis and Wong, 2008), but in that case, it becomes impossible to represent the whole generative model as a single Bayesian network (Ortega, 2011).
Bayesian network of the generative model with parameters Θ = (Θ^{1}, Θ^{2}, Θ^{3}) and hyperparameters Ξ = (Ξ^{1}, Ξ^{2}, Ξ^{3}). Hatted variables are models / estimates of non-hatted counterparts in the perception-action loop in Figure 1. An edge that splits up connecting one node to n nodes (e.g., Θ^{2} to Ê_{1}, Ê_{2}, …) corresponds to n edges from that node to all the targets under the usual Bayesian network convention. Note that in contrast to the perception-action loop in Figure 1, imagined actions Â_{t} have no parents. They are either set to past values or, for those in the future, a probability distribution over them must be assumed.
The variables in the Bayesian network in Figure 2 that model variables occurring outside of p(a|m) in the perception-action loop (Figure 1), are denoted as hatted versions of their counterparts. More precisely:
ŝ∈S^=S are modelled sensor values,
â∈A^=A are modelled actions,
ê∈E^ are modelled environment states.
To clearly distinguish the probabilities defined by the generative model from the true dynamics, we use the symbol q instead of p. In accordance with Figure 2, and also assuming time-homogeneity, the joint probability distribution over all variables in the model until some final modelled time T^ is given by:
Here, θ^{1}, θ^{2}, θ^{3} are the parameters of the hierarchical model, and ξ^{1}, ξ^{2}, ξ^{3} are the hyperparameters. To save space, we combine the parameters and hyperparameters by writing
θ:=(θ1,θ2,θ3)ξ:=(ξ1,ξ2,ξ3).
To fully specify the generative model, or equivalently a probability distribution over Figure 2, we have to specify the state spaces E^,S^,A^ and:
q(ŝ|ê, θ^{1}) the sensor dynamics model,
q(ê′|â′, ê, θ^{2}) the environment dynamics model,
q(ê0|θ3) the initial environment state model,
q(θ^{1}|ξ^{1}) the sensor dynamics prior,
q(θ^{2}|ξ^{2}) the environment dynamics prior,
q(θ^{3}|ξ^{3}) the initial environment state prior,
q(ξ^{1}) sensor dynamics hyperprior,
q(ξ^{2}) environment dynamics hyperprior,
q(ξ^{3}) initial environment state hyperprior,
T^ last modelled time step,
q(â_{t}) for all t∈{1,,…,T^} the probability distribution over the actions at time t.
The state spaces of the parameters and hyperparameters are determined by the choice of E^,S^,A^. We will see in Section 6.2 that S^=S and A^=A should be chosen in order to use this model for inference on past sensor values and actions. For E^ it is not necessary to set it equal to E for the methods described to work. We note that if we set E^ equal to the memory state space of Equation (2) the model and its updates become equivalent to those used by the Bayesian universal reinforcement learning agent Hutter (2005) in a finite (environment and time-interval) setting (see Section 6.3).
The last modelled time step T^ can be chosen as T^=T, but it is also possible to always set it to T^=t+n, in which case n specifies a future time horizon from current time step t. Such an agent would model a future that goes beyond the externally specified last time step T. The dependence of T^ on t (which we do not denote explicitly) within p(a|m) is possible since the current time step t is accessible from inspection of the memory state m_{t} which contains a sensor sequence of length t.
The generative model assumes that the actions are not influenced by any other variables, hence we have to specify action probabilities. This means that the agent does not model how its actions come about, i.e., it does not model its own decision process. Instead, the agent is interested in the (parameters of) the environment and sensor dynamics. It actively sets the probability distributions over past and future actions according to its needs. In practice, it either fixes the probability distributions to particular values (by using Dirac delta distributions) or to values that optimize some measure. We look into the optimization options in more detail later.
Note that the parameters and hyperparameters are standard random variables in the Bayesian network of the model. Also, the rules for calculating probabilities according to this model are just the rules for calculating probabilities in this Bayesian network.
In what follows, we assume that the hyperparameters are fixed as Ξ^{1} = ξ^{1}, Ξ^{2} = ξ^{2}, Ξ^{3} = ξ^{3}. The following procedures (including both Bayesian and variational inference) can be generalized to also infer hyperparameters. However, our main reference (Friston et al., 2015) and most publications on active inference also fix the hyperparameters.
6.2. Bayesian complete posteriors
During action generation [i.e., within p(a|m)] at time t, the agent has retained all its previously perceived sensor states and its previously performed actions in memory. The “experience” or data contained in its memory is thus m_{t} = sa_{≺t}. This data can be plugged into the generative model to obtain posterior probability distributions over all non-observed random variables. Also, the model can estimate the not yet observed sensor values ŝt:T^, past and future unobservable environment states ê0:T^, parameters θ and hyperparameters ξ. These estimations are done by setting:
A^τ=aτ,for τ<t
and
S^τ=sτ,for τ<t.
as shown in Figure 3 for t = 2. For these assignments to be generally possible, we need to choose A^ and S^ equal to A and S respectively. The resulting posterior probability distribution over all non-observed random variables is then, according to standard rules of calculating probabilities in a Bayesian network:
Eventually, the agent needs to evaluate the consequences of its future actions. Just as it can update the model with respect to past actions and sensor values, the agent can update its evaluations with “contemplated” future action sequences ât:T^. For each such future action sequence ât:T^, the agent obtains a distribution over the remaining random variables in the model:
We call each such distribution a Bayesian complete posterior. We choose the term complete posterior since the “posterior” by itself usually refers to the posterior distribution over the parameters and latent variables q(θ, ê_{t−1}|sa_{≺t}, ξ) [we here call this a posterior factor, see Equation (16)] and the posterior predictive distributions marginalize out the parameters and latent variables to get q(ŝt:T^|ât:T^,sa≺t,ξ). The complete posteriors are probability distributions over all random variables in the generative model including parameters, latent variables, and future variables. In this sense the set of all (Bayesian) complete posteriors represents the complete knowledge state of the agent at time t about consequences of future actions after updating the model with past actions and observed sensor values sa_{≺t}. At each time step the sequence of past actions and sensor values is extended from sa_{≺t} to sa_{≺t+1} (i.e., m_{t} goes to m_{t+1}) and a new set of complete posteriors is obtained.
Internal generative model with plugged in data up to t = 2 with Ŝ_{0} = s_{0}, Ŝ_{1} = s_{1} and Â_{1} = a_{1} as well as from now on fixed hyperparameters ξ = (ξ^{1}, ξ^{2}, ξ^{3}). Conditioning on the plugged in data leads to the posterior distribution q(ŝt:T^,ê0:T^,ât:T^,θ|sa≺t,ξ). Predictions for future sensor values can be obtained by marginalising out other random variables e.g., to predict Ŝ_{2} we would like to get q(ŝ_{2}|s_{0}, s_{1}, a_{1}, ξ). Note however that this requires an assumption for the probability distribution over Â_{2}.
All intrinsic motivations discussed in this article evaluate future actions based on quantities that can be derived from the corresponding complete posterior.
It is important to note that the complete posterior can be factorized into a term containing the influence of past sensor values and actions (data). This factorization can be made on the parameters θ and ξ, the environment states ê_{≺t}, predicted future environment states êt:T^ and sensor values ŝt:T^ depending on the future actions ât:T^, and the estimated environment state ê_{t−1} and θ. Using the conditional independence
SA≺t⫫S^t:T^,E^t:T^∣A^t:T^,E^t-1,Θ,Ξ,
which can be identified (via d-separation; Pearl, 2000) from the Bayesian network in Figure 3, we can rewrite this as:
This equation represents the desired factorization. This formulation separates complete posteriors into a predictive and a posterior factor. The predictive factor is given as part of the generative model (Equation 8)
and does not need to be updated through calculations at different time steps. This factor contains the dependence of the complete posterior on future actions. This dependency reflects that, under the given generative model, the consequences of actions for each combination of Θ and Ê_{t−1} remain the same irrespective of experience. What changes when a new action and sensor value pair comes in is the distribution over the values of Θ and Ê_{t−1} and with them the expectations over consequences of actions.
On the other hand, the posterior factor must be updated at every time step. In Appendix A, we sketch the computation which shows that it involves a sum over |E|t elements. This calculation is intractable as time goes on and one of the reasons to use approximate inference methods like variational inference.
Due to the above factorization, we may only need to approximate the posterior factor q(ê_{≺t}, θ|sa_{≺t}, ξ) and use the exact predictive factor if probabilities involving future sensor values or environment states are needed.
This is the approach taken e.g., in Friston et al. (2015). However, it is also possible to directly approximate parts of the complete posterior involving random variables in both factors, e.g., by approximating q(ê0:T^,θ1|ât:T^,sa≺t,ξ). This latter approach is taken in Friston et al. (2016b) and we see it again in Equation (43) but in this publication the focus is on the former approach.
In the next section, we look at the special case of universal reinforcement learning before we go on to variational inference to approximate the posterior factor of the (Bayesian) complete posteriors.
6.3. Connection to universal reinforcement learning
In this section, we relate the generative model of Equation (8) and its posterior predictive distribution to those used by the Bayesian universal reinforcement learning agent. Originally, this agent is defined by Hutter (2005). More recent work includes Leike (2016) and (for the current purpose sufficient and particularly relevant) Aslanides et al. (2017).
Let us set E^=M with M as in Equation (2) and let the agent identify each past sa_{≺t} with a state of the environment, i.e.,
e^t-1=sa≺t.
Under this definition the next environment state ê_{t} is just the concatenation of the last environment state sa_{≺t} with the next next action selected by the agent â_{t} and the next sensor value ŝ_{t}:
e^t=s^a^≼t=sa≺ts^a^t.
So given a next contemplated action â̄t the next environment state ê_{t} is already partially determined. What remains to be predicted is only the next sensor value ŝ_{t}. Formally, this is reflected in the following derivation:
This shows that in this case the model of the next environment state (the left hand side) is determined by the model of the next sensor value q(ŝt|â̄t,sa≺t,θ2).
So instead of carrying a distribution over possible models of the next environment state such an agent only needs to carry a distribution over models of the next sensor value. Furthermore, an additional model q(ŝ|ê, θ^{1}) of the dependence of the sensor values on environment states parameterized by θ^{1} is superfluous. The next predicted sensor value is already predicted by the model q(ŝt|ât,sa≺t,θ2). It is therefore possible to drop the parameter θ^{1}.
The parameter θ^{3}, for the initial environment state distribution, becomes a distribution over the initial sensor value since ê_{0} = ŝ_{0}:
q(e^0|θ3)=q(s^0|θ3).
We can then derive the posterior predictive distribution and show that it coincides with the one given in Aslanides et al. (2017). For the complete posterior of Equation (16) we find:
To translate this formulation into the notation of Aslanides et al. (2017) first drop the representation of the environment state which is determined by the sensor values and actions anyway. This means that the complete posterior only needs to predict future sensor values and parameters. Formally, this means the complete posterior can be replaced without loss of generality:
To translate notations let θ → ν; â, a → a; ŝ, s → e. Also, set T^→t because only one step futures are considered in universal reinforcement learning (this is due to the use of policies instead of future action sequences). Then, the equation for the posterior predictive distribution
where we dropped the conditioning on ae_{≺t}, a from the notation in the second line as done in the original (where this is claimed to improve clarity). Also note that ξ(e) would be written q(e|ξ) in our notation. In the universal reinforcement learning literature parameters like θ (or ν) and ξ are sometimes directly used to denote the probability distribution that they parameterize.
Updating of the posterior q(θ|sa_{≺t}, ξ) in response to new data also coincides with updating of the weights p(ν):
The first two lines are general. From the second to third we used
St⫫Ξ|At,SA≺t,Θ
and
Θ⫫At|SA≺t,Ξ
which follow from the Bayesian network structure Figure 2. In the notation of Aslanides et al. (2017) Equation (34) becomes
p(ν|e)=p(e|ν)p(e)p(ν).
This shows that assuming the same model class Δ_{Θ} the predictions and belief updates of an agent using the Bayesian complete posterior of Section 6.2 are the same as those of the Bayesian universal reinforcement learning agent. Action selection can then be performed just as in Aslanides et al. (2017) as well. This is done by selecting policies. In the present publication we instead select action sequences directly. However, in both cases the choice maximizes the value predicted by the model. More on this in Section 7.2.
6.4. Approximate complete posteriors
As mentioned in the last section, the complete posterior can be approximated via variational inference (see Attias, 1999; Winn and Bishop, 2005; Bishop, 2011; Blei et al., 2017). There are alternative methods such as belief propagation, expectation propagation (Minka, 2001; Vehtari et al., 2014), and sampling-based methods (Lunn et al., 2000; Bishop, 2011), but active inference commits to variational inference by framing inference as variational free energy minimization (Friston et al., 2015). Variational free energy (Equation 45) is just the negative evidence lower bound (ELBO) of standard variational inference (e.g., Blei et al., 2017). In the following, we show how the complete posterior can be approximated via variational inference.
The idea behind variational inference is to use a simple family of probability distributions and identify the member of that family which approximates the true complete posterior best. This turns inference into an optimization problem. According to Wainwright and Jordan (2007) this reformulation as an optimization problem is the essence of variational methods. If the family of distributions is chosen such that it includes the complete posterior then the optimization will eventually lead to the same result as Bayesian inference. However, one advantage of the formulation as an optimization is that it can also be performed over a family of probability distributions that is simpler than the family that includes the actual complete posterior. This is what turns variational inference into an approximate inference procedure. Usually, the (simpler) families of probability distributions are chosen as products of independent distributions.
Recalling Equation (16), the complete posterior as a product of a predictive and a posterior factor is:
This product is the main object of interest. We want to approximate the formula with a probability distribution that lets us (tractably) calculate the posteriors required by a given intrinsic motivation, which can consequently be used for action selection.
As mentioned before, to approximate the complete posterior we here approximate only the posterior factor and use the given generative model's predictive factor as is done in Friston et al. (2015)^{3} The approximate posterior factor is then combined with the exact predictive factor to get the approximate complete posterior. Let us write r(ê_{≺t}, θ|ϕ) for the approximate posterior factor (Figure 4), defined as:
Bayesian network of the approximate posterior factor at t = 2. The variational parameters Φ^{1}, Φ^{2}, Φ^{3}, and ΦE≺t=(ΦE0,ΦE1) are positioned so as to indicate what dependencies and nodes they replace in the generative model in Figure 2.
As we can see it models each of the random variables that the posterior factor ranges over as independent of all others. This is called a mean field approximation. Then, the approximate complete posterior (Figure 5) is:
Note that the variational parameter absorbs the hyperparameter ξ as well as the past sensor values and actions sa_{≺t}. The parameter does not absorb future actions which are part of the predictive factor. The dependence on future actions needs to be kept if we want to select actions using the approximate complete posterior.
Bayesian network of the approximate complete posterior of Equation (40) at t = 2 for the future actions ât:T^. Only Êt-1,Θ1,Θ2 and the future action ât:T^ appear in the predictive factor and influence future variables. In general there is one approximate complete posterior for each possible sequence ât:T^ of future actions.
This approximation can be achieved by standard variational inference methods.
For those interested more in the approximation of the complete posterior as in Friston et al. (2016b), we provide the used family of factorized distributions. It must be noted that the agent in this case carries a separate approximate posterior for each possible complete action sequence â_{0:T}. For predictions of environment states, it does not use the predictive factor, but instead looks at the set of generative models compatible with the past. For each of those, the agent considers all environment states at different times as independent. The approximate posteriors, compatible with a past sequence of actions a_{≺t}, are of the form:
Note also that the relation between sensor values and environment states is still provided by the generative models' sensor dynamics q(ŝt:T^|êt:T^,θ1). In this article however, we focus on the approach in Friston et al. (2015) which requires only one approximate posterior at time t since future actions only occur in the predictive factors which we do not approximate.
We define the relative entropy (or KL-divergence) between the approximate and the true posterior factor:
Note that, we indicate the variables that are summed over by capitalizing them. The KL-divergence quantifies the difference between the two distributions. It is non-negative, and only zero if the approximate and the true posterior factor are equal (see e.g., Cover and Thomas, 2006).
The variational free energy, also known as the (negative) evidence lower bound (ELBO) in variational inference literature, is defined as:
The first term in Equation (46) is the surprise of negative log evidence. For a fixed hyperparameter ξ it is a constant. Minimizing the variational free energy therefore directly minimizes the KL-divergence between the true and the approximate posterior factor given sa_{≺t} and ξ.
In our case, variational inference amounts to solve the optimization problem:
ϕ*sa≺t,ξ:=arg minϕF[ϕ,sa≺t,ξ].
This optimization is a standard problem. See Bishop (2011) and Blei et al. (2017) for ways to solve it.
The resulting variational parameters ϕ*sa≺t,ξ=(ϕsa≺t,ξE0,…,ϕsa≺t,ξEt-1,ϕ1sa≺t,ξ,ϕ2sa≺t,ξ,ϕ3sa≺t,ξ) define the approximate posterior factor. The variational parameters, together with the exact predictive factors, allow us to compute the approximate complete posteriors for each sequence of future actions ât:T^:
In the next section, we look at action selection as the second component of action generation. To this end, we show how to evaluate sequences of future actions ât:T^ by evaluating either Bayesian complete posteriors or the approximate complete posteriors.
7. Action selection based on intrinsic motivations7.1. Intrinsic motivation and action-value functions
The previous section resulted in sets of Bayesian or approximate complete posteriors. Independently of whether a complete posterior is the approximate or the Bayesian version, it represents the entire knowledge of the agent about the consequences of the sequence of future actions ât:T^ that is associated with it. In order to evaluate sequences of future actions the agent can only rely on its knowledge which suggests that all such evaluations should depend solely on complete posteriors. One could argue that the motivation might also depend directly on the memory state containing sa_{≺t}. We here take a position somewhat similar to the one proposed by Schmidhuber (2010) that intrinsic motivations concerns the “learning of a better world model.” We consider the complete posterior as the current world model and assume that intrinsic motivations depend only on this model and not on the exact values of past sensor values and actions. As we will see this assumption is also enough to capture the three intrinsic motivations that we discuss here. This level of generality is sufficient for our purpose of extending the free energy principle. Whether it sufficient for a final and general intrinsic motivation definition is beyond the scope of this publication.
Complete posteriors are essentially conditional probability distributions over S^T^-t+1×E^T^+1×ΔΘ given elements of A^T^-t+1. A necessary (but not sufficient) requirement for intrinsic motivations in our context (agents with generative models) is then that they are functions on the space of such conditional probability distributions. Let ΔS^T^-t+1×E^T^+1×ΔΘ|A^T^-t+1 be the space of conditional probability distributions over S^T^-t+1×E^T^+1×ΔΘ given elements of A^T^-t+1. Then an intrinsic motivation is a function 𝔐:ΔS^T^-t+1×E^T^+1×ΔΘ|A^T^-t+1×A^T^-t+1→ℝ taking a probability distribution d(.,.,.|.)∈ΔS^T^-t+1×E^T^+1×ΔΘ|A^T^-t+1 and a given future actions sequence ât:T^∈A^T^-t+1 to a real value 𝔐(d(.,.,.|.),ât:T^)∈ℝ. We can then see that the Bayesian complete posterior q(ŝt:T^,ê0:T^,θ|ât:T^,sa≺t,ξ) for a fixed past sa_{≺t} written as q(., ., .|., sa_{≺t}, ξ) provides such conditional probability distribution. Similarly, every member of the family of distributions used to approximate the Bayesian complete posterior via variational inference r(ŝt:T^,ê0:T^,θ|ât:T^,ϕ) written as r(., ., .|., ϕ) also provides such a conditional probability distribution. It will become important when discussing active inference that the optimized value ϕ*sa≺t,ξ of the variational parameters as well as any other value of the variational parameters ϕ define an element with the right structure to be evaluated together with a set of future actions by an intrinsic motivation function.
Using intrinsic motivation functions we then define two kinds of induced action-value functions. These are similar to value functions in reinforcement learning^{4} The first is the Bayesian action-value function (or functional):
Q^(a^t:T^,sa≺t,ξ):=𝔐(q(.,.,.|.,sa≺t,ξ),a^t:T^).
In words the Bayesian action-value function Q^(ât:T^,sa≺t,ξ) infers the set of Bayesian complete posteriors of past experience sa_{≺t} and then evaluates the sequence of future actions ât:T^ according to the intrinsic motivation function 𝔐.
The variational action-value function is defined as^{5}:
Q^(a^t:T^,ϕ):=𝔐(r(.,.,.|.,ϕ),a^t:T^).
So the variational action-value function Q^(ât:T^,ϕ) directly takes the conditional probability distribution defined by variational parameter ϕ and evaluates the sequence of future actions ât:T^ according to 𝔐. Unlike in the Bayesian case no inference takes place during the evaluation of Q^(ât:T^,ϕ).
At the same time, after variational inference, if we plug in ϕ*sa≺t,ξ for ϕ we have:
Q^(a^t:T^a,ϕ*sa≺t,ξ)≈Q^(a^t:T^a,sa≺t,ξ).
Note that the reason we have placed a hat on Q^ is that, even in the Bayesian case, it is usually not the optimal action-value function but instead is an estimate based on the current knowledge state represented by the complete posteriors of the agent.
Also note that some intrinsic motivations (e.g., empowerment) evaluate e.g., the next n actions by using predictions reaching n + m steps into the future. This means that they need all complete posteriors for â_{t:t+n+m−1} but only evaluate the actions â_{t:t+n−1}. In other words they cannot evaluate actions up to their generative model's time-horizon T^ but only until a shorter time-horizon T^a=T^-m for some natural number m. When necessary we indicate such a situation by only passing shorter future action sequences ât:T^a to the action-value function, in turn, the intrinsic motivation function. The respective posteriors keep the original time horizon T^>T^a.
7.2. Deterministic and stochastic action selection
We can then select actions simply by picking the first action in the sequence ât:T^ that maximizes the Bayesian action-value function:
This then results in a deterministic action generation p(a|m):
p(at|mt):=δa^*(mt)(at).
We note here that in the case of universal reinforcement learning the role of Q^(ât:T^,sa≺t,ξ) is played by Vξπ(sa≺t). There π is a policy that selects actions in dependence on the entire past sa_{≺t} and ξ parameterizes the posterior just like in the present publication. The argmax in Equation (53) selects a policy instead of an action sequence and that policy is used for the action generation.
A possible stochastic action selection that is important for active inference is choosing the action according to a so called softmax policy (Sutton and Barto, 1998):
is a normalization factor. Note that we are marginalizing out later actions in the sequence ât:T^ to get a distribution only over the action â_{t}. For the variational action-value function this becomes:
Since it is relevant for active inference (see Section 8), note that the softmax distribution over future actions can also be defined for arbitrary ϕ and not only for the optimized ϕ*sa≺t,ξ. At the same time, the softmax distribution for the optimized ϕ_{sa≺t, ξ} clearly also approximates the softmax distribution of the Bayesian action-value function.
Softmax policies assign action sequences with higher values of Q^ higher probabilities. They are often used as a replacement for the deterministic action selection to introduce some exploration. Here, lower γ leads to higher exploration; conversely, in the limit where γ → ∞ the softmax turns into the deterministic action selection. From an intrinsic motivation point of view such additional exploration should be superfluous in many cases since many intrinsic motivations try to directly drive exploration by themselves. Another interpretation of such a choice is to see γ as a trade-off factor between the processing cost of choosing an action precisely and achieving a high action-value. The lower γ, the higher the cost of precision. This leads to the agent more often taking actions that do not attain maximum action-value.
We note that the softmax policy is not the only possible stochastic action selection mechanism. Another option discussed in the literature is Thompson sampling (Ortega and Braun, 2010, 2014; Aslanides et al., 2017). In our framework this corresponds to a two step action selection procedure where we first sample an environment and parameter pair (ê̄t-1,θ̄) from a posterior factor (Bayesian or variational)
(e^̄t-1,θ̄)~d(E^t-1,Θ|sa≺t,ξ)
then plug the according predictive factor q(ŝt:T^,êt:T^|ât:T^,ê̄t-1,θ̄) into the action value function
Q^(a^t:T^,sa≺t,ξ):=𝔐(q(.,.|.,e^̄t-1,θ̄),a^t:T^).
This allows intrinsic motivations that only evaluate the probability distribution over future sensor values Ŝt:T^ and environment states Êt:T^. However, it rules out those that evaluate the posterior probability of environment parameters Θ because we sample a specific θ̄.
7.3. Intrinsic motivations
Now, we look at some intrinsic motivations including the intrinsic motivation part underlying Friston's active inference.
In the definitions, we use d(.,.,.|.)∈ΔS^T^-t+1×E^T^+1×ΔΘ|A^T^-t+1 as a generic conditional probability distribution. The generic symbol d is used since it represents both Bayesian complete posteriors and approximate complete posteriors. In fact, the definitions of the intrinsic motivations are agnostic with respect to the method used to obtain a complete posterior. In the present context, it is important that these definitions are general enough to induce both Bayesian and variational action-value functions. We usually state the definition of the motivation function using general expressions (e.g., marginalizations) derived from d(, ., .|.). Also, we look at how they can be obtained from Bayesian complete posteriors to give to the reader an intuition for the computations involved in applications. The approximate complete posterior usually makes these calculations easier and we will present an example of this.
7.3.1. Free energy principle
Here, we present the non-variational Bayesian inference versions for the expressions that occur in the “expected free energy” in Friston et al. (2015, 2017a). These papers only include approximate expressions after variational inference. Most of the expressions we give here can be found in Friston et al. (2017b). The exception is Equation (74), which can be obtained from an approximate term in Friston et al. (2017a) in the same way that the non-variational Bayesian inference terms in Friston et al. (2017b) are obtained from the approximate ones in Friston et al. (2015).
In the following, we can set T^a=T^, since actions are only evaluated with respect to their immediate effects.
According to Friston et al. (2017b, Equation (A2) Appendix, the “expected free energy” is just the future conditional entropy of sensor values^{6} given environment states. Formally, this is (with a negative sign to make minimizing expected free energy equivalent to maximizing the action-value function):
Note that, we indicate the probability distribution d used to calculate entropies H_{d}(X) or mutual informations I_{d}(X:Y) in the subscript. Furthermore, we indicate the variables that are summed over with capital letters and those that are fixed (e.g., ât:T^ above) with small capital letters.
In the case where d(., ., .|.) is the Bayesian complete posterior q(., ., .|., sa_{≺t}, ξ), it uses the predictive distribution of environment states q(êt:T^|ât:T^,sa≺t,ξ) and the posterior of the conditional distribution of sensor values given environment states q(ŝt:T^|êt:T^,sa≺t,ξ). As we see next, both distributions can be obtained from the Bayesian complete posterior.
The former distribution is a familiar expression in hierarchical Bayesian models and corresponds to a posterior predictive distribution or predictive density [cmp. e.g., Bishop, 2011, Equation (3.74)] that can be calculated via:
where we split the complete posterior into the predictive and posterior factor and then marginalized out environment states ê_{≺t−1} since the predictive factor does not depend on them. Note that in practice, this marginalization corresponds to a sum over |E|t-1 terms and therefore has a computational cost that grows exponential in time. However, if we use the approximate complete posterior such that d(., ., .|.) = r(., ., .|., ϕ), we see from Equation (40), that q(ê_{≺t}, θ|sa_{≺t}, ξ) is replaced by r(ê_{≺t}, θ|ϕ) which is defined as (Equation 38):
r(e^≺t,θ|ϕ):=∏τ=0t-1r(e^τ|ϕEτ)∏i=13r(θi|ϕi).
This means that r(ê_{t−1}, θ|ϕ) is just r(êt-1|ϕEt-1)r(θ|ϕ), which we obtain directly from the variational inference without any marginalization. If Bayesian inference increases in computational cost exponentially in time, this simplification leads to a significant advantage. This formulation leaves an integral over θ or, more precisely, a triple integral over the three θ^{1}, θ^{2}, θ^{3}. However, if the q(θ^{i}|ξ^{i}) are chosen as conjugate priors to q(ŝ|ê,θ1),q(ê′|â′,ê,θ2),q(ê0|θ3) respectively, then these integrals can be calculated analytically [compare the similar calculation of q(ê_{≺t}, θ|sa_{≺t}, ξ) in Appendix A]. The remaining computational problem is only the sum over all ê_{t−1}.
The latter term (the posterior conditional distribution over sensor values given environment states) can be obtained via
Both numerator and denominator can be obtained from the complete posterior via marginalization as for the former term. This marginalization also shows that the intrinsic motivation function, Equation (63), is a functional of the complete posteriors or d(., ., .|.).
In most publications on active inference the expected free energy in Equation (63) is only part of what is referred to as the expected free energy. Usually, there is a second term measuring the relative entropy to an externally specified prior over future outcomes (also called “predictive distribution encoding goals” Friston et al. 2015), i.e., a desired probability distribution pd(ŝt:T^). The relative entropy term is formally given by:
Clearly, this term will lead the agent to act such that the future distribution over sensor values is similar to the desired distribution. Since this term is used to encode extrinsic value for the agent, we mostly ignore it in this publication. It could included into any of the following intrinsic motivations.
In Friston et al. (2017a) yet another term, called “negative novelty” or “ignorance”, occurs in the expected free energy. This term concerns the posterior distribution over parameter θ^{1}. It can be slightly generalized to refer to any subset of the parameters θ = (θ^{1}, θ^{2}, θ^{3}). We can write it as a conditional mutual information between future sensor values and parameters (the “ignorance” is the negative of this):
This is identical to the information gain used in knowledge seeking agents. The necessary posteriors in the Bayesian case are q(ŝt:T^|ât:T^,sa≺t,ξ), q(θ|ŝt:T^,ât:T^,sa≺t,ξ) and q(θ|sa_{≺t}, ξ) with
a straightforward (if costly) marginalization of the complete posterior. Just like previously for q(êt:T^|ât:T^,sa≺t,ξ), the marginalization is greatly simplified in the variational case (see Appendix B for a more explicit calculation). The integrals can be computed if using conjugate priors. The other two posteriors can be obtained via
The marginalizations grow exponentially in computational cost with T^. In this case, the variational approximation only reduces the necessary marginalization over ê_{≺t−1} to one over ê_{t−1}, but the marginalization over future environment states êt:T^ and sensor values ŝt:T^ remains the same since we use the exact predictive factor. In practice the time horizon into the future T^-t must then be chosen sufficiently short, so that marginalizing out êt:T^ and Ŝt:T^ is feasible. Together with the variational approximation the required marginalizations over past and future are then constant over time which makes the implementation of agents with extended lifetimes possible.
The combination of the conditional entropy term and the information gain defines the (intrinsic part) of the action-value function of Friston's active inference (or free energy principle):
In the active inference literature this is usually approximated by a sum over the values at individual timesteps:
𝔐FEP(d(.,.,.|.),a^t:T^)=∑τ=tT^-Hd(S^τ|E^τ)+Id(S^τ:Θ|a^t:T^).7.3.2. Free energy principle specialized to Friston et al. (<xref ref-type="bibr" rid="B25">2015</xref>)
Using Appendix C, we show how to get the action-value function of Friston et al. (2015, Equation 9) in our framework. In Friston et al. (2015), the extrinsic value term of Equation (73) is included, but not the information gain term of Equation (74). Furthermore, the sum over timesteps in Equation (81) is used. This leads to the following expression:
For the particular approximate posterior of Equation (40), with its factorization into exact predictive and approximate posterior factor, the individual terms can be further rewritten.
where (Cτ)ŝτ=pd(ŝτ). Plugging these expressions into Equation (83), substituting ât:T^→π, and comparing this to Friston et al. (2015, Equation 9) shows that^{7}:
This verifies that our formulation of the action-value function specializes to the “expected (negative) free energy” Q(π).
7.3.3. Empowerment maximization
Empowerment maximization (Klyubin et al., 2005) is an intrinsic motivation that seeks to maximize the channel capacity from sequences of the agent's actions into the subsequent sensor value. The agent, equipped with complete knowledge of the environment dynamics, can directly observe the environment state. If the environment is deterministic, an empowerment maximization policy leads the agent to a state from which it can reach the highest number of future states within a preset number of actions.
Salge et al. (2014) provide a good overview of existing research on empowerment maximization. A more recent study relates the intrinsic motivation to the essential dynamics of living systems, based on assumptions from autopoietic enactivism Guckelsberger and Salge (2016). Several approximations have been proposed, along with experimental evaluations in complex state / action spaces. Salge et al. (2018) show how deterministic empowerment maximization in a three-dimensional grid-world can be made more efficient by different modifications of UCT tree search. Three recent studies approximate stochastic empowerment and its maximization via variational inference and deep neural networks, leveraging a variational bound on the mutual information proposed by Barber and Agakov (2003). Mohamed and Rezende (2015) focus on a model-free approximation of open-loop empowerment, and Gregor et al. (2016) propose two means to approximate closed-loop empowerment. While these two approaches consider both applications in discrete and continuous state / action spaces, Karl et al. (2017) develop an open-loop, model-based approximation for the continuous domain specifically. The latter study also demonstrates how empowerment can yield good performance in established reinforcement learning benchmarks such as bipedal balancing in the absence of extrinsic rewards. In recent years, research on empowerment has particularly focused on applications in multi-agent systems. Coupled empowerment maximization as a specific multi-agent policy has been proposed as intrinsic drive for either supportive or antagonistic behaviour in open-ended scenarios with sparse reward landscapes Guckelsberger et al. (2016b). This theoretical investigation has then been backed up with empirical evaluations on supportive and adversarial video game characters Guckelsberger et al. (2016a, 2018). Beyond virtual agents, the same policy has been proposed as a good heuristic to facilitate critical aspects of human-robot interaction, such as self-preservation, protection of the human partner, and response to human actions Salge and Polani (2017).
For empowerment, we select T^a=t+n and T^=t+n+m, with n ≥ 0 and m ≥ 1. This means the agent chooses n+1 actions which it expects to maximize the resulting m-step empowerment. The according action-value function is:
Note that in the denominator of the fraction, the action sequence only runs to t:T^a and not to t:T^ as in the numerator.
In the Bayesian case, the required posteriors are q(ŝT^|ât:T^,sa≺t,ξ) (for each âT^a+1:T^) and q(ŝT^|ât:T^a,sa≺t,ξ). The former distribution is a further marginalization over ŝt+1:T^-1 of q(ŝt:T^|ât:T^,sa≺t,ξ). The variational approximation only helps getting q(ŝt:T^|ât:T^,sa≺t,ξ), not the further marginalization. The latter distribution is obtained for a given q(âT^a+1:T^) from the former one via
q(a^T^a+1:T^|a^t:T^a,sa≺t,ξ)=q(a^T^a+1:T^).7.3.4. Predictive information maximization
Predictive information maximization, (Ay et al., 2008), is an intrinsic motivation that seeks to maximize the predictive information of the sensor process. Predictive information is the mutual information between past and future sensory signal, and has been proposed as a general measure of complexity of stochastic processes (Bialek and Tishby, 1999). For applications in the literature see Ay et al. (2012); Martius et al. (2013, 2014). Also, see Little and Sommer (2013) for a comparison to entropy minimization.
For predictive information, we select a half time horizon k=⌊(t:T^-t+1)/2⌋ where k > 0 for predictive information to be defined (i.e., t:T^-t>0). Then, we can define the expected mutual information between the next m sensor values and the subsequent m sensor values as the action-value function of predictive information maximization. This is similar to the time-local predictive information in Martius et al. (2013):
We omit writing out the conditional mutual information since it is defined in the usual way. Note that it is possible that t+2k-1<t:T^ so that the action sequence ât:T^ might go beyond the evaluated sensor probabilities. This displacement leads to no problem since the sensor values do not depend on future actions. The posteriors needed are: q(ŝt:t+k-1|ât:T^,sa≺t,ξ), q(ŝt+k:t+2k-1|ŝt:t+k-1,ât:T^,sa≺t,ξ), and q(ŝt+k:t+2k-1|ât:T^,sa≺t,ξ). The first and the last are again marginalizations of q(ŝt:T^|ât:T^,sa≺t,ξ) seen in Equation (75). The second posterior is a fraction of such marginalizations.
7.3.5. Knowledge seeking
Knowledge seeking agents (Storck et al., 1995; Orseau et al., 2013) maximize the information gain with respect to a probability distribution over environments. The information gain we use here is the relative entropy between the belief over environments after actions and subsequent sensor values and the belief over environments (this is the KL-KSA of Orseau et al. 2013, “KL” for Kullback-Leibler divergence). In our case the belief over environments can be identified with the posterior q(θ|sa_{≺t}, ξ) since every θ = (θ^{1}, θ^{2}, θ^{3}) defines an environment. In principle, this can be extended to the posterior q(ξ|sa_{≺t}, ξ) over the hyperprior ξ, but we focus on θ here. This definition is more similar to the original one. Then, we define the knowledge seeking action-value function using the information gain of Equation (74):
𝔐KSA(d(.,.,.|.),a^t:T^):=Id(S^t:T^:Θ|a^t:T^).
We have discussed the necessary posteriors following Equation (74).
After this overview of some intrinsic motivations, we look at active inference. However, what should be clear is, that, in principle, both the posteriors needed for the intrinsic motivation function of the original active inference (Friston et al., 2015) and the posteriors needed for alternative inferences overlap. This overlap shows that the other intrinsic motivations mentioned here also profit from variational inference approximations. There is also no indication that these intrinsic motivations cannot be used together with the next discussed active inference.
8. Active inference
Now, we look at active inference. Note that this section is independent of the intrinsic motivation function underlying the action-value function Q^.
In the following we first look at and try to explain a slightly simplified version of the active inference in Friston et al. (2015). Afterwards we also state the full version.
As mentioned in the introduction, current active inference versions are formulated as an optimization procedure that, at least at first sight, looks similar to the optimization of a variational free energy familiar from variational inference. Recall that, in variational inference the parameters of a family of distributions are optimized to approximate an exact (Bayesian) posterior of a generative model. In the case we discussed in Section 6.4 the sought after exact posterior is the posterior factor of the generative model of Section 6.1. One of our questions about active inference is whether it is a straightforward application of variational inference to a posterior of some generative model. This would imply the existence of a generative model whose standard updating with past actions and sensor values leads to an optimal posterior distribution over future actions. Note that, this does not work with the generative model in of Section 6.1 since the future actions there are independent of the past sensor values and actions. Given the appropriate generative model, it would then be natural to introduce it first and then apply a variational approximation similar to our procedure in Section 6.
We were not able to find in the literature or construct ourselves a generative model such that variational inference leads directly to the active inference as given in Friston et al. (2015). Instead we present a generative model that contains a posterior whose variational approximation optimization is very similar to the optimization procedure of active inference. It is also closely related to the two-step action generation of first inferring the posterior and then selecting the optimal actions. This background provides some intuition for the particularities of active inference.
One difference of the generative model used here is that its structure depends on the current time step in a systematic way. The previous generative model of Section 6.1 had a time-invariant structure.
In Section 6, we showed how the generative model, together with either Bayesian or variational inference, can provide an agent with a set of complete posteriors. Each complete posterior is a conditional probability distribution over all currently unobserved variables (Ŝt:T^,Ê0:T) and parameters (Θ and more generally also Ξ) given past sensor values and actions sa_{≺t} and a particular sequence of future actions ât:T^. Inference means updating the set of posteriors in response to observations sa_{≺t}. Active inference should then update the distribution over future actions in response to observations. This means the according posterior cannot be conditional on future action sequences like the complete posterior in Equation (16). Since active inference promises belief or knowledge updating and action selection in one mechanism the posterior should also range over unobserved relevant variables like future sensor values, environment states, and parameters. This leads to the posterior of Equation (13):
q(s^t:T^,e^0:T^,a^t:T^,θ|sa≺t,ξ).
If this posterior has the right structure, then we can derive a future action distribution by marginalizing:
Actions can then be sampled from the distribution obtained by marginalizing further to the next action only:
p(at|mt):=∑a^t+1:T^q(a^t:T^|sa≺t,ξ).
This scheme could justifiably be called (non-variational) active inference since the future action distribution is directly obtained by updating the generative model.
However, as we mentioned above, according to the generative model of Figure 2, the distribution over future actions is independent of the past sensor values and actions:
Therefore, we can never learn anything about future actions from past sensor values and actions using this model. In other words, if we intend to select the actions based on the past, we cannot uphold this independent model. The inferred actions must become dependent on the history and the generative model has to be changed for a scheme like the one sketched above to be successful.
In Section 7.2, we have mentioned that the softmax policy based on a given action-value function Q^ could be a desirable outcome of an active inference scheme such as the above. Thus, if we ended up with
q(a^t:T^|sa≺t,ξ)=1Z(γ,sa≺t,ξ)eγQ^(a^t:T^,sa≺t,ξ)
as a result of some active inference process, that would be a viable solution. We can force this by building this conditional distribution directly into a new generative model. Note that this conditional distribution determines all future actions ât:T^ starting at time t and not just the next action â_{t}. In the end however only the next action will be taken according to Equation (115) and at time t + 1 the action generation mechanism starts again, now with ât+1:T^ influenced by the new data sa_{t} in addition to sa_{≺t}. So the model structure changes over time in this case with the dependency of actions on pasts sa_{≺t} shifting together with each time-step. Keeping the rest of the previous Bayesian network structure intact we define that at each time t the next action Â_{t} depends on past sensor values and actions sa_{≺t} as well as on the hyperparameter ξ (see Figure 6):
On the right hand side we have the predictive and posterior factors left and right of the distribution over future actions. We define this conditional future action distribution to be the softmax of Equation (118). This means that the mechanism-generating future actions uses the Bayesian action-value function Q^(ât:T^,sa≺t,ξ). The Bayesian action-value function depends on the complete posterior q(ŝt:T^,êt:T^,θ|ât:T^,sa≺t,ξ) calculated using the old generative model of Figure 2 where actions do not not depend on past sensor values and actions. This is a complex construction with what amounts to Bayesian inference essentially happening within an edge (i.e., ŜÂ≺t→Ât:T^) of a Bayesian network. However, logically there is no problem since the posterior q(ŝt:T^,êt:T^,θ|ât:T^,sa≺t,ξ) for each ât:T^ to be well defined really only needs sa_{≺t}, ξ, and the model structure. Here we see the model structure as “hard wired” into the mechanism, since it is fixed for each time step t from the beginning.
Generative model including q(ât:T^|sa≺t,ξ) at t = 2 with ŜÂ_{≺2} influencing future actions Â2:T^. Note that, only future actions are dependent on past sensor values and actions, e.g., action Â_{1} has no incoming edges. The increased gap between time step t = 1 and t = 2 is to indicate that this time step is special in the model. For each time step t there is an according model with the particular relation between past ŜÂ_{≺t} and Ât:T^ shifted accordingly.
We now approximate the posterior of Equation (118) using variational inference. Like in Section 6.4 we do not approximate the predictive factor. Instead we only approximate the product of posterior factor q(θ, ê_{≺t}|sa_{≺t}, ξ) and future action distribution q(ât:T^|sa≺t,ξ). By construction these are two independent factors but with an eye to active inference which treats belief or knowledge updating and action generation together we also treat them together. For the approximation we again use the approximate posterio factor of Equation (38) and combine it with a distribution over future actions r(ât:T^|π) parameterized by π:
Where F[ϕ,sa≺t,ξ] is the variational free energy of the (non-active) variational inference (see Equation 45). Variational inference then minimizes the above expression with respect to parameters ϕ and π:
We see that the minimization in this case separates into two minimization problems. The first is just the variational inference of Section 6.4 and the second minimizes the KL-divergence between the parameterized action distribution r(ât:T^|π) and the softmax q(ât:T^|sa≺t,ξ) of the Bayesian action-value function. It is instructive to look at this KL-divergence term closer:
We see that the optimization of π leads toward high entropy distributions for which the expectation value of the action-value function Q^(ât:T^,ϕ) is large. Action selection could then happen according to
p(at|mt):=∑a^t+1:Tr(a^t:T^|πsa≺t,ξ*).
So the described variational inference procedure, at least formally, leads to a useful result. However, this is not the active inference procedure of Friston et al. (2015). As noted above the minimization actually splits into two completely independent minimizations here. The result of the minimization with respect to ϕ in Equation (126) is actually not used for action selection and since action selection is all that matters here is mere ornament. However, there is a way to make use of it. Recall that plugging ϕ*sa≺t,ξ into the variational action-value function Q^(ât:T^,ϕ) means that it approximates the Bayesian action value function (see Equation 52). This means that if we define a softmax distribution r(ât:T^|ϕ) of the variational action-value function parameterized by ϕ as:
r(a^t:T^|ϕ)=1Z(γ,ϕ)eγQ^(a^t:T^,ϕ).
Then this approximates the softmax of the Bayesian action-value function:
r(a^t:T^|ϕ*sa≺t,ξ)≈q(a^t:T^|sa≺t,ξ).
Consequently, once we have obtained ϕ*sa≺t,ξ from the first minimization problem in Equation (126) we can plug it into r(ât:T^|ϕ) and then minimize the KL-divergence of r(ât:T^|π) to this distribution instead of the one to q(ât:T^|sa≺t,ξ). In this way the result of the first could be reused for the second minimization. This remains a two part action generation mechanism however. Active inference combines these two steps into one minimization by replacing q(ât:T^|sa≺t,ξ) in the variational free energy of Equation (122) with r(ât:T^|ϕ). Since r(ât:T^|ϕ) thereby becomes part of the denominator it is also given the same symbol (in our case q) as the generative model. So we define:
q(a^t:T^|ϕ):=r(a^t:T^|ϕ).
In this form the softmax q(ât:T^|ϕ) is a cornerstone of active inference. In brief, it can be regarded as a prior over action sequences. To obtain purposeful behaviour it specifies prior assumptions about what sorts of actions an agent should take when its belief parameter takes value ϕ. Strictly speaking the expression resulting from the replacement q(Ât:T^|sa≺t,ξ)→q(ât:T^|ϕ) in Equation (122) is then not a variational free energy anymore since the variational parameters ϕ occur in both the numerator and the denominator. Nonetheless, this is the functional that is minimized in active inference as described in Friston et al. (2015). So active inference is defined as the optimization problem (cmp. Friston et al., 2015, Equation 1):
This minimization does not split into the two independent parts anymore since both the future action distribution q(Ât:T^|ϕ) of the generative model and the approximate posterior factor in the variational free energy F[ϕ,sa≺t,ξ] are parameterized by ϕ. This justifies the claim that active inference obtains both belief update and action selection through a single principle or optimization.
Compared to Friston et al. (2015), we have introduced a simplification of active inference. In the original text, additional distributions over γ (with according random variable Γ) are introduced to the generative model as q(γ|ξ^{Γ}) (which is a fixed prior) and to the approximate posterior as r(γ|ϕ^{Γ}). For the sake of completeness, we show the full equations as well. Since γ is now part of the model, we write q(ât:T^|γ,ϕ) instead of q(ât:T^|ϕ). The basic procedure above stays the same. The active inference optimization becomes:
Which allows us to write Equation (135) with the original variational free energy again:
ϕ∗sa≺t,ξ,ϕsa≺t,ξΓ*,πsa≺t,ξ∗=arg minϕ,ϕΓ,π(F[ϕ,sa≺t,ξ]+KL[r(A^t:T^,Γ|π,ϕΓ)||q(A^t:T^,Γ|ϕ,ξΓ)]).9. Applications and limitations
An application of the active inference described here to a simple maze task can be found in Friston et al. (2015). Active inference using different forms of approximate posteriors can be found in Friston et al. (2016b). Here, Friston et al. (2017a) also includes a knowledge seeking term in addition to the conditional entropy term. In the universal reinforcement learning framework Aslanides et al. (2017) also implement a knowledge seeking agent. These works can be quite directly translated into our framework.
For applications of intrinsic motivations that are not so directly related to our framework see also the references in the according Sections 7.3.3 to 7.3.5.
A quantitative analysis of the limitations of the different approaches we discussed is beyond the scope of this publication. However, we can make a few observations that may help researchers interested in applying the discussed approaches.
Concerning the computation of the complete posterior by direct Bayesian methods is not feasible beyond the simplest of systems and even then only for very short time durations. As mentioned in the text it contains a sum over |E^|t elements. If the time horizon into the future is T^-t then the predictive factor consists of S^T^-t×E^T^-t×A^T^-t entries. This means predicting far into the future is also not feasible. Therefore T^-t will usually have to be fixed to a small number. Methods that also approximate the predictive factor (e.g., Friston et al., 2016b, 2017a) may be useful here. However, to our knowledge, their scalability has not been addressed yet. Since in these approaches the predictive factor is approximated in a similar way as the posterior factor here, we would expect that it is similar to the scalability of approximating the posterior factor.
Employing variational inference reduces the computational burden for obtaining a posterior factor considerably. The sum over all possible past environment histories (the |E^|t elements) is approximated within the optimization. Clearly, by employing variational inference we inherit all shortcomings of this method. As mentioned also in Friston et al. (2016b) variational inference approximations are known to become overconfident i.e., the approximate posterior tends to ignore values with low probabilities (see e.g., Bishop, 2011). In practice this can of course lead to poor decision making. Furthermore, the convergence of the optimization to obtain the approximate posterior can also become slow. As time t increases the necessary computations for each optimization step in the widely used coordinate ascent variational inference algorithm (Blei et al., 2017) grow with t^{2}. Experiments suggest that the number of necessary optimization steps also grows over time. At the moment, we do not know how fast but this may also lead to problems. A possible solution would be to introduce some form of forgetting such that the considered past does not grow forever.
Ignoring the problem of obtaining a complete posterior, we still have to evaluate and select actions. Computing the information theoretic quantities needed for the mentioned intrinsic motivations and their induced action-value functions is also computationally expensive. In this case fixing the future time horizon T^-t can lead to constant computational requirements. These grow exponentially with the time horizon which makes large time horizons impossible without further approximations. Note that the action selection mechanisms discussed here also require the computation of the action-value functions for each of the future action sequences.
Active inference is not a standard variational inference problem and therefore standard algorithms like the coordinate ascent variational inference may fail in this case. Other optimization procedures like gradient descent may still work. As far as we know there have been no studies of the scalability of the active inference scheme up to now.
10. Conclusion
We have reconstructed the active inference approach of Friston et al. (2015) in in a formally consistent way. We started by disentangling the components of inference and action selection. This disentanglement has allowed us to also remove the variational inference completely and formulate the pure Bayesian knowledge updating for the generative model of Friston et al. (2015). We have shown in Section 6.3 that a special case of this model is equivalent to a finite version of the model used by the Bayesian universal reinforcement agent (Hutter, 2005). We then pointed out how to approximate the pure Bayesian knowledge updating with variational inference. To formalize the notion of intrinsic motivations within this framework, we have introduced intrinsic motivation functions that take complete posteriors and future actions as inputs. These induce action-value functions similar to those used in reinforcement learning. The action-value functions can then be used for both, the Bayesian and the variational agent, in standard deterministic or softmax action selection schemes.
Our analysis of the intrinsic motivations Expected Free Energy Maximization, Empowerment Maximization, Predictive Information Maximization, and Knowledge Seeking indicates that there is significant common structure between the different approaches and it may be possible to combine them. At the time of writing, we have already made first steps toward using the present framework for a systematic quantitative analysis and comparison of the different intrinsic motivations. Eventually, such studies will shed more conclusive light on the computational requirements and emergent dynamics of different motivations. An investigation of the biological plausibility of different motivations might lead to different results and this is of equal interest.
Beyond the comparison of different intrinsic motivations within an active inference framework, the present work can thus contribute to investigations on the role of intrinsic motivations in living organisms. If biological plausibility of active inference can be upheld, and maintained for alternative intrinsic motivations, then experimental studies might be derived to test differentiating predictions. If active inference was key to cognitive phenomena such as consciousness, it would be interesting to see how the cognitive dynamics would be affected by alternative intrinsic motivations.
Author contributions
MB, CG, CS, SS, and DP conceived of this study, discussed the concepts, revised the formal analysis, and wrote the article. MB contributed the initial formal analysis.
Conflict of interest statement
CG, CS, SS, and DP declare no competing interests. In accordance with Frontiers policy MB declares that he is employed by company Araya Incorporated, Tokyo, Japan.
MB would like to thank Yen Yu for valuable discussions on active inference.
ReferencesAllenM.FristonK. J. (2016). From cognitivism to autopoiesis: towards a computational framework for the embodied mind. AslanidesJ.LeikeJ.HutterM. (2017). Universal reinforcement learning algorithms: survey and experiments, in AttiasH. (1999). A variational Bayesian framework for graphical models, in AttiasH. (2003). Planning by probabilistic inference, in AyN.BernigauH.DerR.ProkopenkoM. (2012). Information-driven self-organization: the dynamical system approach to autonomous robot behavior. AyN.BertschingerN.DerR.GüttlerF.OlbrichE. (2008). Predictive information and explorative behavior of autonomous robots. AyNLöhrW. (2015). The umwelt of an embodied agent–a measure-theoretic definition. BarberD.AgakovF. (2003). The IM algorithm: a variational approach to information maximization, in BialekW.TishbyN. (1999). Predictive information. BishopC. M. (2011). BleiD. M.KucukelbirA.McAuliffeJ. D. (2017). Variational inference: a review for statisticians. BotvinickM.ToussaintM. (2012). Planning as inference. BuckleyC. L.KimC. S.McGregorS.SethA. K. (2017). The free energy principle for action and perception: a mathematical review. ClarkA. (2015). CoverT. MThomasJ. A. (2006). DennettD. C. (1991). Doshi-VelezF.PfauD.WoodF.RoyN. (2015). Bayesian nonparametric methods for partially-Observable reinforcement learning. EllisB.WongW. H. (2008). Learning causal Bayesian network structures from experimental data. FoxR.TishbyN. (2016). Minimum-information LGQ control part II: retentive controllers, in FristonK. (2010). The free-energy principle: a unified brain theory?FristonK. (2013a). Consciousness and hierarchical inference. FristonK. (2013b). Life as we know it. FristonK.FitzGeraldT.RigoliF.SchwartenbeckP.O'DohertyJ.PezzuloG. (2016a). Active inference and learning. FristonK.FitzGeraldT.RigoliF.SchwartenbeckP.PezzuloG. (2016b). Active inference: a process theory. FristonK.RigoliF.OgnibeneD.MathysC.FitzgeraldT.PezzuloG. (2015). Active inference and epistemic value. FristonK.SamothrakisS.MontagueR. (2012). Active inference and agency: optimal control without cost functions. FristonK. J.LinM.FrithC. D.PezzuloG.HobsonJ. A.OndobakaS. (2017a). Active inference, curiosity and insight. FristonK. J.ParrT.de VriesB. (2017b). The graphical brain: belief propagation and active inference. FroeseT.ZiemkeT. (2009). Enactive artificial intelligence: investigating the systemic organization of life and mind. GregorK.RezendeD. J.WierstraD. (2016). Variational intrinsic control. GuckelsbergerC.SalgeC. (2016). Does empowerment maximisation allow for enactive artificial agents? in GuckelsbergerC.SalgeC.ColtonS. (2016a). Intrinsically motivated general companion NPCs via coupled empowerment maximisation, in GuckelsbergerC.SalgeC.SaundersR.ColtonS. (2016b). Supportive and antagonistic behaviour in distributed computational creativity via coupled empowerment maximisation, in GuckelsbergerC.SalgeC.TogeliusJ. (2018). New and surprising ways to be mean: adversarial NPCs with coupled empowerment minimisation, in HutterM. (2005). Universal artificial intelligence: sequential decisions based on algorithmic probability, in KarlM.SoelchM.Becker-EhmckP.BenbouzidD.van der SmagtP.BayerJ. (2017). Unsupervised real-time control through variational empowerment. KlyubinA.PolaniD.NehanivC. (2005). Empowerment: a universal agent-centric measure of control, in LeikeJ. (2016). Nonparametric general reinforcement learning. LinsonA.ClarkA.RamamoorthyS.FristonK. (2018). The active inference approach to ecological perception: general information dynamics for natural and artificial embodied cognition. LittleD. Y.-J.SommerF. T. (2013). Maximal mutual information, not minimal entropy, for escaping the Dark Room. LunnD. J.ThomasA.BestN.SpiegelhalterD. (2000). WinBUGS - A Bayesian modelling framework: concepts, structure, and extensibility. ManzottiR.ChellaA. (2018). Good old-fashioned artificial consciousness and the intermediate level fallacy. MartiusG.DerR.AyN. (2013). Information driven self-organization of complex robotic behaviors. MartiusG.JahnL.HauserH.HafnerV. V. (2014). Self-exploration of the stumpy robot with predictive information maximization, in MinkaT. P. (2001). Expectation propagation for approximate Bayesian inference, in MohamedS.RezendeD. J. (2015). Variational information maximisation for intrinsically motivated reinforcement learning, in OrseauL.LattimoreT.HutterM. (2013). Universal knowledge-seeking agents for stochastic environments, in OrtegaP. A. (2011). Bayesian causal induction. OrtegaP. A.BraunD. A. (2010). A minimum relative entropy principle for learning and acting. OrtegaP. A.BraunD. A. (2014). Generalized Thompson sampling for sequential decision-making and causal inference. OudeyerP.-Y.KaplanF. (2009). What is intrinsic motivation? A typology of computational approaches. OudeyerP.-Y.KaplanF.HafnerV. V. (2007). Intrinsic motivation systems for autonomous mental development. PearlJ. (2000). PfeiferR.IidaF.BongardJ. (2005). New robotics: design principles for intelligent systems. RossSPineauJ. (2008). Model-based Bayesian reinforcement learning in large structured domains, in RyanR. M.DeciE. L. (2000). Intrinsic and extrinsic motivations: classic definitions and new directions. SalgeC.GlackinC.PolaniD. (2014). Empowerment–an introduction, in SalgeC.GuckelsbergerC.CanaanR.MahlmannT. (2018). Accelerating empowerment computation with UCT tree search, in SalgeC.PolaniD. (2017). Empowerment as replacement for the three laws of robotics. SantucciV. G.BaldassarreG.MirolliM. (2013). Which is the best intrinsic motivation signal for learning multiple skills?SchmidhuberJ. (2010). Formal theory of creativity, fun, and intrinsic motivation (1990-2010). StorckJ.HochreiterS.SchmidhuberJ. (1995). Reinforcement driven information acquisition in non-deterministic environments. in SuttonR. S.BartoA. G. (1998). ToussaintM. (2009). Probabilistic inference as a model of planned behavior. VehtariA.GelmanA.SivulaT.JylänkiP.TranD.SahaiS.. (2014). Expectation propagation as a way of life: a framework for Bayesian inference on partitioned data. WainwrightM. J.JordanM. I. (2007). Graphical models, exponential families, and variational inference. WinnJBishopC. M. (2005). Variational message passing. AppendixA. Posterior factor
Here we want to calculate the posterior factor q(ê_{≺t}, θ|sa_{≺t}, ξ) of the complete posterior in Equation (16) without an approximation (i.e., as in direct, non-variational Bayesian inference).
The three integrals can be solved analytically if q(θ^{i}|ξ^{i}) are chosen as conjugate priors to q(sτ|e^τ,θ1), q(e^r|ar,e^r-1,θ2), and q(e^0|θ3) respectively. However, the sum is over |E|t terms and therefore untractable as time increases.
B. Approximate posterior predictive distribution
Here, we calculate the (variational) approximate predictive posterior distribution of q(s^t:T^|a^t:T^,sa≺t,ξ) from a given approximate complete posterior. This expression plays a role in multiple intrinsic motivation functions like empowerment maximization, predictive information maximization, and knowledge seeking. For an arbitrary ϕ we have:
From first to second line we usually have to marginalize q(ê_{≺t}, θ|sa_{≺t}, ξ) to q(ê_{t−1}, θ|sa_{≺t}, ξ) with a sum over all |E|t-1 possible environment histories ê_{≺t−1}. Using the approximate posterior, we can use r(e^t-1|ϕEt-1) directly without dealing with the intractable sum. From third to fourth line, r(θ^{3}|ϕ^{3}) drops out since it can be integrated out (and its integral is equal to one). Note that during the optimization Equation (47) r(θ^{3}|ϕ^{3}) does play a role so it is not superfluous.From fifth to last line, we perform the integration over the parameters θ^{1} and θ^{2}. These integrals can be calculated analytically if we choose the models r(θ^{1}|ϕ^{1}) and r(θ^{2}|ϕ^{2}) as conjugate priors to q(s|e, θ^{1}) and q(e′|a′, e, θ^{2}). Variational inference prediction of the next n=T^-t-1 sensor values requires the sum and calculation of |E^|n terms for |S^|n possible futures.
C. Notation translation tables
A table to translate between our notation and the one used in Friston et al. (2015). The translation is also valid in many cases for Friston et al. (2016a,b, 2017a). Some of the parameters shown here only show up in the latter publications.
This article
Friston et al. (2015)
Note
et∈E
Actual environment states
e^t∈E^
s_{t} ∈ S
Estimated/modeled environment states
st∈S
o_{t} ∈ Ω
Actual/observed sensor or outcome values
s^t∈S^=S
o_{t} ∈ Ω
Estimated/modeled (usually future) sensor or outcome values. Note that the index τ instead of t often indicates an estimated future sensor value in Friston et al. (2015).
at∈A
a_{t} ∈ A
Actions
a^t∈A^=A
u_{t} ∈ U
Contemplated (usually future) actions
mt∈M
Agent memory state
a^t:T^
π, ũ
π and ũ both uniquely specify future action sequences
θ
θ
Generative model parameters
q(ŝ|ê, θ^{1}) = q(ŝ|ê)
P(o|s) = A_{os}
Model sensor dynamics, not parameterised in Friston et al. (2015), A is a matrix representation
q(ê′|â′, ê, θ^{2}) = q(ê′|â′, ê)
P(s′|s,u)=B(u)s′s
Model environment dynamics, not parameterised in Friston et al. (2015), B(u) is a matrix representation for each possible action u
q(e^0|θ3)
P(s_{0}|m) = D_{s0}
Modeled initial environment state, not parameterised in Friston et al. (2015), D is a vector representation. Note, the parameter m is a fixed hyperparameter
ξ = (ξ^{1}, ξ^{2}, ξ^{3})
m
Generative model hyperparam. or model parameter that subsumes all hyperparameters
ξ^{1}
sensor dynamics hyperparam.
ξ^{2}
Environment dynamics hyperparam.
ξ^{3}
Initial environment state hyperparam.
ξ^{Γ}
(α, β)
Precision hyperparam.
(ϕ, ϕ^{Γ})
μ
Variational param.
ϕE0:T^
s⌢
Environment states variational param.,
ϕEτ
s⌢τ
for each timestep τ
ϕ^{1}
Sensor dynamics variational param.
ϕ^{2}
Environment dynamics variational param.
ϕ^{3}
Initial environment state variational param.
π
π⌢
Future action sequence variational param.
ϕ^{Γ}
γ⌢
Precision variational param.
Q^(a^t:T^,ϕ)
Q(π) = Q(ũ|π)
Variational action-value function. The dependence of Q(ũ|π) on s⌢t is omitted
p(s_{≼t}, e_{≼t}, a_{≺t})
R(õ,s~,ã)
Our physical environment corresponds to the generative process
q(s^≼t,e^≼t,a^t:T^,γ|a≺t,ξ)
P(õ,s~,ũ,γ|ã,m)
The generative model for active inference including γ (which we mostly omit)
r(e^0:T^,a^t:T^,γ|π,ϕ,ϕΓ)
Q(s~,ũ,γ|μ)
Approximate complete posterior for active inference
pd(s^τ)
P(o_{τ}|m)
Prior over future outcomes.
Since our treatment is more general than that of Friston et al. (2015) and quite similar (though not identical) to the treatment in Friston et al. (2016a,b, 2017a) we also give the relations to variables in those publications. We hope this will help interested readers to understand the latter publications even if some aspects of those are different. A discussion of those differences is beyond the scope of the present article.
This article
Friston et al. (2016b)
Note
et∈E
Actual environment states
e^t∈E^
s_{t} ∈ S
Estimated/modeled environment states
st∈S
o_{t} ∈ Ω
Actual/observed sensor or outcome values
s^t∈S^=S
o_{t} ∈ Ω
Estimated/modeled (usually future) sensor or outcome values. Note that the index τ instead of t often indicates an estimated future sensor value in Friston et al. (2015).
at∈A
u_{t} ∈ A
Actions
a^t∈A^=A
u_{t} ∈ Υ
Contemplated (usually future) actions
mt∈M
Agent memory state
a^0:T^
π,
action sequences
θ
θ
Generative model parameters
θ^{1}
A
Sensor dynamics param.
θ^{2}
B
Environment dynamics param.
θ^{3}
D
Initial environment state param.
ξ
η
Generative model hyperparam. or model parameter that subsumes all hyperparameters
ξ^{1}
a
sensor dynamics hyperparam.
ξ^{2}
b
Environment dynamics hyperparam.
ξ^{3}
d
Initial environment state hyperparam.
ξ^{Γ}
β
Precision hyperparam.
(ϕ, ϕ^{Γ})
η
Variational param.
ϕE0:T^
s_{0:T}
Environment states variational param.
q(e^τ|a^t:T^,a0:t-1,ϕEτ)
(sτπ)e^τ
For each sequence of actions and for each timestep there is a parameter sτπ. Since a categorical distribution is used, the parameter is a vector of probabilities whose entry ê_{τ} is equal to the probability of ê_{τ} if we set E^={1,…,|E^|}
ϕ^{1}
a
Sensor dynamics variational param.
ϕ^{2}
b
Environment dynamics variational param.
ϕ^{3}
d
Initial environment state variational param.
π
π
Future action sequence variational param.
ϕ^{Γ}
β
Precision variational param.
Q^(a^t:T^,ϕ)
−G(π)
Variational action-value function. The dependence of G(π) on s0:Tπ is omitted
p(s_{≼t}, e_{≼t}, a_{≺t})
R(õ,s~,ã)
Our physical environment corresponds to the generative process
q(s^≼t,e^0:T^,a^0:T^,γ,θ,ξ)
P(õ,s~,π,γ,A,B,D|a,b,d,β)
The generative model for active inference
r(e^0:T^,a^0:T^,γ,θ|π,ϕΓ,ϕ)
Q(s~,π,A,B,D,γ|s0:T^π,π,a,b,d,β)
Approximate complete posterior for active inference
pd(s^τ)
P(o_{τ}) = σ(U_{τ})
Prior over future outcomes.
^{1}This means that all state spaces and transition probabilities are independent of the time step, e.g., Mt=Mt-1 and p(s_{t}|e_{t}) = p(s_{t−1}|e_{t−1}).
^{2}In the deterministic case there is a function f:M→A such that p(m_{t}|s_{t−1}, a_{t−1}, m_{t−1}) = p(m_{t}|s_{t−1}, f(m_{t−1}), m_{t−1}) = p(m_{t}|s_{t−1}, m_{t−1}).
^{3}A close inspection of Friston et al. (2015, Equation 9) shows that the approximate complete posterior that ends up being evaluated by the action-value function is the one we discuss in Equation (40). It uses the predictive factor to get the probabilities r(e^t:T^|a^t:T^,e^t-1,ϕ) of future environment states. However, the approximate posterior in Friston et al. (2015, Equation 10) uses a factorization of all future environment states like the one we give in Equation (43). The probabilities of future environment states in that posterior are not used anywhere in Friston et al. (2015). In principle, they could be used as is done in Friston et al. (2016b, Equation 2.6) where the complete posterior of Equation (43) is used in the action-value function. Both approaches are possible.
^{4}The main difference is that the action-value functions here evaluate sequences of future actions as opposed to policies. This is the prevalent practice in active inference literature including Friston et al. (2015) and we therefore follow it here.
^{5}We abuse notation here by reusing the same symbol Q^ for the variational action-value function as for the Bayesian action-value function. However, in this publication the argument (sa_{≺t}, ξ or ϕ) always indicates which one is meant.
^{6}The original text refers to this as the “expected entropy of outcomes,” not the expected conditional entropy of outcomes. Nonetheless, the associated Equation (A2) in the original is identical to ours.
^{7}There is a small typo in Friston et al. (2015, Equation 9) where the time index of ŝ_{t−1} in (s^τ(a^t:T^))=(B(a^τ)⋯B(a^t)·s^t-1) is given as t instead of t−1.
Funding. CG is funded by EPSRC grant [EP/L015846/1] (IGGI). CS is funded by the EU Horizon 2020 programme under the Marie Sklodowska-Curie grant 705643. DP is funded in part by EC H2020-641321 socSMCs FET Proactive project.