15 | Variational Inference

Total Page:16

File Type:pdf, Size:1020Kb

15 | Variational Inference 15 j Variational inference 15.1 Foundations Variational inference is a statistical inference framework for probabilistic models that comprise unobserv- able random variables. Its general starting point is a joint probability density function over observable random variables y and unobservable random variables #, p(y; #) = p(#)p(yj#); (15.1) where p(#) is usually referred to as the prior density and p(yj#) as the likelihood. Given an observed value of y, the first aim of variational inference is to determine the conditional density of # given the observed value of y, referred to as the posterior density. The second aim of variational inference is to evaluate the marginal density of the observed data, or, equivalently, its logarithm Z ln p(y) = ln p(y; #) d#: (15.2) Eq. (15.2) is commonly referred to as the log marginal likelihood or log model evidence. The log model evidence allows for comparing different models in their plausibility to explain observed data. In the variational inference framework it is not the log model evidence itself which is evaluated, but rather a lower bound approximation to it. This is due to the fact that if a model comprises many unobservable variables # the integration of the right-hand side of (15.2) can become analytically burdensome or even intractable. To nevertheless achieve its two aims, variational inference in effect replaces an integration problem with an optimization problem. To this end, variational inference exploits a set of information theoretic quantities as introduced in Chapter 11 and below. Specifically, the following log model evidence decomposition forms the core of the variational inference approach (Figure 15.1): ln p(y) = F (q(#)) + KL(q(#)kp(#jy)): (15.3) In eq. (15.3), q(#) denotes an arbitrary probability density over the unobservable variables which is used as an approximation of the posterior density p(#jy). In the following, q(#) is referred to as variational density. In words, (15.3) states that for an arbitrary variational density q(#), the log model evidence comprises the sum of two information theoretic quantities: the so-called variational free energy, defined as Z p(y; #) F (q(#)) := q(#) ln d# (15.4) q(#) and the KL divergence between the true posterior density p(#jy) and the variational density q(#), Z q(#) KL(q(#)jjp(#jy)) = q(#) ln d#: (15.5) p(#jy) Based on these definitions, it is straightforward to show the validity of the log model evidence decompo- sition: Foundations 153 Figure 15.1. Visualization of the log model evidence decomposition that lies at the heart of the variational inference approach. The upper vertical bar represents the log model evidence, which is a function of the probabilistic model p(y; #) and is constant for any observation of y. As shown in the main text, the log model evidence can readily be rewritten into the sum of the variational free energy term F (q(#)) and a KL divergence term KL(q(#)jjp(#jy)), if one introduces an arbitrary variational density over the unobservable variables #. Maximizing the variational free energy hence minimizes the KL divergence between the variational density q(#) and the true posterior density p(#jy) and renders the variational free energy a better approximation of the log model evidence. Equivalently, minimizing the KL divergence between the variational density q(#) and the true posterior density p(#jy) maximizes the free energy and also renders it a tighter approximation to the log model evidence ln p(y). Proof of (15.3) By definition, we have Z p(y; #) F (q(#)) = q(#) ln d# q(#) Z p(y)p(#jy) = q(#) ln d# q(#) Z Z p(#jy) = q(#) ln p(y) d# + q(#) ln d# q(#) (15.6) Z Z p(#jy) = ln p(y) q(#) d# + q(#) ln d# q(#) Z q(#) = ln p(y) − q(#) ln d# p(#jy) = ln p(y) − KL(q(#)jjp(#jy)); from which eq. (15.3) follows immediately. 2 The log model evidence decomposition (15.3) can be used to achieve the aims of variational inference as follows: first, the non-negativity property of the KL divergence has the consequence, that the variational free energy F (q(#)) is always smaller than or equal to the log model evidence, i.e., F (q(#)) ≤ ln p(y): (15.7) This fact can be exploited in the numerical application of variational inference to probabilistic models: because the log model evidence is a fixed quantity which only depends on the choice of p(y; #) and a specific data realization, manipulating the variational density q(#) for a given data set in such a manner that the variational free energy increases has two consequences: first, the lower bound to the log model evidence becomes tighter, and the variational free energy a better approximation to the log model evidence. Second, because the left-hand side of eq. (15.3) remains constant, the KL divergence between the true posterior and its variational approximation decreases, which renders the variational density q(#) an increasingly better approximation to the true posterior distribution p(#jy). Because the variational free energy is a lower bound to the log model evidence, it is also referred to as evidence lower bound (ELBO). The maximization of a variational free energy in terms of a variational density is a very general approach for posterior density and log model evidence approximation. Like the maximum likelihood approach, it serves rather as a guiding principle rather than a concrete numerical algorithm. In other words, algorithms that make use of the variational free energy log model evidence decomposition are jointly referred to as variational inference algorithms, but many variants exist. In the following two sections, we will discuss two specific variants and illustrate them with examples. The variants will be referred to as free-form mean-field variational inference and fixed-form mean-field variational inference. Here, the term mean-field refers to a factorization assumption with respect to the variational densities PMFN j © 2019 Dirk Ostwald CC BY-NC-SA 4.0 Free-form mean-field variational inference 154 over s sets of the unobserved random variables, s Y q(#) = q(#i): (15.8) i=1 Such a factorization allows the variational free energy to be optimized independently for the variational densities q(#i) in a coordinate-wise fashion for i = 1; :::; s, a procedure sometimes referred to as coordinate ascent variational inference (CAVI). The free-form and fixed-form variants of mean-field variational inference then differ in their assumptions about the variational densities q(#i): the defining feature of the free-form mean-field variational inference approach is that the parametric form of variational densities is not predetermined, but analytically evaluated based on a central result from variational calculus. As such, the free-form mean-field variational inference approach is useful to emphasize the roots of variational inference in variational calculus, but is also analytically quite demanding. In a functional neuroimaging context, the free-form mean-field approach thus serves primarily didactic purposes. The fixed-form mean- field variational inference approach, on the other hand, is characterized by predetermined functional forms of the variational densities and of high practical relevance in functional neuroimaging. In particular, a fixed-form mean-field variational inference approach that rests on Gaussian variational densities enjoys wide-spread popularity in functional neuroimaging (under the label variational Bayes Laplace algorithm) and theoretical neuroscience (under the label free energy principle). In contrast to the free-form mean-field approach, the fixed-form mean-field approach is less analytically demanding and replaces a variational optimization problem with a standard numerical optimization problem. This is achieved by analytically evaluating the variational free energy in terms of the parameters of the variational densities. 15.2 Free-form mean-field variational inference Free-form mean-field variational inference rests on a factorization of the variational density over sets of unobserved random variables q(#) = q(#s)q(#ns); (15.9) referred to as a mean-field approximation. In (15.9), #ns denotes all unobserved variables not in the sth group. For the factorization (15.9), the variational free energy becomes a function of two arguments, namely q(#s) and q(#ns). Due to the complexity of the integrals involved, a simultaneous analytical maxi- mization of the variational free energy with respect to both its arguments is often difficult to achieve, and a coordinate-wise approach, i.e., maximization first with respect to q(#s) and second with respect to q(#ns), is preferred. Notably, the assumed factorization over sets of variables corresponds to the assumption, that the respective variables form stochastically independent contributions to the multivariate posterior, which, depending on the true form of the generative model, may have weak or strong implications for the validity of the ensuing posterior inference. The question is thus how to obtain the arguments q(#s) and q(#ns) that maximize the variational free energy. It turns out that this challenge corresponds to a well-known problem in statistical physics, which has long been solved in a general fashion using variational calculus (Hinton and Van Camp, 1993). In contrast to ordinary calculus, which deals with the optimization of functions with respect to real numbers, variational calculus deals with the optimization of functions (in the context of variational calculus also referred to as functionals) with respect to functions. Using variational calculus, it can be shown that the variational free energy is maximized with respect to the unobserved variable partitions #s, if q(#s) is set proportional (i.e., equal up to a scaling factor) to the exponential of the expected log joint probability of y and # under the variational density over #ns. Formally, this can be written as Z q(#s) / exp q(#ns) ln p(y; #)d#ns (15.10) The result stated in eq.
Recommended publications
  • Deep Active Inference for Autonomous Robot Navigation
    Published as a workshop paper at “Bridging AI and Cognitive Science” (ICLR 2020) DEEP ACTIVE INFERENCE FOR AUTONOMOUS ROBOT NAVIGATION Ozan C¸atal, Samuel Wauthier, Tim Verbelen, Cedric De Boom, & Bart Dhoedt IDLab, Department of Information Technology Ghent University –imec Ghent, Belgium [email protected] ABSTRACT Active inference is a theory that underpins the way biological agent’s perceive and act in the real world. At its core, active inference is based on the principle that the brain is an approximate Bayesian inference engine, building an internal gen- erative model to drive agents towards minimal surprise. Although this theory has shown interesting results with grounding in cognitive neuroscience, its application remains limited to simulations with small, predefined sensor and state spaces. In this paper, we leverage recent advances in deep learning to build more complex generative models that can work without a predefined states space. State repre- sentations are learned end-to-end from real-world, high-dimensional sensory data such as camera frames. We also show that these generative models can be used to engage in active inference. To the best of our knowledge this is the first application of deep active inference for a real-world robot navigation task. 1 INTRODUCTION Active inference and the free energy principle underpins the way our brain – and natural agents in general – work. The core idea is that the brain entertains a (generative) model of the world which allows it to learn cause and effect and to predict future sensory observations. It does so by constantly minimising its prediction error or “surprise”, either by updating the generative model, or by inferring actions that will lead to less surprising states.
    [Show full text]
  • Allostasis, Interoception, and the Free Energy Principle
    1 Allostasis, interoception, and the free energy principle: 2 Feeling our way forward 3 Andrew W. Corcoran & Jakob Hohwy 4 Cognition & Philosophy Laboratory 5 Monash University 6 Melbourne, Australia 7 8 This material has been accepted for publication in the forthcoming volume entitled The 9 interoceptive mind: From homeostasis to awareness, edited by Manos Tsakiris and Helena De 10 Preester. It has been reprinted by permission of Oxford University Press: 11 https://global.oup.com/academic/product/the-interoceptive-mind-9780198811930?q= 12 interoception&lang=en&cc=gb. For permission to reuse this material, please visit 13 http://www.oup.co.uk/academic/rights/permissions. 14 Abstract 15 Interoceptive processing is commonly understood in terms of the monitoring and representation of the body’s 16 current physiological (i.e. homeostatic) status, with aversive sensory experiences encoding some impending 17 threat to tissue viability. However, claims that homeostasis fails to fully account for the sophisticated regulatory 18 dynamics observed in complex organisms have led some theorists to incorporate predictive (i.e. allostatic) 19 regulatory mechanisms within broader accounts of interoceptive processing. Critically, these frameworks invoke 20 diverse – and potentially mutually inconsistent – interpretations of the role allostasis plays in the scheme of 21 biological regulation. This chapter argues in favour of a moderate, reconciliatory position in which homeostasis 22 and allostasis are conceived as equally vital (but functionally distinct) modes of physiological control. It 23 explores the implications of this interpretation for free energy-based accounts of interoceptive inference, 24 advocating a similarly complementary (and hierarchical) view of homeostatic and allostatic processing.
    [Show full text]
  • Neural Dynamics Under Active Inference: Plausibility and Efficiency
    entropy Article Neural Dynamics under Active Inference: Plausibility and Efficiency of Information Processing Lancelot Da Costa 1,2,* , Thomas Parr 2 , Biswa Sengupta 2,3,4 and Karl Friston 2 1 Department of Mathematics, Imperial College London, London SW7 2AZ, UK 2 Wellcome Centre for Human Neuroimaging, Institute of Neurology, University College London, London WC1N 3BG, UK; [email protected] (T.P.); [email protected] (B.S.); [email protected] (K.F.) 3 Core Machine Learning Group, Zebra AI, London WC2H 8TJ, UK 4 Department of Bioengineering, Imperial College London, London SW7 2AZ, UK * Correspondence: [email protected] Abstract: Active inference is a normative framework for explaining behaviour under the free energy principle—a theory of self-organisation originating in neuroscience. It specifies neuronal dynamics for state-estimation in terms of a descent on (variational) free energy—a measure of the fit between an internal (generative) model and sensory observations. The free energy gradient is a prediction error—plausibly encoded in the average membrane potentials of neuronal populations. Conversely, the expected probability of a state can be expressed in terms of neuronal firing rates. We show that this is consistent with current models of neuronal dynamics and establish face validity by synthesising plausible electrophysiological responses. We then show that these neuronal dynamics approximate natural gradient descent, a well-known optimisation algorithm from information geometry that follows the steepest descent of the objective in information space. We compare the information length of belief updating in both schemes, a measure of the distance travelled in information space that has a Citation: Da Costa, L.; Parr, T.; Sengupta, B.; Friston, K.
    [Show full text]
  • Respiration, Neural Oscillations, and the Free Energy Principle
    fnins-15-647579 June 23, 2021 Time: 17:40 # 1 REVIEW published: 29 June 2021 doi: 10.3389/fnins.2021.647579 Keeping the Breath in Mind: Respiration, Neural Oscillations, and the Free Energy Principle Asena Boyadzhieva1*† and Ezgi Kayhan2,3† 1 Department of Philosophy, University of Vienna, Vienna, Austria, 2 Department of Developmental Psychology, University of Potsdam, Potsdam, Germany, 3 Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig, Germany Scientific interest in the brain and body interactions has been surging in recent years. One fundamental yet underexplored aspect of brain and body interactions is the link between the respiratory and the nervous systems. In this article, we give an overview of the emerging literature on how respiration modulates neural, cognitive and emotional processes. Moreover, we present a perspective linking respiration to the free-energy principle. We frame volitional modulation of the breath as an active inference mechanism Edited by: in which sensory evidence is recontextualized to alter interoceptive models. We further Yoko Nagai, propose that respiration-entrained gamma oscillations may reflect the propagation of Brighton and Sussex Medical School, United Kingdom prediction errors from the sensory level up to cortical regions in order to alter higher level Reviewed by: predictions. Accordingly, controlled breathing emerges as an easily accessible tool for Rishi R. Dhingra, emotional, cognitive, and physiological regulation. University of Melbourne, Australia Georgios D. Mitsis, Keywords: interoception, respiration-entrained neural oscillations, controlled breathing, free-energy principle, McGill University, Canada self-regulation *Correspondence: Asena Boyadzhieva [email protected] INTRODUCTION † These authors have contributed “The “I think” which Kant said must be able to accompany all my objects, is the “I breathe” which equally to this work actually does accompany them.
    [Show full text]
  • Active Inference Body Perception and Action for Humanoid Robots
    Active inference body perception and action for humanoid robots Guillermo Oliver1, Pablo Lanillos1;2, Gordon Cheng1 Abstract—Providing artificial agents with the same computa- Body perception tional models of biological systems is a way to understand how intelligent behaviours may emerge. We present an active inference body perception and action model working for the first time in a humanoid robot. The model relies on the free energy principle proposed for the brain, where both perception and action goal is to minimise the prediction error through gradient descent on the variational free energy bound. The body state (latent variable) is inferred by minimising the difference between the observed (visual and proprioceptive) sensor values and the predicted ones. Simultaneously, the action makes sensory data sampling to better Action correspond to the prediction made by the inner model. We formalised and implemented the algorithm on the iCub robot and tested in 2D and 3D visual spaces for online adaptation to visual changes, sensory noise and discrepancies between the Fig. 1. Body perception and action via active inference. The robot infers model and the real robot. We also compared our approach with its body (e.g., joint angles) by minimising the prediction error: discrepancy classical inverse kinematics in a reaching task, analysing the between the sensors (visual sv and joint sp) and their expected values (gv(µ) suitability of such a neuroscience-inspired approach for real- and gp(µ)). In the presence of error it changes the perception of its body µ world interaction. The algorithm gave the robot adaptive body and generates an action a to reduce this discrepancy.
    [Show full text]
  • A Free Energy Principle for Biological Systems
    Entropy 2012, 14, 2100-2121; doi:10.3390/e14112100 OPEN ACCESS entropy ISSN 1099-4300 www.mdpi.com/journal/entropy Article A Free Energy Principle for Biological Systems Friston Karl The Wellcome Trust Centre for Neuroimaging, Institute of Neurology, Queen Square, London, WC1N 3BG, UK; E-Mail: [email protected]; Tel.: +44 (0)203 448 4347; Fax: +44 (0)207 813 1445 Received: 17 August 2012; in revised form: 1 October 2012 / Accepted: 25 October 2012 / Published: 31 October 2012 Abstract: This paper describes a free energy principle that tries to explain the ability of biological systems to resist a natural tendency to disorder. It appeals to circular causality of the sort found in synergetic formulations of self-organization (e.g., the slaving principle) and models of coupled dynamical systems, using nonlinear Fokker Planck equations. Here, circular causality is induced by separating the states of a random dynamical system into external and internal states, where external states are subject to random fluctuations and internal states are not. This reduces the problem to finding some (deterministic) dynamics of the internal states that ensure the system visits a limited number of external states; in other words, the measure of its (random) attracting set, or the Shannon entropy of the external states is small. We motivate a solution using a principle of least action based on variational free energy (from statistical physics) and establish the conditions under which it is formally equivalent to the information bottleneck method. This approach has proved useful in understanding the functional architecture of the brain. The generality of variational free energy minimisation and corresponding information theoretic formulations may speak to interesting applications beyond the neurosciences; e.g., in molecular or evolutionary biology.
    [Show full text]
  • A Free Energy Principle for a Particular Physics
    A FREE ENERGY PRINCIPLE FOR A PARTICULAR PHYSICS Karl Friston The Wellcome Centre for Human Neuroimaging, UCL Queen Square Institute of Neurology, London, UK WC1N 3AR. Email: [email protected] (This work is under consideration for publication by The MIT Press) Abstract This monograph attempts a theory of every ‘thing’ that can be distinguished from other ‘things’ in a statistical sense. The ensuing statistical independencies, mediated by Markov blankets, speak to a recursive composition of ensembles (of things) at increasingly higher spatiotemporal scales. This decomposition provides a description of small things; e.g., quantum mechanics – via the Schrödinger equation, ensembles of small things – via statistical mechanics and related fluctuation theorems, through to big things – via classical mechanics. These descriptions are complemented with a Bayesian mechanics for autonomous or active things. Although this work provides a formulation of every ‘thing’, its main contribution is to examine the implications of Markov blankets for self- organisation to nonequilibrium steady-state. In brief, we recover an information geometry and accompanying free energy principle that allows one to interpret the internal states of something as representing or making inferences about its external states. The ensuing Bayesian mechanics is compatible with quantum, statistical and classical mechanics and may offer a formal description of lifelike particles. Key words: self-organisation; nonequilibrium steady-state; active inference; active particles; free
    [Show full text]
  • The Free-Energy Principle: a Rough Guide to the Brain?
    Opinion The free-energy principle: a rough guide to the brain? Karl Friston The Wellcome Trust Centre for Neuroimaging, University College London, Queen Square, London WC1N 3BG, UK This article reviews a free-energy formulation that The motivation for the free-energy principle is again advances Helmholtz’s agenda to find principles of brain simple but fundamental. It rests upon the fact that self- function based on conservation laws and neuronal organising biological agents resist a tendency to disorder energy. It rests on advances in statistical physics, theor- and therefore minimize the entropy of their sensory states etical biology and machine learning to explain a remark- [4]. Under ergodic assumptions, this entropy is: able range of facts about brain structure and function. We Z could have just scratched the surface of what this formu- HðyÞ¼ pðyjmÞln pðyjmÞdy lation offers; for example, it is becoming clear that the ZT Bayesian brain is just one facet of the free-energy principle 1 and that perception is an inevitable consequence of active ¼ lim À ln pðyjmÞdt (Equation 1) T !1T exchange with the environment. Furthermore, one can 0 see easily how constructs like memory, attention, value, See Box 1 for an explanation of the variables and Ref. [5] reinforcement and salience might disclose their simple for details. This equation (Equation 1) means that mini- relationships within this framework. Introduction The free-energy (see Glossary) principle is a simple pos- Glossary tulate with complicated implications. It says that any [Kullback-Leibler] divergence: information divergence, information gain, cross adaptive change in the brain will minimize free-energy.
    [Show full text]
  • The Free-Energy Principle: a Unified Brain Theory?
    REVIEWS The free-energy principle: a unified brain theory? Karl Friston Abstract | A free-energy principle has been proposed recently that accounts for action, perception and learning. This Review looks at some key brain theories in the biological (for example, neural Darwinism) and physical (for example, information theory and optimal control theory) sciences from the free-energy perspective. Crucially, one key theme runs through each of these theories — optimization. Furthermore, if we look closely at what is optimized, the same quantity keeps emerging, namely value (expected reward, expected utility) or its complement, surprise (prediction error, expected cost). This is the quantity that is optimized under the free-energy principle, which suggests that several global brain theories might be unified within a free-energy framework. Free energy Despite the wealth of empirical data in neuroscience, Motivation: resisting a tendency to disorder. The An information theory measure there are relatively few global theories about how the defining characteristic of biological systems is that that bounds or limits (by being brain works. A recently proposed free-energy principle they maintain their states and form in the face of a greater than) the surprise on for adaptive systems tries to provide a unified account constantly changing environment3–6. From the point sampling some data, given a of action, perception and learning. Although this prin- of view of the brain, the environment includes both generative model. ciple has been portrayed as a unified brain theory1, its the external and the internal milieu. This maintenance Homeostasis capacity to unify different perspectives on brain function of order is seen at many levels and distinguishes bio- The process whereby an open has yet to be established.
    [Show full text]
  • Arxiv:1709.02341V5 [Q-Bio.NC] 11 Oct 2018
    DEEP ACTIVE INFERENCE KAI UELTZHOFFER¨ Abstract. This work combines the free energy principle from cognitive neuroscience and the ensuing active inference dynamics with recent advances in variational inference on deep generative models and evolution strategies as efficient large-scale black-box optimisation technique, to introduce the "deep active inference" agent. This agent tries to minimize a variational free energy bound on the average surprise of its sensations, which is motivated by a homeostatic argument. It does so by changing the parameters of its generative model, together with a variational density approximating the posterior distribution over latent variables, given its observations, and by acting on its environment to actively sample input that is likely under its generative model. The internal dynamics of the agent are implemented using deep neural networks, as used in machine learning, and recurrent dynamics, making the deep active inference agent a scalable and very flexible class of active inference agents. Using the mountaincar problem, we show how goal-directed behaviour can be implemented by defining sensible prior expectations on the latent states in the agent's model, that it will try to fulfil. Furthermore, we show that the deep active inference agent can learn a generative model of the environment, which can be sampled from to understand the agent's beliefs about the environment and its interaction with it. 1. Introduction Active Inference (Friston et al., 2006, 2010; Friston, 2012) is a normative theory of brain function derived from the properties required by active agents to survive in dynamic, fluctuating environments. This theory is able to account for many aspects of action and perception as well as anatomic and physiologic features of the brain on one hand (Brown and Friston, 2012; Friston, 2005; Friston et al., 2011; Friston and Kiebel, 2009; Schwartenbeck et al., 2015; Adams et al., 2013), and encompasses many formal theories about brain function on the other (Friston, 2010).
    [Show full text]
  • A Free Energy Principle for the Brain
    Journal of Physiology - Paris 100 (2006) 70–87 www.elsevier.com/locate/jphysparis A free energy principle for the brain Karl Friston *, James Kilner, Lee Harrison The Wellcome Department of Imaging Neuroscience, Institute of Neurology, University College London, 12 Queen Square, London WC1N 3B, United Kingdom Abstract By formulating Helmholtz’s ideas about perception, in terms of modern-day theories, one arrives at a model of perceptual inference and learning that can explain a remarkable range of neurobiological facts: using constructs from statistical physics, the problems of infer- ring the causes of sensory input and learning the causal structure of their generation can be resolved using exactly the same principles. Furthermore, inference and learning can proceed in a biologically plausible fashion. The ensuing scheme rests on Empirical Bayes and hierarchical models of how sensory input is caused. The use of hierarchical models enables the brain to construct prior expectations in a dynamic and context-sensitive fashion. This scheme provides a principled way to understand many aspects of cortical organisation and responses. In this paper, we show these perceptual processes are just one aspect of emergent behaviours of systems that conform to a free energy principle. The free energy considered here measures the difference between the probability distribution of environmental quantities that act on the system and an arbitrary distribution encoded by its configuration. The system can minimise free energy by changing its con- figuration to affect the way it samples the environment or change the distribution it encodes. These changes correspond to action and perception respectively and lead to an adaptive exchange with the environment that is characteristic of biological systems.
    [Show full text]
  • A Real-World Implementation of Active Inference
    Department of Electrical Engineering Signal Processing Systems Group A Real-World Implementation of Active Inference Master Thesis Burak Erg¨ul [email protected] Supervisor: Prof.dr.ir. Bert de Vries Eindhoven, April 2020 Abstract Moving towards a world with ubiquitous automation, efficient design of intelligent au- tonomous agents that are capable of adapting to dynamic environments gains traction. In this setting, active inference emerges as a contender that inherently brings together action and perception through the minimization of a single cost function, namely free energy. Being a Bayesian inference method, active inference not only encodes uncer- tainty for perception but also for action and hence, it provides a strong expediency for building real-world intelligent autonomous agents that have to deal with uncertainties naturally found in the world. Coupled with other methods such as automated generation of inference algorithms and Forney-style factor graphs, active inference offers fast design cycles, adaptability and modularity. Furthermore, in cases where a priori specification of goal priors is prohibitively difficult, Bayesian target modelling opens up active infer- ence to more complex problems and provides a higher-level means of speeding up design cycles through learning desired future observations. In order to assess active inference's capabilities and feasibility for a real-world application, we provide a proof of concept that runs on a ground-based robot in order to navigate in a specified area to find the location chosen by the user through observing user feedback. Contents 1 INTRODUCTION . .1 1.1 Research Questions . .1 2 METHODS OF ACTIVE INFERENCE AND FREE ENERGY MINI- MIZATION .
    [Show full text]