<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.3 20070202//EN" "journalpublishing.dtd">
<article xml:lang="EN" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Front. Syst. Neurosci.</journal-id>
<journal-title>Frontiers in Systems Neuroscience</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Syst. Neurosci.</abbrev-journal-title>
<issn pub-type="epub">1662-5137</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.3389/fnsys.2022.787659</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Neuroscience</subject>
<subj-group>
<subject>Hypothesis and Theory</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>Generalized Simultaneous Localization and Mapping (G-SLAM) as unification framework for natural and artificial intelligences: towards reverse engineering the hippocampal/entorhinal system and principles of high-level cognition</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name><surname>Safron</surname> <given-names>Adam</given-names></name>
<xref ref-type="aff" rid="aff1"><sup>1</sup></xref>
<xref ref-type="aff" rid="aff2"><sup>2</sup></xref>
<xref ref-type="aff" rid="aff3"><sup>3</sup></xref>
<xref ref-type="corresp" rid="c001"><sup>&#x0002A;</sup></xref>
<uri xlink:href="https://loop.frontiersin.org/people/72565/overview"/>
</contrib>
<contrib contrib-type="author">
<name><surname>&#x000C7;atal</surname> <given-names>Ozan</given-names></name>
<xref ref-type="aff" rid="aff4"><sup>4</sup></xref>
<uri xlink:href="https://loop.frontiersin.org/people/810789/overview"/>
</contrib> 
<contrib contrib-type="author">
<name><surname>Verbelen</surname> <given-names>Tim</given-names></name>
<xref ref-type="aff" rid="aff4"><sup>4</sup></xref>
<uri xlink:href="https://loop.frontiersin.org/people/1032459/overview"/>
</contrib>
</contrib-group>
<aff id="aff1"><sup>1</sup><institution>Center for Psychedelic and Consciousness Research, Johns Hopkins University School of Medicine</institution>, <addr-line>Baltimore, MD</addr-line>, <country>United States</country></aff>
<aff id="aff2"><sup>2</sup><institution>Cognitive Science Program, Indiana University</institution>, <addr-line>Bloomington, IN</addr-line>, <country>United States</country></aff>
<aff id="aff3"><sup>3</sup><institution>Institute for Advanced Consciousness Studies</institution>, <addr-line>Santa Monica, CA</addr-line>, <country>United States</country></aff>
<aff id="aff4"><sup>4</sup><institution>IDLab, Department of Information Technology, Ghent University&#x02014;imec</institution>, <addr-line>Ghent</addr-line>, <country>Belgium</country></aff>
<author-notes>
<fn fn-type="edited-by"><p>Edited by: Rosalyn J. Moran, King&#x02019;s College London, United Kingdom</p></fn>
<fn fn-type="edited-by"><p>Reviewed by: William De Cothi, University College London, United Kingdom; Akira Taniguchi, Ritsumeikan University, Japan</p></fn>
<corresp id="c001">&#x0002A;Correspondence: Adam Safron <email>asafron&#x00040;gmail.com</email></corresp>
</author-notes>
<pub-date pub-type="epub">
<day>30</day>
<month>09</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="collection">
<year>2022</year>
</pub-date>
<volume>16</volume>
<elocation-id>787659</elocation-id>
<history>
<date date-type="received">
<day>01</day>
<month>10</month>
<year>2021</year>
</date>
<date date-type="accepted">
<day>02</day>
<month>09</month>
<year>2022</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#x000A9; 2022 Safron, &#x000C7;atal and Verbelen.</copyright-statement>
<copyright-year>2022</copyright-year>
<copyright-holder>Safron, &#x000C7;atal and Verbelen</copyright-holder>
<license xlink:href="http://creativecommons.org/licenses/by/4.0/"><p>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.</p>
</license>
</permissions>
<abstract><p>Simultaneous localization and mapping (SLAM) represents a fundamental problem for autonomous embodied systems, for which the hippocampal/entorhinal system (H/E-S) has been optimized over the course of evolution. We have developed a biologically-inspired SLAM architecture based on latent variable generative modeling within the Free Energy Principle and Active Inference (FEP-AI) framework, which affords flexible navigation and planning in mobile robots. We have primarily focused on attempting to reverse engineer H/E-S &#x0201C;design&#x0201D; properties, but here we consider ways in which SLAM principles from robotics may help us better understand nervous systems and emergent minds. After reviewing LatentSLAM and notable features of this control architecture, we consider how the H/E-S may realize these functional properties not only for physical navigation, but also with respect to high-level cognition understood as generalized simultaneous localization and mapping (G-SLAM). We focus on loop-closure, graph-relaxation, and node duplication as particularly impactful architectural features, suggesting these computational phenomena may contribute to understanding cognitive insight (as proto-causal-inference), accommodation (as integration into existing schemas), and assimilation (as category formation). All these operations can similarly be describable in terms of structure/category learning on multiple levels of abstraction. However, here we adopt an ecological rationality perspective, framing H/E-S functions as orchestrating SLAM processes within both concrete and abstract hypothesis spaces. In this navigation/search process, adaptive cognitive equilibration between assimilation and accommodation involves balancing tradeoffs between exploration and exploitation; this dynamic equilibrium may be near optimally realized in FEP-AI, wherein control systems governed by expected free energy objective functions naturally balance model simplicity and accuracy. With respect to structure learning, such a balance would involve constructing models and categories that are neither too inclusive nor exclusive. We propose these (generalized) SLAM phenomena may represent some of the most impactful sources of variation in cognition both within and between individuals, suggesting that modulators of H/E-S functioning may potentially illuminate their adaptive significances as fundamental cybernetic control parameters. Finally, we discuss how understanding H/E-S contributions to G-SLAM may provide a unifying framework for high-level cognition and its potential realization in artificial intelligences.</p></abstract>
<kwd-group>
<kwd>SLAM</kwd>
<kwd>free energy principle</kwd>
<kwd>active inference</kwd>
<kwd>hippocampal and entorhinal systems</kwd>
<kwd>hierarchical generative models</kwd>
<kwd>robotics</kwd>
<kwd>artificial intelligence</kwd>
</kwd-group>
<counts>
<fig-count count="8"/>
<table-count count="1"/>
<equation-count count="22"/>
<ref-count count="188"/>
<page-count count="28"/>
<word-count count="23059"/>
</counts>
</article-meta>
</front>
<body>
<sec sec-type="introduction" id="s1">
<title>Introduction</title>
<disp-quote>
<p>&#x0201C;<italic>We take almost all the decisive steps in our lives as a result of slight inner adjustments of which we are barely conscious</italic>.&#x0201D;</p>
<attrib><italic>&#x02014;W.G. Sebald</italic>.</attrib>
</disp-quote>
<disp-quote>
<p>&#x0201C;<italic>Not all those who wander are lost</italic>.&#x0201D;</p>
<attrib><italic>&#x02014;J.R.R. Tolkien, The Riddle of Strider, The Fellowship of the Ring</italic>.</attrib>
</disp-quote>
<disp-quote>
<p>&#x0201C;<italic>We shall not cease from exploration</italic></p>
<p><italic>And the end of all our exploring</italic></p>
<p><italic>Will be to arrive where we started</italic></p>
<p><italic>And know the place for the first time</italic>.&#x0201D;</p>
<attrib><italic>&#x02014;T.S. Elliot, Little Gidding</italic>.</attrib>
</disp-quote>
<p>Autonomous systems face a fundamental challenge of needing to understand where they are positioned as they move through the world. Towards this end, roboticists have extensively investigated solutions to the problem of simultaneous localization and mapping (SLAM), whereby systems must infer both a map of their surroundings and their relative locations as they navigate through space (Cadena et al., <xref ref-type="bibr" rid="B25">2016</xref>). Considering that these same challenges face any freely moving cybernetic system, natural selection has similarly exerted extensive teleonomical (i.e., illusory purposefulness) optimization in this direction (Dennett, <xref ref-type="bibr" rid="B43">2017</xref>; Safron, <xref ref-type="bibr" rid="B146">2019b</xref>), so generating mechanisms for enabling wayfinding and situating organisms within environments where they engage in multiple kinds of adaptive foraging. Perhaps the most sophisticated of all biological SLAM mechanisms is the hippocampal-entorhinal system (H/E-S), whereby vertebrates become capable of both remembering where they have been, inferring where they are, and shaping where they are likely to go next.</p>
<p>Here, we argue that the development of the H/E-S represented a major transition in evolution, so enabling the emergence of teleology (i.e., actual goal-directedness) of various forms (Safron, <xref ref-type="bibr" rid="B151">2021b</xref>), ranging from governance by expected action-outcome associations to explicitly represented and reflexively modellable causal sequences involving extended self-processes. We focus on the implications of SLAM capacities <italic>via</italic> the H/E-S, and of evidence that this functionality may have been repurposed for intelligent behavior and cognition in seemingly non-spatial domains. We propose that all cognition and goal-oriented behavior (broadly construed to include mental actions) is based on navigation through spatialized (re-)representations, ranging from modeling abstract task-structures to temporal sequences, and perhaps even sophisticated motor control <italic>via</italic> SLAM with respect to body maps. Indeed, we would go as far as to suggest that the ubiquity of implicit and explicit spatial metaphors in language strongly points to a perspective in which cognition is centered on the localization and mapping of phenomena within both concrete and abstract feature spaces (Lakoff and Johnson, <xref ref-type="bibr" rid="B107">1999</xref>; Bergen, <xref ref-type="bibr" rid="B17">2012</xref>; Tversky, <xref ref-type="bibr" rid="B174">2019</xref>).</p>
<p>In these ways, we believe Generalized Simultaneous Localization and Mapping (G-SLAM) may provide enactive groundings for cognitive science within the principles of ecological rationality (Todd and Gigerenzer, <xref ref-type="bibr" rid="B172">2012</xref>). That is, we adopt a perspective in which cognition is traced back to its ultimate origins, wherein rationality is understood in terms of adaptations for shaping animal behavior in ways that further evolutionary fitness. Such ecological and ethological connections further provide bridges to optimal foraging theory and (generalized) search processes as ways of understanding cognition as a kind of covert behavior (Hills et al., <xref ref-type="bibr" rid="B86">2013</xref>). While somewhat similar models of intelligence have been proposed (Hawkins, <xref ref-type="bibr" rid="B78">2021</xref>), we suggest these other views may be somewhat misleading in neglecting to account for the central role of the H/E-S for realizing G-SLAM. In addition to providing an accurate viewpoint that grounds cognition in its cybernetic function as shaped over the course of evolution and development, G-SLAM will further allow rich cross-fertilization of insights between cognitive science and artificial intelligence. Given the particular functionalities enabled by the H/E-S, we propose this reverse-engineering project ought to be the central focus of cognitive science and machine learning, potentially constituting the most viable path forward towards realizing AI with advanced capacities for reasoning and planning (Bengio, <xref ref-type="bibr" rid="B14">2017</xref>).</p>
<p>A thorough discussion of these issues is beyond the scope of a single manuscript. However, below we attempt to provide an overview of why we believe the G-SLAM perspective may provide a unification framework for cognitive science. First (in Section &#x0201C;LatentSLAM, a bio-inspired SLAM algorithm&#x0201D;), we review our work on biologically-inspired SLAM architectures for robotics. Then, we consider features of the H/E-S, including its functionality for localization and mapping in both physical and abstract domains. Finally, we discuss correspondences between features of SLAM and core aspects of cognitive functioning. We hope to explain how common principles may apply not only to the fundamental task of finding one&#x02019;s way to desired locations in physical space, but for thought as navigation through abstract spaces. While much of what follows will necessarily be under-detailed and speculative, in subsequent publications, we (and hopefully others) will explore these issues in greater detail as we attempt to explain fundamental principles in neuroscience and artificial intelligence, while simultaneously seeking synergistic understanding by establishing conceptual mappings between these domains (Hassabis et al., <xref ref-type="bibr" rid="B75">2017</xref>).</p>
<p>In the following section, we provide a high-level overview of LatentSLAM, which is also treated in greater detail in (&#x000C7;atal et al., <xref ref-type="bibr" rid="B28">2021a</xref>, <xref ref-type="bibr" rid="B29">b</xref>). While we believe many of these technical details may be relevant for explaining fundamental aspects of high-level cognition, a more qualitative understanding of this content should be sufficient for considering the conceptual mappings we (begin to) explore in this manuscript (<xref ref-type="table" rid="T1">Table 1</xref>). Section &#x0201C;The Hippocampal/Entorhinal System (H/E-S)&#x0201D; then summarizes current views on the H/E-S and its functioning in relation to spatial modeling and cognition more generally. Finally, Section &#x0201C;G(eneralized-)SLAM as core cognitive process&#x0201D; draws parallels between understanding in machines (using LatentSLAM) and humans (considering the H/E-S) and propose G-SLAM as a unification framework for cognitive science and artificial intelligence.</p>
<table-wrap id="T1" position="float">
<label>Table 1</label>
<caption><p>Potential correspondences between LatentSLAM, cognitive psychological, and bio-computational phenomena.</p></caption>
<table frame="hsides" rules="groups">
<thead>
<tr>
<th align="left"><bold><underline>LatentSLAM</underline></bold></th>
<th align="center"><bold><underline>Cognitive-psychological processes</underline></bold></th>
<th align="center"><bold><underline>Bio-computational processes</underline></bold></th>
</tr>
</thead>
<tbody>
<tr>
<td align="left">Mapping/graphing:</td>
<td align="center">Inferring dimensions of feature spaces and relative locations of phenomena based on observations</td>
<td align="center">Relations between hippocampal place cells for particular locations combined with entorhinal grid cells for multi-scale metric-affordance information</td>
</tr>
<tr>
<td align="left">Localization:</td>
<td align="center">Positioning specific phenomena (including the mapping and localizing system itself) within inferred feature spaces</td>
<td align="center">Conjunction of hippocampal/entorhinal place/grid cells for positioning specific events within maps/graphs</td>
</tr>
<tr>
<td align="left">Sensor and actuator uncertainty:</td>
<td align="center">Perceptual (including mnemonic and imaginative) ambiguity</td>
<td align="center">Body and world states are indirectly inferred based on partial information from noisy signaling systems</td>
</tr>
<tr>
<td align="left">Views:</td>
<td align="center">Visuospatial perception (as a function of actions)</td>
<td align="center">Information from ventral and dorsal visual streams (and other modalities) organized according to egocentric perspectival reference frames (<italic>via</italic> posterior midline structures)</td>
</tr>
<tr>
<td align="left">Proprioceptive poses:</td>
<td align="center">Somatospatial perception (as a function of actions)</td>
<td align="center">Frontal-parietal hierarchies over the somatomotor strip, with modeling/control potentially enhanced <italic>via</italic> explicit mapping of lateral parietal body schemas by other systems (e.g., midline structures coupling with the H/E-S)</td>
</tr>
<tr>
<td align="left">Experience-map:</td>
<td align="center">Structuring of episodic memory and imagination both informed by and informing visuospatial and somatospatial modalities</td>
<td align="center">Transitions between hippocampal place fields entailing spatiotemporal trajectories for organisms (potentially including trajectories for important effector/sensor systems such as eyes and hands), both entrained by and entraining largescale cortical attracting states</td>
</tr>
<tr>
<td align="left">Spatial landmark graphs:</td>
<td align="center">Consciously-accessible representations of (salience-biased) spatial relations, potentially constituting our sense of space; semantic content of graph is based on actions and corresponding sensations as paths are traversed across/through these nodes</td>
<td align="center">Hippocampal place fields as chained attractors, mutually entrained with cortex to orchestrate attracting states for population activity along reduced-dimensionality manifolds for both overt and covert action-perception cycles at and between these locations</td>
</tr>
<tr>
<td align="left">Hierarchical generative model:</td>
<td align="center">The processes by which a coherent stream of experience is generated and remembered with respect to both action and perception</td>
<td align="center">A functional and algorithmic understanding of the brain as a hybrid machine learning architecture for predictive control of an embodied-environmentally-embedded agent</td>
</tr>
<tr>
<td align="left">Fisher information metric:</td>
<td align="center">The amount of information gained when traveling along a trajectory given a probabilistic generative model, wherein autonomous functioning is realized by minimizing discrepancies between predicted goal and present estimated states (<italic>via</italic> active inference); with respect to structure learning, the amount of &#x0201C;cognitive work&#x0201D; required to make sense of a domain</td>
<td align="center">The amount of neural activity that must be expended to achieve adaptive cybernetic functioning in a given context, including with respect to constructing and refining world models entailed by patterns of effective connectivity</td>
</tr>
<tr>
<td align="left">Accumulation of map uncertainty:</td>
<td align="center">Deviations between models and that which is represented due to uncertainty with respect to cognition and latent world states</td>
<td align="center">Deviations between likely patterns of neuronal attractor dynamics and their ability to orchestrate either overt or covert action-perception cycles (i.e., behaving or imagining) for autonomous functioning; cybernetic (and potentially thermodynamic) entropy for nervous systems</td>
</tr>
<tr>
<td align="left">Loop-closures:</td>
<td align="center">Events in which a familiar location in feature space is encountered with high confidence</td>
<td align="center">High degrees of converging mutually consistent activity from the H/E-S and non-H/E systems</td>
</tr>
<tr>
<td align="left">Graph-relaxation:</td>
<td align="center">Assimilation of novel information into existing schemas <italic>via</italic> iterated distribution of updates across interconnected cognitive structures</td>
<td align="center">Updating connectivity patterns to influence relative positioning of hippocampal place fields, potentially accompanied by largescale reductions in Hopfield energy</td>
</tr>
<tr>
<td align="left">Node creation:</td>
<td align="center">Accommodation of novel information <italic>via</italic> altering the structure of cognitive maps/graphs, potentially resulting in major updates to internal working (world) models with novel concepts</td>
<td align="center">Creation of new place fields, involving various forms of (potentially neuromodulator-dependent) hippocampal plasticity, and/or establishment of new prefrontal attractors (i.e., patterns of canalized striatal-cortical loops)</td>
</tr>
<tr>
<td align="left">Navigation:</td>
<td align="center">Setting destinations in generalized space, which function as sources of prediction-error to be minimized through active inference; this may apply to the organism as a whole moving through (generalized) space, or to trajectories for parts of a system for which specific intentional control is warranted (e.g., directed ocular foveations or grasping/pointing movements), including with respect to spaces of a conceptual variety (e.g., spatialized time)</td>
<td align="center">Predictive sweeps of activity across place fields from hippocampal maps (cf. successor representations), which can orchestrate largescale cortical attracting states (cf. equilibrium points) and thereby drive both system-internal self-organization (i.e., perceptual inference, imagination, and learning) and overt enaction, which in turn creates new sources of information to shape subsequent H/E-S dynamics</td>
</tr>
</tbody>
</table>
<table-wrap-foot>
<p>Please note, these cross-domain mappings are neither meant to be exhaustive nor definitive, but are instead intended to point in the direction of what a G-SLAM perspective might look like if more fully developed.</p>
</table-wrap-foot>
</table-wrap>
<p>We realize that this may be a challenging manuscript for many readers, with some portions focused on describing a robotics perspective, and other portions focused on cognitive/systems neuroscience. Indeed, this article emerged from an ongoing collaboration between roboticists and a cognitive/systems neuroscientist, which has been both rewarding and challenging in ways that demonstrate why this kind of interdisciplinary work is both desirable and difficult. One of our primary goals for this manuscript is to provide a rough-but-useful conceptual scaffolding (i.e., an initial partial map) for those who would attempt such cross-domain research. In this way, interested readers ought not be overly concerned if some of the content is found to be excessively technical relative to their particular background. However, we believe readers who follow through with exploring these suggested mappings (which we only begin to characterize) may be richly rewarded for those efforts.</p>
<p>In brief, G-SLAM can be summarized as follows:</p>
<list list-type="order">
<list-item><label>1.</label><p>It is increasingly recognized that the H/E-S may be the key to understanding high-level cognition.</p></list-item>
<list-item><label>2.</label><p>Within the field of robotics, the H/E-S has been identified as having been shaped by evolution for the problem of simultaneous localization and mapping (SLAM) for foraging animals, and where these capacities appear to have been repurposed for navigating through other seemingly non-spatial domains.</p></list-item>
<list-item><label>3.</label><p>We believe it would be fruitful to explicitly think of the core functionalities of SLAM systems and test whether these are not just reflected in the functioning of the H/E-S with respect to physical navigation, but with respect to other high-level cognitive processes as well.</p></list-item>
</list>
<p>If the H/E-S is the kind of gateway to high-level cognition that it is increasingly suggested to be (Evans and Burgess, <xref ref-type="bibr" rid="B50">2020</xref>; George et al., <xref ref-type="bibr" rid="B64">2021</xref>; McNamee et al., <xref ref-type="bibr" rid="B123">2021</xref>), and if it can be well-modeled as having been selected for SLAM functionalities that were later repurposed, then we believe the difficulty of exploring the following material will more than repay the effort of attempting to make the journey. We also ask readers to note places where spatial language can be found, only some of which was intentional. Indeed, we take such linguistic spatializations as supporting evidence for the G-SLAM perspective, which perhaps may be overlooked by virtue of its very ubiquity (cf. fish not noticing water). This is not to say that all spatial cognition points to a SLAM perspective. Yet we believe such spatial mappings are notable in affording opportunities for localization and mapping with respect to such domains. We leave it up to the discernment of our readers to assess how far one can go with following such paths through conceptual spaces, which may not only provide new perspectives on familiar territories on minds, but may even make inroads into discovering how we may follow similar paths to the destination of creating artificial systems with capacities that were formerly considered to be uniquely human.</p>
</sec>
<sec id="s2">
<title>LatentSLAM, A Bio-Inspired SLAM Algorithm</title>
<p>Simultaneous localization and mapping (SLAM) has been a long standing challenge in the robotics community (Cadena et al., <xref ref-type="bibr" rid="B25">2016</xref>). For autonomous functioning, a robot must try to map its environment whilst trying to localize itself in the map it is simultaneously constructing (i.e., SLAM). This setup creates a kind of &#x0201C;chicken and egg&#x0201D; problem in that a well-developed map is required for precise localization, but accurate location estimation is also required for knowing how to develop the map by which locality is estimated. This challenge is rendered even more difficult in that not only must the system deal with the seemingly ill-posed problem just described, but the inherent ambiguity of the environment is made even more difficult by sources of uncertainty from sensors and actuators. A fundamental challenge (and opportunity) with localizing and mapping is the detection of loop-closures: i.e., knowing when the robot re-encounters a location it has already visited. The challenge is due to the circular inference problems just described, and the opportunity is due to the particularly valuable occasion for updating afforded by the system having a reliable reference point in space. Such loop-closures have a further functional significance in allowing experiences to be bound together into a unified representational system where updates can be propagated in a mutually-constrained wholistic fashion, so providing a basis for the rapid and flexible construction and refinement of knowledge structures in the form of cognitive schemas that have both graph-like and map-like properties. With further experience, these schemata can then be transferred to the neocortex in the form of more stable adaptive action and thought tendencies, so forming a powerful hybrid architecture for instantiating robust causal world models (Hafner et al., <xref ref-type="bibr" rid="B72">2020</xref>; Safron, <xref ref-type="bibr" rid="B151">2021b</xref>).</p>
<p>SLAM has traditionally been tackled by Bayesian integration of sensor information within a metric map, typically expressed in terms of absolute distances and angles. In previous work, this amounted to keeping track of distances between the robot and various landmarks in the environment. Distance measurements were typically combined through Bayesian filtering, a principled way of combining heterogenous information sources through Bayesian inference. Modern successful metric SLAM solutions, however, combine lidar scans with the robots internal odometry estimate through Kalman filtering (Kalman and Bucy, <xref ref-type="bibr" rid="B97">1961</xref>) into 2D or 3D occupancy grid maps (Mur-Artal et al., <xref ref-type="bibr" rid="B129">2015</xref>; Hess et al., <xref ref-type="bibr" rid="B83">2016</xref>). These occupancy maps (<xref ref-type="fig" rid="F1">Figures 1B,C</xref>) keep track of locations of objects in the environment by rasterizing space and then marking certain grid locations as inaccessible&#x02014;due to being occupied with physical obstructions&#x02014;so creating a map that resembles what an architect would create to diagram a room (<xref ref-type="fig" rid="F1">Figure 1A</xref>).</p>
<fig id="F1" position="float">
<label>Figure 1</label>
<caption><p>An overview of different map types, show-casing our robotics lab. Panel <bold>(A)</bold> gives an exact metric view of the room as drawn by an architect. Panel <bold>(B)</bold> shows the same map as a 2D grid map, to create this map from panel <bold>(A)</bold> the map was rasterized and untraversable terrain was filled into the granularity of a single raster cell. Pabel <bold>(C)</bold> shows the same room as an x, y, z mapping of red/green/blue values extracted from a RGBD camera. This 3D grid map was generated by moving the camera through the physical lab. Finally, panel <bold>(D)</bold> shows the lab as a sparse graph.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0001.tif"/>
</fig>
<p>Variations on this scheme are popular and differ wildly, either substituting the integration algorithm or the type of metric map. A metric map is akin to a Cartesian grid with regular spacings. However, such spatial maps do not speak to the object identities within the space of interest, nor the particular relations between those objects. Thus, one of the downsides of using metric maps is that by extension all robotic reasoning must also happen on a metric level, any semantic information (i.e., the meaning of a certain cluster of grid-cell activations) needs to be added in later. Further, such metric spaces represent an instance of deviating from natural designs, as hippocampal/entorhinal system (H/E-S) mappings are not independent of the objects contained within these spaces, but instead induce distortions (e.g., expansions and compressions) of spatial relations, which are also modulated as a function of the salience of these entities for the organism/agent (Bellmund et al., <xref ref-type="bibr" rid="B13">2019</xref>; Boccara et al., <xref ref-type="bibr" rid="B21">2019</xref>; Butler et al., <xref ref-type="bibr" rid="B23">2019</xref>).</p>
<p>Popular approaches for such spatiotemporal modeling use particle filters or extended Kalman filters as Bayesian integration methods (Thrun et al., <xref ref-type="bibr" rid="B170">2005</xref>). Kalman filters are notable in that they allow for estimation based on a precision-weighted combination of probabilistic data sources, so allowing for synergistic power in inference and updating, which is also theoretically optimal in making use of all available data (weighted by relative certainty). As will be discussed in greater detail below, such integration may be implemented in the H/E-S <italic>via</italic> convergent activation in regions supporting high degrees of recurrent processing, such as the CA3 subfield of the hippocampus. However, not only does the H/E-S promote integrative estimation, but also pattern separation/differentiation <italic>via</italic> other subregions such as CA1, so allowing for attractors to take the form of sparsely-connected graphs&#x02014;cf. hybrid continuous/discrete architectures based on Forney factor graphs and agent-designs based on independently controllable factors (Friston et al., <xref ref-type="bibr" rid="B56">2017b</xref>; Thomas et al., <xref ref-type="bibr" rid="B168">2017</xref>, <xref ref-type="bibr" rid="B167">2018</xref>). Below we will also describe how such graph-like representations not only help to solve problems in navigating through physical spaces, but may also form a basis for the kinds of high-level cognition sought after in the domain of neurosymbolic AI (Bengio, <xref ref-type="bibr" rid="B14">2017</xref>).</p>
<p>We do not internally represent the world in a metric map. For instance, none of our senses can naturally give us an accurate distance measurement. Neither are we very effective in following a metric description of a path. Hence, it makes more sense for minds like ours (and potentially for artificial agents) to represent a map intuitively as a graph-like structure (<xref ref-type="fig" rid="F1">Figure 1D</xref>), where subsequent graph-nodes could represent subsequent high-level parts of the environment e.g., a node could represent a part of the environment containing a door at a certain rough location. Map traversal then becomes equivalent to the potentially more intuitive problem of graph-traversal or navigating between meaningful landmarks. Trajectories can then be expressed in terms of consecutive semantically meaningful directions. For example, the metrical path &#x0201C;move forwards 2 meters, turn 90 degrees clockwise and continue for 2 meters&#x0201D; could become &#x0201C;after going through the door go right towards the table.&#x0201D; (Note: in vertebrate nervous systems, such forms of navigation could either be based on H/E-S graphs/maps, or occur <italic>via</italic> canalized striatocortical loops implicitly mapping states to actions, possibly with functional synergy, and also enhanced robustness (and thereby learnability) <italic>via</italic> degeneracy/redundancy.)</p>
<p>In LatentSLAM (&#x000C7;atal et al., <xref ref-type="bibr" rid="B28">2021a</xref>), we proposed a bio-inspired SLAM algorithm which tries to mimic this kind of intuitive mapping. With this architecture, we built topological, graph-based maps on top of a predictive model of the world, so allowing for separation of the low-level metric actions of the robot and high-level salient paths. Instead of using raw sensory data&#x02014;or fixed features thereof (Milford et al., <xref ref-type="bibr" rid="B124">2004</xref>)&#x02014;directly as node representations, LatentSLAM learns compact state representations conditioned on the robot&#x02019;s actions, which are then used as nodes. This latent representation gives rise to a probabilistic belief space that allows for Bayesian reasoning over environmental states. Graph nodes are formed from trajectories on manifolds formed by belief distributions. That is, rather than utilizing static maps, our agents navigate through space by moving between landmarks based on expectations of which state transitions are likely to be associated with those kinds of percepts. As an underlying foundation, LatentSLAM adopts the Free Energy Principle and Active Inference (FEP-AI) framework to unify perception (i.e., localization), learning (i.e., map building) and action (i.e., navigation) as a consequence of the agent optimizing one sole objective: minimizing its (expected) free energy (Friston, <xref ref-type="bibr" rid="B54">2010</xref>; Friston et al., <xref ref-type="bibr" rid="B55">2017a</xref>). As will be described in greater detail below, we believe this is an apt description of thinking as the unfolding of a stream of consciousness, with a variety of somatic states being generated in various combinations as the agent perceives and imagines itself moving through space and time.</p>
<sec id="s2-1">
<title>Representing the world in a graph</title>
<p>Graphs form a natural way of representing relations between various sources of information in a sparse and easily traversable manner. In LatentSLAM, such a structure is used to build a high-level map from agent experiences. This experience map contains nodes consisting of a <italic>pose</italic>, i.e., the agent&#x02019;s proprioceptive information, and a <italic>view</italic> distilled from the sensory inputs. Together, the pose and view of an agent specify its unique experience: a different view in the same pose gives rise to a new experience; likewise, the same view from a different pose also constitutes a novel experience. Views generally lie on some learned compact manifold as a compressed version of one or more sensory inputs, integrated and updated through time. Links between experiences in the graph indicate possible transitions between one experience and another.</p>
<p><xref ref-type="fig" rid="F2">Figure 2</xref> provides a visual overview of how poses and views combine into an integrated experience map. The pose information allows the agent to embed the graph relative to the geometrical layout of the environment. In this case, the embedding is done in 2D-Cartesian space as the example shows a ground based, velocity-controlled mobile robot. Embedding the graph in a reference frame correlated with environment characteristics organizes observations in ways that greatly enhance inferential power, since this avoids combinatorial explosions with respect to under-constrained hypothesis spaces. That is, a given sensory impression could correspond to an unbounded number of world states (e.g., something may be big and far away, or small and nearby), but coherent perspectival reference frames allow for likely causes to be inferred by mutually-constraining relevant contextual factors.</p>
<fig id="F2" position="float">
<label>Figure 2</label>
<caption><p>The formation of an experience-map out of views and proprioceptive poses. Sensory observations first need to be integrated into views to be compared to existing experiences from the graph. The shown graph is embedded in a Cartesian reference frame extracted from the proprioceptive information.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0002.tif"/>
</fig>
<sec id="s2-1-1">
<title>Experience map</title>
<p>The experience map (or graph) provides a high-level overview of the environment. Each node in the map represents a location in the physical world where the robot encountered some interesting or novel experience. These positions are encoded in poses in a spatial reference frame, e.g., a 2D-Cartesian space, whilst the experiences themselves are expressed as implicit representations of corresponding sensory observations. When view representations change according to distances to known landmarks, this setup resembles the approach described in the classical graphSLAM algorithm (Thrun and Montemerlo, <xref ref-type="bibr" rid="B169">2006</xref>). Note that the seminal work on graph-based experience maps (Milford et al., <xref ref-type="bibr" rid="B124">2004</xref>) also used an embedding of sensory observations into a lower dimensional space. However, in contrast to our approach, these mappings were deterministic and fixed for all observations.</p>
<p>The graph is embedded in, as opposed to being expressed in, a spatiotemporal reference frame, meaning that over time stored (or inferred) poses on the map are likely to exhibit deviations from their initial recorded values as they are progressively updated. Loop-closure events trigger a graph-relaxation phase wherein current graph nodes are re-positioned to take into account the unique opportunity accompanying the closing of the loop (i.e., the creation of a closed system of node linkages allowing for updating of the entire graph through energy minimization, accompanied by more confident location-estimation through experience-trajectory converging on known landmarks). This relaxation not only affords opportunities for map refinement, but it is also necessary due to the accumulation in pose errors from odometry drift. Wheel slippage, actuator encoder errors, and other similar effects amount to a continual increase in the uncertainty of the pose estimate. These sources of error/noise are part of what makes loop-closure such a hard problem in general. However, the loose embedding of pose information in the graph (combined with associated views) allows the map building to become robust to sensor and actuator drift, thereby maintaining a consistent map of the environment.</p>
</sec>
<sec id="s2-1-2">
<title>Views</title>
<p>LatentSLAM probabilistically learns views from sensory observations by incorporating the action trajectories from which they are generated, which differentiates our architecture from similar algorithms (Milford et al., <xref ref-type="bibr" rid="B124">2004</xref>). The agent keeps track of a sample of the current belief distribution over states, which gets updated at each time-step into a new belief through variational inference. This sample constitutes either the current agent view, or a sensory-decoupled (or imagined) estimate of the environment from the latent space of the agent&#x02019;s generative model. At each time-step, the agent inputs a conjunction of the current action, sample, and current observation into its generative model. This world model then generates a new state belief distribution based on the current state sample, which functions as a source of predictions for a predictive coding perceptual architecture. At training time, the generative model is tasked with predicting future observations based on previous recordings of trajectories through the environment.</p>
</sec>
<sec id="s2-1-3">
<title>Proprioception</title>
<p>An agent needs a principled way of keeping track of its estimated <italic>pose</italic> in the local environment. That is, an agent needs a coherent way to integrate changes in its local pose according to some local reference frame. In this form of proprioception, agents can estimate the effects of certain actions on local pose information relative to adjacent portions of its environment. This aspect of embodiment is essential in enabling consistent mapping and localization through challenging terrains.</p>
<p>In LatentSLAM this is handled through the low-level generative model on the one hand, and the pose continuous attractor network (CAN) on the other hand. The generative model allows for reasoning in terms of how actions affect views: i.e., it reduces the pose to an implicit part of the latent state representation. The CAN, however, leaves pose estimation as an explicit part of the greater LatentSLAM model. It integrates successive pose estimates through time in a multidimensional grid representing the agent in terms of internally measurable quantities. In the case of a ground-based mobile robot these quantities would be the expected difference in <italic>x,y</italic> pose and relative rotation of the robot over the z-axis. Hence, for a ground-based robot the CAN would be expressed as a 3D grid, that wraps around its edges. Sufficiently large displacements along the x-axis of this grid would teleport the pose estimate back to the negative bound of the same axis. This to accommodate for traversing spaces that are larger than the number of grid cells in the CAN. The pose estimate in the CAN is represented as an activation per grid cell, the value of which determines the amount of belief the model gives to the robot being in this exact relative pose. Multiple grid cell locations can be active at any given time, indicating varying beliefs over multiple hypotheses. The highest activated cell indicates the current most likely pose. Cell activity is generated in two ways: activity is added (or subtracted) to a cell through motion and the current proprioceptive translation thereof in terms of grid-cell entries; alternatively, activity may be modified through view-cell linkage. When a view is sufficiently different from others it gets added to the experience map together with the current most likely pose. This mechanism in turn allows experiences, when encountered, to add activation into the CAN at the stored pose estimate. This process can shift, and often correct, the internal pose estimate of the agent, allowing it to compensate for proprioceptive drift.</p>
<p>This conjunction of views and poses has notable parallels with neural representations decoded from respective lateral and medial entorhinal cortices (Wang C. et al., <xref ref-type="bibr" rid="B179">2018</xref>), which constitute the predominant source of information for the hippocampal system (i.e., the experience map). It is also striking that the self-wrapping representational format for LatentSLAM poses/views recapitulates the repeated metric-spacing observed for entorhinal grid cells, whose location invariance may potentially provide a basis for knowledge-generalization and transitive inference across learning epochs and domains (Whittington et al., <xref ref-type="bibr" rid="B181">2022</xref>). We believe that such correspondences between naturally and artificially &#x0201C;designed&#x0201D; systems constitutes strong evidence in support of a SLAM perspective for understanding the H/E-S.</p>
</sec>
</sec>
<sec id="s2-2">
<title>A hierarchical generative model</title>
<p>The entirety of the LatentSLAM framework can be understood mathematically in terms of a hierarchical generative model (<xref ref-type="fig" rid="F3">Figure 3</xref>; &#x000C7;atal et al., <xref ref-type="bibr" rid="B29">2021b</xref>).</p>
<fig id="F3" position="float">
<label>Figure 3</label>
<caption><p>Overview of the hierarchical generative model. Highlighted in blue is the bottom-up sensory stream, and in pink the top-down prediction stream. As the agent moves about, it alternates between these two modes. On the one hand it will infer state information from the observations, and on the other hand it will predict future observations from inferred states.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0003.tif"/>
</fig>
<p>There are two distinct levels of reasoning, each using their own generative model to explain the dynamics of the environment at the corresponding level of abstraction. As the generative models are stacked, the higher-level model takes the states from the lower level as observations, while the lower level observes the actual environment through the agents&#x02019; sensors. Each separate generative model can be seen mathematically as representing the joint probability <inline-formula><mml:math id="M1"><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>)</mml:mo><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>)</mml:mo><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>)</mml:mo><mml:mstyle><mml:msubsup><mml:mo>&#x0220F;</mml:mo><mml:mrow><mml:mi>t</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>T</mml:mi></mml:msubsup><mml:mrow><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>)</mml:mo><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mstyle></mml:math></inline-formula>, with <italic>o</italic> relevant observations at each level; <italic>s</italic> state description, views or locations; and <italic>a</italic> possible actions at each level (either displacements in the environment or node transitions). These models only consider the generative process up until some future time horizon <italic>T</italic>. The exact instantiation of the joint probability and corresponding posterior distributions differ between each level of the hierarchy; interested readers are referred to &#x000C7;atal et al. (<xref ref-type="bibr" rid="B29">2021b</xref>) for a more thorough description of this kind of model, and some extra details are provided in the &#x0201C;<xref ref-type="app" rid="s9">Appendix</xref>&#x0201D;.</p>
<p>Action and state inference, that is finding suitable instantiations of the posteriors <inline-formula><mml:math id="M2"><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:math></inline-formula> and <inline-formula><mml:math id="M3"><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:math></inline-formula> is achieved through Active Inference as understood in the context of the Free Energy Principle (FEP-AI; Friston et al., <xref ref-type="bibr" rid="B55">2017a</xref>). In FEP-AI, intelligent agents are governed by predictive models that attempt to minimize variational free energy through updating of internal beliefs and modification of external states through enaction (hence, active inference). When implementing similar mechanisms in artificial agents such as robots, inference is amortized&#x02014;cf. planning as inference <italic>via</italic> memorization of successful policies (Gershman and Goodman, <xref ref-type="bibr" rid="B65">2014</xref>; Dasgupta et al., <xref ref-type="bibr" rid="B38">2018</xref>)&#x02014;through training variational auto-encoders (VAEs) with objective functionals that minimize (variational) free energy. The model consists of three neural networks, with each representing a conditioned probability distribution that outputs different multivariate Gaussian distributions based on differing inputs. These inputs can take the form of different sensor modalities such as lidar or camera; or they might be actions depending on the flow of information between neural networks.</p>
<p>State inference emerges naturally from the neural network architecture and training method. Active inference, however, leverages the trained network to create a set of imaginary trajectories from which optimal action sequences can be selected through expected free energy minimization. The model is trained on a free-energy objective functional, wherein it is tasked with minimizing Bayesian surprise&#x02014;in the form of KL divergence&#x02014;between prior and posterior estimates on the state. In this hierarchical generative model, there are two sources of information flowing in two directions at any given time. Sensory observations flow upwards from the real world through the lower-level pose-view model towards the higher-level mapping model. Predictions flow in the opposite direction, originating in the higher-level mapping model and flowing down into the environment through the predicted actions in the lower-level pose-view model.</p>
<sec id="s2-2-1">
<title>Bottom-up sensory streams</title>
<p>The agent observes the world through sensors as it moves around the environment. At the lower-level of the generative model, the agent actively tries to predict future incoming sensory observations (<xref ref-type="fig" rid="F3">Figure 3</xref>, blue arrow indicating informational flow). The agent actively abstracts away distractor elements in the observations as every observation gets encoded into a latent vector (i.e., views). As this encoding is generated from actions, observations and the previous latent state, the model considers the effects that history and actuation (or enaction) have on the environment. The abstracted view then gets fed into the higher-level mapping model which actively predicts the next experience from the previous one, taking into account the way the agent is presently traversing the experience graph and its current view.</p>
</sec>
<sec id="s2-2-2">
<title>Top-down prediction streams</title>
<p>At the same time, decisions flow down from the higher-level to the lower-level of the generative model (<xref ref-type="fig" rid="F3">Figure 3</xref>, red arrow indicating informational flow). As a new navigational goal is set, the desired trajectory through the experience map is generated. Each node transition denotes one or more displacements in the real environment. While traversing the graph, the agent sets the views associated with the visited nodes as planning targets for the lower-level model. At the hierarchically higher level, the agent samples multiple state estimates from the current belief distribution over states and leverages the predictive capabilities of the generative model to envision possible outcomes up until some fixed planning horizon (Friston et al., <xref ref-type="bibr" rid="B57">2021</xref>). From all these imagined future outcomes, the optimal one is selected after which the process repeats itself until the target view and pose are met. In turn the next node in the map trajectory is used to generate a new lower-level planning target.</p>
</sec>
</sec>
<sec id="s2-3">
<title>Creating the map</title>
<p>As mentioned earlier, once an agent encounters a sufficiently different experience, a new node is inserted in the experience map with the current view and pose. This process results in an ever-growing map of the environment as the agent explores the world. Hence, there needs to be a principled way to determine whether a view is new or is already known to the agent. As with many such problems, the solution presents itself in the form of a distance function in some well-defined mathematical space. A well-chosen distance function will allow the agent to not only build a consistent map of its environment but also account for loop-closure events.</p>
<sec id="s2-3-1">
<title>Distance functions</title>
<p>Many SLAM algorithms use the Euclidian distance between poses to determine whether the current observation and pose are known in the map or represent some novel experience. However, due to the inherent drift in proprioception in many real-world scenarios, often this distance metric between poses and/or observations is not enough. Alternatives present themselves depending on the form of the probabilistic framework upon which the algorithm is based.</p>
<p>As described in Section &#x0201C;A hierarchical generative model&#x0201D;, LatentSLAM learns a latent state space manifold over sensory inputs (i.e., camera images). This enables the agent to not only evaluate Euclidian distances between poses, but also distances between two sensory inputs in the latent statistical manifold. To evaluate distances inside the manifold we need an appropriate distance measure. One notable candidate is the Fisher information metric (Costa et al., <xref ref-type="bibr" rid="B33">2015</xref>), which represents informational differences between measurements. In our context, this means that two measurements are only encoded in different nodes of the experience map when there is sufficiently more information in one compared to the other. For example, moving in a long, white hallway with little texture will not yield a change in information in the latent manifold, hence this will be mapped on a single experience node. Only when a salient feature appears, for example a door, there will be enough sensory information to encode a new experience. In such a scenario however, methods building a metric map will likely fail as it is impossible to accurately track one&#x02019;s position in a long, textureless hallway.</p>
<p>Note how the Fisher information metric is also related to the free energy minimization objective used for manifold learning. Concretely, if we take <inline-formula><mml:math id="M4"><mml:mi>K</mml:mi><mml:mi>L</mml:mi><mml:mo>[</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>x</mml:mi><mml:mo>+</mml:mo><mml:mi>&#x003B4;</mml:mi><mml:mi>x</mml:mi><mml:mo>]</mml:mo></mml:math></inline-formula> with x a probability distribution and x + &#x003B4;x a distribution close to x we get that if <inline-formula><mml:math id="M5"><mml:mi>&#x003B4;</mml:mi><mml:mi>x</mml:mi><mml:mo>&#x02192;</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> then <inline-formula><mml:math id="M6"><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi><mml:mo>[</mml:mo><mml:mi>x</mml:mi><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>x</mml:mi><mml:mo>+</mml:mo><mml:mi>&#x003B4;</mml:mi><mml:mi>x</mml:mi><mml:mo>]</mml:mo><mml:mo>&#x02192;</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mi>F</mml:mi><mml:mo>(</mml:mo><mml:mi>x</mml:mi><mml:mo>)</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mi>&#x003B4;</mml:mi><mml:mi>x</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mrow></mml:math></inline-formula>. In other words, for infinitesimally small differences between distributions the KL divergence approaches the Fisher information metric (Kullback, <xref ref-type="bibr" rid="B105">1959</xref>). This can be interpreted as integrating the agent&#x02019;s Bayesian surprise over infinitesimal timesteps to measure the &#x0201C;information distance&#x0201D; traveled.</p>
<p>However, since the Fisher information metric and KL divergence do not have closed form solutions for many types of probability distributions, we use cosine similarity between the modes of the distribution as a numerical stable approximation function. Therefore, LatentSLAM evaluates <italic>information</italic> differences between experiences instead of differences in exact environmental observations.</p>
</sec>
<sec id="s2-3-2">
<title>Node creation and loop-closures</title>
<p>When a salient landmark is identified, but the agent cannot find a single node in the graph which matches closely enough with the current view or pose, a new node must be inserted in the graph. Alternatively, if the current experience matches both on pose and view, a loop-closure is registered, but the agent leaves the map as is. In order to determine whether two experiences match, LatentSLAM uses a matching threshold <italic>&#x003B8;</italic>. Both the pose and view of an experience is matched to experiences stored in the map. <xref ref-type="fig" rid="F4">Figure 4</xref> gives a visual overview of the various possible matching cases. If neither view nor pose match with any possible stored view or pose, a new experience is created and inserted into the map, as is shown in panel A. When the view and the pose both match, a loop-closure has occurred and the current experiences shifts to the stored experience, at which point a graph-relaxation phase is initiated. If the current observed experience matches with a stored experience further along the path, a relocation is required, and the estimate is shifted further along the path in the graph. Finally, if the current pose estimate matches a stored experiences pose, but does not find the corresponding matching view, a new node is inserted at the same location. This allows the agent to keep track of varying views of the same landmark throughout the map.</p>
<fig id="F4" position="float">
<label>Figure 4</label>
<caption><p>Different cases for illustrating the map updating procedure. For each case we show the map (top), pose (bottom right), and views (bottom left) in their own respective spaces. The current active map node is always indicated in red and the current pose or view value is the final one in the sequence. In case <bold>(A)</bold>, the agent encounters a new experience which is not within the threshold boundary of both the poses and views, so a new node is inserted into the map. Case <bold>(B)</bold> demonstrates a loop-closure event, where both the pose and view are within their respective thresholds, blue indicating the area pose information demarcated by its threshold &#x003B8;, pink indicating the area covered by the view threshold. If both view and pose are within the threshold boundary (blue and pink) of the next node (case <bold>C</bold>), the estimate is shifted to the next node, skipping the current node in the graph. Finally, case <bold>(D)</bold> shows a matching pose without a matching view, requiring a new node insertion in the map.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0004.tif"/>
</fig>
</sec>
<sec id="s2-3-3">
<title>Graph-relaxation</title>
<p>As nodes are inserted throughout the graph, each new pose observation is subjected to sensor drift, leading to increasing errors for remembered poses. To address this issue, whenever a loop-closure event is encountered, graph-relaxation is applied to the experience graph. The algorithm treats every node in the graph as being connected with its neighbors as if suspended by weighted springs. The strength of each spring is related to the pose distances between the nodes. Then the algorithm reduces the total &#x0201C;energy content&#x0201D; of the graph by shifting the poses in such a way that the sum of the forces is minimized. This approach is similar to graph-relaxation in similar SLAM algorithms (Thrun et al., <xref ref-type="bibr" rid="B170">2005</xref>; Thrun and Montemerlo, <xref ref-type="bibr" rid="B169">2006</xref>). Graph-relaxation has the effect of morphing the shape of the pose embedding of the map to reflect the actual topology of the environment.</p>
</sec>
<sec id="s2-3-4">
<title>Setting the threshold</title>
<p>Because the matching threshold has a significant impact on the shape and content of the map, it is one of the more important hyper parameters of LatentSLAM. For every environment there is an optimally tuned threshold parameter &#x003B8;<sup>&#x022C6;</sup>. A matching threshold much lower than this optimal value will result in a mapping procedure with almost no loop-closure events. The map will contain every tiny permutation in views and poses as a separate node and will be insufficient in countering odometry drift. Conversely, if the threshold is set much higher than &#x003B8;<sup>&#x022C6;</sup>, the mapping procedure will lump everything together in a small cluster of nodes. <xref ref-type="fig" rid="F5">Figure 5</xref> provides a visual example of the effects of the matching threshold on the resulting map.</p>
<fig id="F5" position="float">
<label>Figure 5</label>
<caption><p><bold>(A)</bold> Metric map of our lab environment, with some example camera views at the marked locations. The views at different locations (i.e., 3 and 5 or 1 and 4) appear very similar, making this a hard environment for visual SLAM. Panels <bold>(B&#x02013;D)</bold> show three possible mappings of the trajectory shown in red in panel <bold>(A)</bold>. <bold>(B)</bold> With a well-tuned threshold &#x003B8;<sup>&#x022C6;</sup>, our LatentSLAM algorithm recovers a topological map of the environment, clearly separating the four different aisles. <bold>(C)</bold> If the threshold is too stringent (<italic>&#x003B8;</italic> &#x0226A; &#x003B8;<sup>&#x022C6;</sup>), loop-closure events are not detected, as every view is seen as unique, and the map becomes incorrect as proprioception errors (the main source of mapping errors) add up. <bold>(D)</bold> When the threshold is too relaxed (&#x003B8; &#x0226B; &#x003B8;<sup>&#x022C6;</sup>), similar looking aisles are mapped onto each other due to false positive loop-closures.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0005.tif"/>
</fig>
</sec>
</sec>
<sec id="s2-4">
<title>Navigation</title>
<p>Navigation is achieved through a dual process of first selecting nodes in the higher-level experience map, and then setting the node-views as targets for the active inference based lower-level action planner. In the first phase a path is generated through the graph connecting the current node and the target node. The final node is selected based on the visual reconstruction of the stored view. That is, the user of the system selects the view they want the system to have at a certain place. Once an experience trajectory is found, the agent can start acting in the environment. As each consecutive experience node is separated from its neighbors by a finite set of actions, a sequence of target views are extracted from the trajectory, forming the imaginary trajectory the agent may (approximately) bring about through overt enaction. The (active inference based) lower-level generative model is then capable of filling in further gaps between imagination and reality through additional planning.</p>
<p>At each step, the agent takes into account its current view and imagined trajectory up until the next target view. This imagination process leverages the learned intricacies and dynamics of the environment to compensate for the potential stochasticity in the interaction. Once a suitable trajectory is imagined at the higher-level, the agent enacts the first step of the trajectory, after which the lower-level planning process is repeated. These step-by-step transitions through the environment make the agent more robust against unexpected changes in the environment, which it might not have captured during model training.</p>
<p>Crucially, imagined trajectories are scored using a common objective functional of expected free energy, both on the higher level of proposed paths through the experience map/graph, as well as on the lower level of inferring actions capable of transitioning the agent between nodes (&#x000C7;atal et al., <xref ref-type="bibr" rid="B29">2021b</xref>). That is, trajectories are more likely to be selected if they bring the agent towards preferred outcomes and/or resolve uncertainty about the environment. Hence, action selection comprises a trade-off between instrumental value and epistemic value, which are naturally balanced according to a singular criterion of variational free energy. To provide an example in navigation, this tradeoff between the extrinsic value of realizing prior preferences and the intrinsic value of novel information could respectively manifest as either selecting a safer route <italic>via</italic> well-recognized landmarks or instead taking an unknown (but potentially shorter) path through a dark forest. Further, the discovery of such shortcut paths through space speaks to the kinds of flexible inference and learning that first motivated construals of the hippocampal system in terms of cognitive maps (Tolman, <xref ref-type="bibr" rid="B173">1948</xref>), and in a G-SLAM context could be thought of as a way of understanding a core aspect of intelligence in the form of creative insight. And in the context of AI, such creative cognition may afford the creation of much sought after capacities for powerful inferences and one-shot learning in novel situations, which if realized could greatly enhance autonomous functioning.</p>
</sec>
<sec id="s2-5">
<title>Limitations and future directions</title>
<p>There are several limitations with the current implementation of LatentSLAM. First, the experience graph is incapable of merging nodes with similar views and approximately similar poses into a single unified stochastic node. This in turn leads the algorithm to generate an increasing number of nodes for each pass through a single location. Second, the lower-level planning is limited to the sequence length encountered during training, and as such the model is incapable of imagining coherent outcomes beyond this time horizon. This brings us to a potentially substantial limitation of LatentSLAM, in that the lower-level generative model needs to be pre-trained on the types of observations it can encounter in the environment. That is, when the target views are unknown, imaginative planning may be required wherein agents visualize an assortment of potentially rewarding (counterfactual) action-outcome pairings. Going forward, we aim to alleviate these constraints by adapting the training procedure to accommodate online learning, allowing the agent to learn to imagine whilst exploring (Safron and Sheikhbahaee, <xref ref-type="bibr" rid="B153">2021</xref>), which may be understood as a kind of deep tree search through policy space <italic>via</italic> Markov chain Monte Carlo sampling (Dohmatob et al., <xref ref-type="bibr" rid="B45">2020</xref>; Friston et al., <xref ref-type="bibr" rid="B57">2021</xref>), with potentially relevant insights obtainable from advances in Bayesian meta-reinforcement learning (Schmidhuber, <xref ref-type="bibr" rid="B155">2020</xref>).</p>
<p>To extend the biological fidelity (and potential functional capacities) of our architecture, we intend on attempting to recapitulate particular empirical phenomena such as the specific conditions under which new place fields are introduced or pruned away in mammalian nervous systems. For example, the insertion of environmental barriers or encountering corridors leading to identical rooms may induce duplication of sensory views at different locations, which may speak to the phenomenon of place-field duplication&#x02014;which in a LatentSLAM context would involve node creation (Lever et al., <xref ref-type="bibr" rid="B110">2009</xref>; Spiers et al., <xref ref-type="bibr" rid="B160">2015</xref>)&#x02014;yet where these representations may also disappear with further learning. This kind of pruning of nodes&#x02014;potentially involving &#x0201C;artificial sleep&#x0201D;&#x02014;could be a valuable addition to latent SLAM&#x02019;s functionality, and may potentially be understood as an instance of Bayesian model reduction with respect to structure learning (Friston et al., <xref ref-type="bibr" rid="B58">2019</xref>), so providing another means by which capacities for creative insight (in terms of discovering more elegant models) may be realized in AI.</p>
<p>With respect to these particular phenomena involving challenging ambiguous situations, we may speculate that highly-similar-but-subtly-different pose/experience map combinations could represent instances associated with high levels of prediction-error generation due to a combination of highly precise priors and contradictory information. Speculatively, this could be understood as an example of &#x0201C;hard negative mining&#x0201D; from a contrastive learning perspective (Mazzaglia et al., <xref ref-type="bibr" rid="B122">2022</xref>). As will be described in greater detail below, such highly surprising events may be similar to experiences of doorway or threshold crossing, and may trigger the establishment of event-boundaries <italic>via</italic> frame-resetting and spatial-retiling. Speculatively, the assignment of particular content to particular rooms in &#x0201C;memory palaces&#x0201D; could be understood as a necessary part of the art of remembering due to this phenomenon potentially interfering with semantic &#x0201C;chunking&#x0201D; (or coherent co-grounding). In attempting to apply LatentSLAM to cognition more generally, it could potentially be fruitful to look for generalizations of these phenomena with respect to seemingly non-spatial domains, such as with respect to creativity and insight learning problems in human and non-human animals.</p>
<p>Finally, and with further relevance to realizing capacities for imaginative planning and creative cognition, we will attempt to include phenomena such as sharp-wave ripples and forward/reverse replay across hippocampal place fields (Ambrose et al., <xref ref-type="bibr" rid="B3">2016</xref>; de la Prida, <xref ref-type="bibr" rid="B40">2020</xref>; Higgins et al., <xref ref-type="bibr" rid="B85">2020</xref>; Igata et al., <xref ref-type="bibr" rid="B92">2020</xref>), which have been suggested to form a means of efficient structural inference over cognitive graphs (Evans and Burgess, <xref ref-type="bibr" rid="B50">2020</xref>). With respect to our goal-seeking agents, forward replay may potentially help to infer (and prioritize) imagined (goal-oriented) trajectories, and reverse replay may potentially help with: (a) back-chaining from goals; (b) increasing the robustness of entailed policies <italic>via</italic> regularization, and (speculatively), and (c) allowing for a punishment mechanism <italic>via</italic> inverted orderings with respect to spike-timing-dependent-plasticity. In these ways, not only may a G-SLAM approach allow for deeper understanding of aspects of biological functioning, but attempting to reverse engineer such properties in artificial systems may provide potentially major advances in the development of abiotic autonomous machines.</p>
</sec>
</sec>
<sec id="s3">
<title>The Hippocampal/Entorhinal System (H/E-S)</title>
<p>The hippocampal/entorhinal system (H/E-S) represents a major transition in evolution (Gray and McNaughton, <xref ref-type="bibr" rid="B68">2003</xref>; Striedter, <xref ref-type="bibr" rid="B163">2004</xref>), with homologs between avian and mammalian species suggesting its functionality becoming established at least 300 million years ago (Suryanarayana et al., <xref ref-type="bibr" rid="B165">2020</xref>), with some of its origins potentially traceable to over 500 million years in the past with the Cambrian explosion (Feinberg and Mallatt, <xref ref-type="bibr" rid="B51">2013</xref>), and potentially even earlier. It may be no overstatement to suggest that the H/E-S represents the core of autonomy and cognition in the vertebrate nervous system, with similar organizational principles enabling the potentially surprising degrees of intelligence exhibited by insects (Ai et al., <xref ref-type="bibr" rid="B2">2019</xref>; Honkanen et al., <xref ref-type="bibr" rid="B89">2019</xref>).</p>
<p>While their precise functional roles continue to be debated, the discovery of hippocampal place cells and entorhinal grid cells was a major advance in our understanding of how space is represented in the brain (O&#x02019;Keefe and Nadel, <xref ref-type="bibr" rid="B131">1978</xref>; Hafting et al., <xref ref-type="bibr" rid="B73">2005</xref>). Similarly important was the discovery of head direction cells in rats, which were found to activate according to moment-to-moment changes in head direction (Sharp PE, 2001). Place cells have been modeled as representing a &#x0201C;predictive map&#x0201D; based on &#x0201C;successor representations&#x0201D; of likely state transitions for the organism (Stachenfeld et al., <xref ref-type="bibr" rid="B161">2017</xref>), and grid cells have been understood as linking these graphs (or Markov chains) to particular events happening within a flexible (multi-level) metric tiling of space, so allowing for estimates of locations <italic>via</italic> path integration over trajectories. While we need not resolve the precise correspondences between these cell types here, there are intriguing developmental observations of place cells acquiring more mature functioning prior to grid cells, both of which likely depend on head-direction cells for their emergence (Canto et al., <xref ref-type="bibr" rid="B27">2019</xref>; Mulders et al., <xref ref-type="bibr" rid="B128">2021</xref>). In other contexts, place-specific cells have been found to index temporal sequence information, potentially functioning as &#x0201C;time cells&#x0201D; (Pastalkova et al., <xref ref-type="bibr" rid="B135">2008</xref>), so providing a further means by which the H/E-S may provide foundations for coherent sense-making and adaptive behavior through the spatiotemporal organization of organismic information (Eichenbaum, <xref ref-type="bibr" rid="B47">2014</xref>; Umbach et al., <xref ref-type="bibr" rid="B175">2020</xref>).</p>
<p>In addition to place, time and grid cells, a variety of additional specialized cell types have been observed in the H/E-S. While it was previously assumed that these features represent innate inductive biases (Zador, <xref ref-type="bibr" rid="B186">2019</xref>), increasing evidence suggests these specialized cell types may arise from experience-dependent plasticity, including models with similar architectural principles to the ones described here. In recent work from DeepMind (Uria et al., <xref ref-type="bibr" rid="B177">2020</xref>), a recurrent system was used to predict sequences of visual inputs from (the latent space) of variational autoencoders. A natural mapping from egocentric information to an allocentric spatial reference frame was observed, including the induction of specialized units with response properties similar to head direction, place, band, landmark, boundary vector, and egocentric boundary cells. Similar results have been obtained with the Tolman-Eichenbaum machine (Whittington et al., <xref ref-type="bibr" rid="B183">2020</xref>), including demonstrations of reliable cell remapping, so enabling transfer learning across episodes with the potential for the creative (re-)combination of ideas and inferential synergy. Other intriguing work on the emergence of specialized H/E-S functions through experience comes from work on &#x0201C;clone-structured cognitive graphs&#x0201D;, where various aspects of spatial maps are parsimoniously formed as efficient (and explanatory) representations of likely state transitions through the duplication and pruning of nodes in a dynamically-evolving sequence memory (George et al., <xref ref-type="bibr" rid="B64">2021</xref>). While this evidence suggests a potentially substantial amount of experience-dependence in the emergence of the &#x0201C;zoo&#x0201D; of specialized neurons for spatiotemporal navigation, the development of these features still involve clear innate inductive biases (Zador, <xref ref-type="bibr" rid="B186">2019</xref>). Specifically, specialized pathways ensure that the H/E-S receives neck-stretch-receptor information from the mamillary bodies and yaw/pitch/roll information from the vestibular apparatus (Papez, <xref ref-type="bibr" rid="B133">1937</xref>; Wijesinghe et al., <xref ref-type="bibr" rid="B184">2015</xref>), so providing bases for sensor-orientation with respect to head-direction and thereby the foundations of egocentric perspective.</p>
<sec id="s3-1">
<title>H/E-S as orchestrator of high-level cognition</title>
<p>While the association of the hippocampus with autobiographical and declarative memory is well-documented (MacKay, <xref ref-type="bibr" rid="B117">2019</xref>), the H/E-S is increasingly being recognized as foundational for cybernetic functioning on multiple scales. A more thorough understanding of the principles governing the H/E-S and its interactions with the rest of the brain may allow us to understand how such sophisticated cognition and behavior is demonstrated by biological organisms (Todd and Gigerenzer, <xref ref-type="bibr" rid="B172">2012</xref>). Even more, such knowledge may also allow us to find ways of reproducing these functionalities in artificial intelligences.</p>
<p>The hippocampus is usually described in terms of a &#x0201C;trisynaptic circuit&#x0201D; (Andersen, <xref ref-type="bibr" rid="B4">1975</xref>), with multiple specialized subsystems that interact with functional synergy. The dentate gyrus is the primary input area to the hippocampus from entorhinal cortex, with densely packed cells for pattern separation, so allowing for multiple separable/orthogonal representations. Much of this information then feeds into CA3, characterized by highly recurrent circuits with tight loops for dynamic pattern completion. This information is then routed to CA1, characterized by sparse and stable representations, representing the primary output area of the hippocampus and interface with the rest of the brain. Taken together, the subfields of the hippocampal complex allow multiple sources of information to be not just independently stored in memory, but also creatively combined within and across experiences, so affording powerfully synergistic functionalities such as transfer learning and generalizable knowledge. Intriguingly, some evidence suggests that humans might be unique in exhibiting less pattern separation in their hippocampal subfields, potentially contributing to&#x02014;and possibly being a function of&#x02014;cognition involving high degrees of abstraction/invariance (Liashenko et al., <xref ref-type="bibr" rid="B111">2020</xref>; Mok and Love, <xref ref-type="bibr" rid="B126">2020</xref>; Quiroga, <xref ref-type="bibr" rid="B140">2020</xref>).</p>
<p>Indeed, the functional properties enabled by the H/E-S represent the state of the art in machine learning for real world applications such as autonomous vehicles and artificial intelligences attempting to realize higher-order reasoning abilities (Ball et al., <xref ref-type="bibr" rid="B5">2013</xref>; Bengio, <xref ref-type="bibr" rid="B14">2017</xref>; Hassabis et al., <xref ref-type="bibr" rid="B75">2017</xref>; Kaplan and Friston, <xref ref-type="bibr" rid="B98">2018</xref>; Shang et al., <xref ref-type="bibr" rid="B157">2019</xref>; Eppe et al., <xref ref-type="bibr" rid="B49">2020</xref>; Greff et al., <xref ref-type="bibr" rid="B69">2020</xref>; Parascandolo et al., <xref ref-type="bibr" rid="B134">2020</xref>; Shamash et al., <xref ref-type="bibr" rid="B156">2020</xref>; Friston et al., <xref ref-type="bibr" rid="B57">2021</xref>). This is a bold claim for a system that might be describable as an association machine or spatial mapper, which when lesioned tends to leave much of higher-order intelligence intact. However, closer inspection of hippocampal patients reveals its essential contributions to complex reasoning, emotion, and general behavioral flexibility (MacKay, <xref ref-type="bibr" rid="B117">2019</xref>). It should also be kept in mind that while someone might be able to maintain certain functions after losing a system in adulthood&#x02014;as this functionality may become distributed throughout the rest of the brain with experience&#x02014;the congenital absence of a working H/E-S might be a wholly different manner, potentially precluding the bootstrapping of any kind of sophisticated cognition or coherent world modeling whatsoever (Safron, <xref ref-type="bibr" rid="B150">2021a</xref>). Further, principles of association may be surprisingly powerful if they are capable of representing specific relational structures as particular graphs/networks, which are increasingly being recognized as powerful learning and inferential systems (Gentner, <xref ref-type="bibr" rid="B63">2010</xref>; Zhou et al., <xref ref-type="bibr" rid="B188">2019</xref>; Crouse et al., <xref ref-type="bibr" rid="B36">2020</xref>). Some have even suggested that the mapping abilities of the H/E-S may provide bases for a potential core functionalities associated with conscious processing in the form of &#x0201C;unlimited associative learning&#x0201D; (Birch et al., <xref ref-type="bibr" rid="B18">2020</xref>), in which knowledge may be flexibly aggregated across experiences (Mack et al., <xref ref-type="bibr" rid="B115">2018</xref>, <xref ref-type="bibr" rid="B116">2020</xref>; Mok and Love, <xref ref-type="bibr" rid="B125">2019</xref>)&#x02014;cf. transfer and meta-learning (Wang J. X. et al., <xref ref-type="bibr" rid="B180">2018</xref>; Dasgupta et al., <xref ref-type="bibr" rid="B39">2019</xref>; Kirsch and Schmidhuber, <xref ref-type="bibr" rid="B100">2020</xref>). The central role of the H/E-S for higher-order cognition is further understandable in light of the fact that many (and possibly most) aspects of intelligence can be described as search processes (Conant and Ashby, <xref ref-type="bibr" rid="B32">1970</xref>; Hills et al., <xref ref-type="bibr" rid="B87">2010</xref>), which might be even more clearly apparent if we think of the possibility of spatializing abstract domains such as complex feature spaces (Eichenbaum, <xref ref-type="bibr" rid="B48">2015</xref>; Whittington et al., <xref ref-type="bibr" rid="B182">2018</xref>), or even time (Howard, <xref ref-type="bibr" rid="B91">2018</xref>; Gauthier et al., <xref ref-type="bibr" rid="B62">2019</xref>).</p>
<p>The H/E-S represents both the developmental foundation and functional apex of the cortical hierarchy (Hawkins and Blakeslee, <xref ref-type="bibr" rid="B79">2004</xref>; Barron et al., <xref ref-type="bibr" rid="B7">2020</xref>). In predictive processing models of the brain&#x02014;e.g., the variational autoencoder framework described here&#x02014;observations not predicted at lower levels eventually reach the entorhinal cortex and hippocampus. We propose the H/E-S allows these high-level prediction-errors to be temporarily encoded and organized with spatiotemporal and abstract relational structure for informational synergy. Indeed, on a high-level of abstraction, the H/E-S can be considered to be a kind of Kalman variational autoencoder that combines heterogeneous forms of (precision-weighted) information for SLAM in generalized state/phase space (Fraccaro et al., <xref ref-type="bibr" rid="B53">2017</xref>; Zhang et al., <xref ref-type="bibr" rid="B187">2017</xref>). Alternatively framed, the cortical predictive hierarchy can be viewed as hierarchical Kalman filtering all the way up and all the way down (Friston, <xref ref-type="bibr" rid="B54">2010</xref>). Along these lines, it is notable that the H/E-S itself may operate in a manner that reflects more general principles of cortical predictive processing. With canonical microcircuits for predictive coding, predictions are associated with deep pyramidal neurons and alpha/beta frequencies, and prediction-errors are associated with superficial pyramidal neurons and gamma frequencies (Bastos et al., <xref ref-type="bibr" rid="B10">2012</xref>, <xref ref-type="bibr" rid="B9">2020</xref>). Consistently with the H/E-S involving predictive processing, novel information (i.e., prediction errors) induce activation of superficial pyramidal neurons for entorhinal cortex, dentate, and CA3, and recollection (i.e., predictions) are associated with activations in deep pyramidal neurons for CA1 and entorhinal cortices (Maass et al., <xref ref-type="bibr" rid="B114">2014</xref>). Also consistently with a predictive processing account, another study observed superficial place cells in CA1 responding (<italic>via</italic> a rate code) in cue poor-environments, and deep pyramidal neurons responding (<italic>via</italic> a phase code) in cue-rich environments, where we might respectively expect either prediction-errors or predictions to predominate (Sharif et al., <xref ref-type="bibr" rid="B158">2020</xref>).</p>
<p>From a predictive coding perspective, the hippocampus is a strange kind of cortex, not only because of its particular cytoarchitectonic properties (e.g., 3 vs. 6 layers), but also because of its connectomic centrality. Some proposals have suggested that memory recall may arise from &#x0201C;fictive prediction errors&#x0201D; (Barron et al., <xref ref-type="bibr" rid="B7">2020</xref>)&#x02014;a perhaps somewhat counter-intuitive suggestion, in that the hippocampus is considered to be the top of the cortical heterarchy, and hence would be expected to only provide descending predictions&#x02014;so providing a source of training signals for optimizing generative models of the world without sensory data, as well as affording stimulus-independent learning and imaginative planning. This is consistent with work from DeepMind in which the hippocampus is described as operating according to principles of &#x0201C;big loop recurrence&#x0201D;, where its outputs can be recirculated as inputs for offline learning and counterfactual processing (Koster et al., <xref ref-type="bibr" rid="B103">2018</xref>). Indeed, the H/E-S may not only provide sources of predictions for the neocortex, but potentially prediction-errors for itself, possibly by parameterizing simulations from cortical generative models (Higgins et al., <xref ref-type="bibr" rid="B85">2020</xref>). Further, recent evidence regarding episodic memory formation and retrieval suggests that interactions between cortex and the H/E-S may reflect the roles of various frequency bands in predictive coding, or &#x0201C;routing&#x0201D; (Griffiths B. J. et al., <xref ref-type="bibr" rid="B70">2019</xref>; Bastos et al., <xref ref-type="bibr" rid="B9">2020</xref>). In this work, neocortical alpha/beta (8&#x02013;20 Hz) power decreases reliably correlated with subsequent hippocampal fast gamma (60&#x02013;80 Hz), and hippocampal slow gamma (40&#x02013;50 Hz) power, potentially indicative of a trading off between predictions and prediction errors. However, this is somewhat different than the standard predictive coding account attributed to the cortex more generally, in that gamma frequency involvement may support the aforementioned idea that hippocampal reactivation of memories involve &#x0201C;fictive prediction errors&#x0201D; (Barron et al., <xref ref-type="bibr" rid="B7">2020</xref>), rather than a suppressive explaining away.</p>
<p>In contrast to other slow rhythms, hippocampal theta oscillations may indicate enhancement of observations <italic>via</italic> cross-frequency phase coupling (Canolty and Knight, <xref ref-type="bibr" rid="B26">2010</xref>), potentially providing a basis for high-level action and attentional selection. Along these lines, the ability of theta-oscillations to select and orchestrate cortical ensembles at gamma frequencies may provide a role for the hippocampal system as a comparator, enabling contrasting between percepts, whether based on observations or imagination (Safron, <xref ref-type="bibr" rid="B151">2021b</xref>). Opposite phase relations between CA1 and CA3 (Tingley and Buzs&#x000E1;ki, <xref ref-type="bibr" rid="B171">2018</xref>) are suggestive, potentially indicating both a kind of predictive coding within the hippocampal system, and possibly also instantiating and orchestrating the formation and contrasting of corresponding cortical ensembles as alternating phases of duty cycles for theta oscillations (Heusser et al., <xref ref-type="bibr" rid="B84">2016</xref>; Kunz et al., <xref ref-type="bibr" rid="B106">2019</xref>). Indeed, the entertainment of counterfactuals might not only depend on a cortical hierarchy of sufficient size to support an inner loop separable from immediate engagement with the sensorium (Buckner and Krienen, <xref ref-type="bibr" rid="B22">2013</xref>), but also a working H/E-S to stabilize ensembles associated with novel (due to being non-actual) possibilities (Hassabis et al., <xref ref-type="bibr" rid="B77">2007</xref>). In this way, in conjunction with the rest of the cortex, the H/E-S could be viewed as an energy-based self-supervised contrastive learner (Mazzaglia et al., <xref ref-type="bibr" rid="B122">2022</xref>), which may enable a substantial amount of adaptive-autonomous behavior if (variational) free-energy/prediction-error is being minimized with respect to divergences between goals and present estimated states (Hafner et al., <xref ref-type="bibr" rid="B72">2020</xref>; Safron, <xref ref-type="bibr" rid="B151">2021b</xref>).</p>
<p>It has recently been suggested by researchers at Numenta (a biologically-inspired AI company) that the principles (and particular cellular adaptations such as grid cells) involved in H/E-S functioning&#x02014;e.g., allocentric object modeling (Sabour et al., <xref ref-type="bibr" rid="B144">2017</xref>; Kosiorek et al., <xref ref-type="bibr" rid="B101">2019</xref>)&#x02014;may be recapitulated throughout the entire neocortex (Hawkins et al., <xref ref-type="bibr" rid="B80">2019</xref>). The idea that the H/E-S may represent a template for understanding the neocortex is not unreasonable, since while it is referred to as &#x0201C;subcortical&#x0201D;, it is technically composed of cortical tissue (Insausti et al., <xref ref-type="bibr" rid="B93">2017</xref>). Along these lines, not only is the H/E-S topologically central as a &#x0201C;convergence divergence zone&#x0201D; (Damasio, <xref ref-type="bibr" rid="B37">2012</xref>) and hub for &#x0201C;semantic pointers&#x0201D; (Blouw et al., <xref ref-type="bibr" rid="B20">2016</xref>), but it is also primary from an evolutionary (as archaecortex/periallocortex) and developmental perspective.</p>
<p>Modeling based on object-centered reference frames may be a broader property of the neocortex (Hawkins, <xref ref-type="bibr" rid="B78">2021</xref>). However, we believe that such coherent perspectives may depend on being able to conduct active inference and learning with sufficient degrees of independence from other modeling/control processes (Thomas et al., <xref ref-type="bibr" rid="B168">2017</xref>, <xref ref-type="bibr" rid="B167">2018</xref>). That is, we suggest that for emergent modules to have H/E-S properties, they must be able to achieve informational closure with sufficient rapidity that they can both independently inform and be informed by action-perception cycles with respect to particular effector-sensor systems. For example, the establishment of such independently controllable factors may be the case for large macrocolumns such as rodent whisker barrels, but potentially not for ocular dominance columns. To the extent that hippocampal and entorhinal cell-types are found more generally throughout the cortex (Long and Zhang, <xref ref-type="bibr" rid="B113">2021</xref>), we suggest that it remains ambiguous as to whether this reflects G-SLAM constituting a common cortical algorithm, or whether such representations are induced over the course of development <italic>via</italic> integrative functioning involving the H/E-S.</p>
</sec>
<sec id="s3-2">
<title>The H/E-S as sense-maker and value integrator/realizer</title>
<p>Switching between conceptual scenes involves ramping of hippocampal activity, followed by high-frequency signaling with the cortex as a new frame of sense making is established (de la Prida, <xref ref-type="bibr" rid="B40">2020</xref>; Karimi Abadchi et al., <xref ref-type="bibr" rid="B99">2020</xref>; O&#x02019;Callaghan et al., <xref ref-type="bibr" rid="B130">2021</xref>). Theoretically, these events (potentially accompanied by sharp wave ripples) would represent the formation of new grid/place tiling/mapping/graphing over a space/scope of relevance, but where sufficient functionality is carried over across remappings for integration of information across episodes. Functionally speaking, these frame-shifts could be understood in terms of L&#x000E9;vy flights with respect to generalized search, so allowing for more exploratory processing and creative solutions in the face of challenges (Hills et al., <xref ref-type="bibr" rid="B87">2010</xref>; McNamee et al., <xref ref-type="bibr" rid="B123">2021</xref>). That is, in contrast to searching <italic>via</italic> random walks that would tend to result in reliable exploitative mapping of simple domains, such discontinuous (and potentially fanciful) flights to remote areas of hypothesis/phase spaces would allow agents to both more efficiently explore complex domains and escape from local optima. Considering that the H/E-S may be understood as the highest (or most flexibly integrative) level of agent-level control processes, altering parameters/modulators relevant for this kind of more exploitative or exploratory (generalized) search could be some of the most significant sources on variation both between and within individuals and species (Safron, <xref ref-type="bibr" rid="B149">2020c</xref>).</p>
<p>While the precise conditions for remapping are likely to vary based on multiple conditions, degree of overall prediction-error seems to be one reliable trigger, as in an experiment in which participants were cued to retrieve well-learned complex room images from memory and then presented with either identical or modified pictures (Bein et al., <xref ref-type="bibr" rid="B12">2020</xref>); in this study, the number of changes caused CA1&#x02013;CA3 connectivity to decrease (potentially indicating less intra-hippocampal recurrent activity) and CA1-entorhinal connectivity to increase. Consistently, another study found sensitivity to reward prediction errors with respect to the establishment of new event boundaries (Rouhani et al., <xref ref-type="bibr" rid="B143">2020</xref>). Similar influences on the stability of mappings by more general salience is suggested by studies in which the H/E-S shows sensitivity to interactions with the amygdala and responses to fearful stimuli (Chen et al., <xref ref-type="bibr" rid="B30">2019</xref>), as well as modulation of encoding based on attention/expectancy (Mack et al., <xref ref-type="bibr" rid="B115">2018</xref>, <xref ref-type="bibr" rid="B116">2020</xref>; Urgolites et al., <xref ref-type="bibr" rid="B176">2020</xref>). The dividing of continuous unfoldings into discrete epochs provides another means by which abstract phenomena such as time may be conceptualized by the H/E-S (in addition to their spatialization, perhaps as a kind of multidimensional scaling onto lower dimensional manifolds that may be inspected either through fictive navigation or imaginative visual foraging (Ramachandran et al., <xref ref-type="bibr" rid="B141">2016</xref>).</p>
<p>Notably, the H/E-S may not just be sensitive to reward, but it may also help to provide a major source of the prediction errors that drive phasic dopamine (Mannella et al., <xref ref-type="bibr" rid="B119">2013</xref>; Ballard et al., <xref ref-type="bibr" rid="B6">2019</xref>; Jang et al., <xref ref-type="bibr" rid="B95">2019</xref>; Laubach et al., <xref ref-type="bibr" rid="B109">2020</xref>), potentially involving internal contrasting between hippocampal subfields, and with overall prediction-error being further integrated <italic>via</italic> outputs to the subiculum (Tingley and Buzs&#x000E1;ki, <xref ref-type="bibr" rid="B171">2018</xref>; Canto et al., <xref ref-type="bibr" rid="B27">2019</xref>). This may allow for the allostatic prioritization of goals with respect to not only cortical predictions from medial prefrontal cortices, but even homeostatic regulatory nuclei of the septum (Tingley and Buzs&#x000E1;ki, <xref ref-type="bibr" rid="B171">2018</xref>; Kunz et al., <xref ref-type="bibr" rid="B106">2019</xref>; Livneh et al., <xref ref-type="bibr" rid="B112">2020</xref>). The importance of the H/E-S for motivational states is also evidenced by its ability to influence the interoceptive components of emotions (Edwards-Duric et al., <xref ref-type="bibr" rid="B46">2020</xref>), which may have a further (circular) causal significance in helping to drive counterfactual simulations, potentially understandable as affectively-canalized Markov chain Monte Carlo tree search through value space (Dohmatob et al., <xref ref-type="bibr" rid="B45">2020</xref>; Hesp et al., <xref ref-type="bibr" rid="B82">2020</xref>; Parascandolo et al., <xref ref-type="bibr" rid="B134">2020</xref>; Safron, <xref ref-type="bibr" rid="B151">2021b</xref>). In this way, not only would the H/E-S help implement SLAM processes with respect to both concrete and abstract cognition, but it may also help to explain how agent-level mental processes can enter causal streams leading to both mental simulations and overt enaction, so affording some of the varieties of &#x0201C;free will&#x0201D; worth having for autonomous systems (Safron, <xref ref-type="bibr" rid="B151">2021b</xref>).</p>
<p>Some evidence for this affective influencing of H/E-S dynamics may potentially be found in studies of increased inter-hemispheric phase coupling (delta range coherence) during treadmill running periods (Furtunato et al., <xref ref-type="bibr" rid="B59">2020</xref>), potentially corresponding to periods of increased driving by biophysical signals indicating organismic salience. Crucially, sources of H/E-S &#x0201C;reward&#x0201D; may not just take the form of the aforementioned extrinsic value of goal realization, but may also be driven by the intrinsic value of novel information, for the hippocampus could provide a natural integrator of prediction-error as top of the cortical hierarchy (Hawkins and Blakeslee, <xref ref-type="bibr" rid="B79">2004</xref>; Mannella et al., <xref ref-type="bibr" rid="B119">2013</xref>; Fonken et al., <xref ref-type="bibr" rid="B52">2020</xref>). While the hippocampus and ventromedial prefrontal cortex may usually work together in estimating expected value (or opportunities for free energy minimization), theoretically, they may also function as semi-separate value signals in terms of respective information gain and preference satisfaction. In this way, convergence of the H/E-S and its ventromedial prefrontal collaborators upon the accumbens core&#x02014;and thereby nigral motor dopamine (Mannella et al., <xref ref-type="bibr" rid="B119">2013</xref>)&#x02014;may represent physical manifestations of the dual optimization for intrinsic and extrinsic value prescribed by active inference as a normative account of intelligence. This kind of convergent control based on heterogeneous (fundamental) value signals is notable, as it is becoming increasingly clear the H/E-S is more than just a temporary memory buffer, but rather may constitute a primary basis for autonomous functioning for vertebrates as adaptive cybernetic systems, as highlighted in <xref ref-type="fig" rid="F6">Figure 6</xref>.</p>
<fig id="F6" position="float">
<label>Figure 6</label>
<caption><p>A model of hippocampally-orchestrated imaginative planning and action selection <italic>via</italic> generalized navigation. Goal-oriented action sequences are depicted with respect to relevant neural processes. The hippocampal system provides (a) organization of cortical attracting states into value-canalized spatiotemporal trajectories, (b) stabilization of ensembles <italic>via</italic> theta-mediated cross-frequency phase coupling, and (c) goal-oriented cognition and behavior <italic>via</italic> contrasting (not depicted) sensed and imagined states. Hippocampal trajectories are shaped according to whichever paths are expected to result in more positively valanced outcomes (cf. reward prediction errors). The expected value associated with navigating to different portions of (potentially abstract) space is informed <italic>via</italic> coupling with similarly spatiotemporally-organized value representations (red shaded hexagons) in vmPFC and associated systems. As chained patterns of activity progress across hippocampal place fields (red hexagons with variable degrees of shading), theta-synchronized frontal ensembles (yellow shading spreading towards the front of the brain) help to generate (<italic>via</italic> cross-frequency phase coupling) ensembles for directing attention, working memory, and overt enaction. Sensory updating of posterior cortices occurs at alpha frequencies (blue shading), so providing a basis for conscious perception and imagination. With respect to these integrated estimates of sensory states, hippocampal coupling at theta frequencies (yellow shading spreading towards the back of the brain) provides a basis for (a) episodic memory and replay, (b) novel imaginings, and (c) adjustment of neuronal activity selection <italic>via</italic> orchestrated contrasting between cortical ensembles. Abbreviations: nAC, nucleus accumbens; vmPFC, ventromedial prefrontal cortex; dmPFC, dorsomedial prefrontal cortex; SMA, supplementary motor area; Pre-SMA, presupplementary motor area; SEF, supplementary eye fields; PCC, posterior cingulate cortex; PMCs, posterior medial cortices; IPL, inferior parietal lobule. Reprinted with permission from Safron (<xref ref-type="bibr" rid="B151">2021b</xref>).</p></caption>
<graphic xlink:href="fnsys-16-787659-g0006.tif"/>
</fig>
</sec>
</sec>
<sec id="s4">
<title>G(Eneralized-)SLAM as Core Cognitive Process</title>
<p>As described above, the H/E-S and its functional relationships with the neocortex may be understood as implementing a kind of Kalman variational autoencoder (Fraccaro et al., <xref ref-type="bibr" rid="B53">2017</xref>). In this capacity, the H/E-S may provide inspiration for developing advanced SLAM architectures. In its dual role as both memory and control system, the H/E-S has been further optimized for facilitating comparisons between largescale patterns (e.g., organismic states), which in machine learning terms may be understood as implementing something akin to energy-based contrastive learning (Marblestone et al., <xref ref-type="bibr" rid="B120">2016</xref>; Richards et al., <xref ref-type="bibr" rid="B142">2019</xref>; Mazzaglia et al., <xref ref-type="bibr" rid="B122">2022</xref>). In this capacity, the H/E-S may provide inspiration for developing architectures capable of engaging in self-supervised learning, counterfactual modeling, and further enabling high-level reasoning abilities including analogical structure mapping (Gentner, <xref ref-type="bibr" rid="B63">2010</xref>; Safron, <xref ref-type="bibr" rid="B145">2019a</xref>), causal inference (Pearl and Mackenzie, <xref ref-type="bibr" rid="B136">2018</xref>), and imaginative planning (Kaplan and Friston, <xref ref-type="bibr" rid="B98">2018</xref>; Safron, <xref ref-type="bibr" rid="B151">2021b</xref>).</p>
<p>As described above, and elsewhere (Safron, <xref ref-type="bibr" rid="B148">2020b</xref>, <xref ref-type="bibr" rid="B149">c</xref>, <xref ref-type="bibr" rid="B150">2021a</xref>, <xref ref-type="bibr" rid="B151">b</xref>), LatentSLAM&#x02019;s dual-tier architecture provides an abstract cybernetic interpretation of the H/E-S as the highest (or most integrative) level of heterarchical control for embodied-embedded organisms as they move through physical and imagined worlds in the pursuit of valued goals, so providing a computational/functional account of agency in biological (and perhaps artificial) systems. Further, this hierarchical architecture provides a basis for meta-learning in which slower and more encompassing &#x0201C;outer loop&#x0201D; processes aggregate information over faster &#x0201C;inner loop&#x0201D; processes, so affording the much-desired goal of realizing synergistic inference and generalization of knowledge across experiences (or lessons in curriculums for lifelong learning). Even more, the upper levels of this kind of hybrid architecture may provide a basis for explicit symbolic reasoning (<italic>via</italic> abstract experience graphs) in addition to enactive couplings with the world (<italic>via</italic> adaptive control of poses/views), both of which are likely required for achieving the goal of robust autonomous functioning for artificial systems.</p>
<p>While attempting to navigate towards such destinations may seem excessively ambitious, we would note that work on the extended H/E-S was part of what inspired the formation of some of the world&#x02019;s leading AI companies such as DeepMind, and continues to be a central part of their research programs (Hassabis and Maguire, <xref ref-type="bibr" rid="B74">2009</xref>; Hassabis et al., <xref ref-type="bibr" rid="B75">2017</xref>; Koster et al., <xref ref-type="bibr" rid="B103">2018</xref>; McNamee et al., <xref ref-type="bibr" rid="B123">2021</xref>). Indeed, it is increasingly being recognized that the spatiotemporal modeling properties of the H/E-S may constitute an invaluable integrative framework for understanding high-level cognition (Whittington et al., <xref ref-type="bibr" rid="B181">2022</xref>). However, we believe a G-SLAM framing might be particularly notable in connecting to the context under which these systems were first selected/shaped by evolution (and development), as well as one of the primary functionalities of the H/E-S that continues throughout the lifespan of organisms. That is, our abilities to navigate both physical and conceptual worlds represent an ongoing challenge for as long as we live. We further suggest the connection between the practical necessities involved in engineering physical systems may provide a particularly valuable source of empirical traction for attempting to specify the roles of particular features of the H/E-S, in that we can draw upon the rich data generated as robots attempt to navigate through the world.</p>
<p>Further, by also drawing upon biological details in designing AI-architectures, we may find ourselves with access to invaluable inductive biases which might be otherwise overlooked. Two examples that come to mind include recent proposals by Bengio and LeCun with respect to &#x0201C;GFlowNets&#x0201D; and &#x0201C;Joint Embedding Predictive Architectures&#x0201D; (Bengio et al., <xref ref-type="bibr" rid="B15">2022</xref>; LeCun, <xref ref-type="bibr" rid="B1">2022</xref>). We believe these efforts in creating autonomous and generally intelligent systems may benefit by incorporating principles of G-SLAM, such as the creation of systems capable of handling loop trajectories as potentially enabling greater open-ended and life-long learning, or in looking towards hybrid systems similar to LatentSLAM as potentially allowing for explicit representations and symbolic processing. While it has often been said that the goal of AI is to create the &#x0201C;cognitive equivalent of an airplane wing,&#x0201D; we would suggest that the magnitude of the challenge may be far greater (more akin to building a fully functioning plane or space ship), and the problems of navigating through under-constrained architectural (and learning curricula) design-spaces may be unsurmountable without biological inspiration/grounding.</p>
<p>While LatentSLAM continues to be refined, we believe these kinds of architectures provide a general framework for understanding core elements of minds and brains. Indeed, to localize something within a spatialized reference frame&#x02014;which itself is impacted by the entities it maps/graphs&#x02014; may be what it means to &#x0201C;understand&#x0201D; and &#x0201C;explain&#x0201D; something (Lakoff and Johnson, <xref ref-type="bibr" rid="B107">1999</xref>), and possibly even to experience anything at all (Safron, <xref ref-type="bibr" rid="B147">2020a</xref>, <xref ref-type="bibr" rid="B150">2021a</xref>, <xref ref-type="bibr" rid="B151">b</xref>). That is to understand is to be able to adopt a stance (or pose) from which elements and their inter-relations may be mapped (or localized), as if projected onto a plane whereby they are made visible for inspection (or navigation). We believe these etymological considerations on the nature of knowledge may be more than &#x0201C;mere&#x0201D; metaphors but could point to the fundamentally embodied nature of minds.</p>
<p>We not only suggest that all thought may be understood as navigating between representations that are being localized and mapped (or graphed) within an organizing conceptual domain, but all communication may be understood as the transmission of such structures (as trajectories) between minds (Zurn and Bassett, <xref ref-type="bibr" rid="B189">2020</xref>). While the simultaneity of generalized localization and mapping in cognition may not be obvious upon introspection, this is more clearly the case when considering unfamiliar concepts. For such novel domains, relationships between concepts and broader organizing schemas involves the same kind of challenges of circular inference as found in SLAM. That is, when we are first attempting to understand a conceptual domain, we do not know how to effectively connect the entities whose shared features and relations motivate the construction of organizing schemas. However, without such higher-order abstractions and the predictive (or compressive) capacities they provide, it is unclear which features of and relations between entities are relevant for shared structure learning.</p>
<p>Heuristic algorithms may be invaluable in the bootstrapping process, such as the kind of clustering involved in the hierarchical Dirichlet process (Griffiths T. et al., <xref ref-type="bibr" rid="B71">2019</xref>), models of category formation <italic>via</italic> analogical alignment (Kuehne et al., <xref ref-type="bibr" rid="B104">2000</xref>), or concept derivation as abstraction over episodes (Mack et al., <xref ref-type="bibr" rid="B115">2018</xref>). We agree that such accounts may speak to fundamental mental processes, but we also suggest that rather than static feature maps, such nonparametric (Bayesian) structure learning may apply to paths through mapped/graphed domains. This is part of why we emphasized our use of the Fisher distance measure above, as an information metric that naturally applies to trajectories may potentially provide the most valid (and potentially predictive) means of assessing similarity/dissimilarity between entities in feature spaces. Indeed, one of the most notable aspects of thinking is its sequential operation and sensitivity to path dependencies. While abstract conceptualization does allow for a good deal of cognitive flexibility, cognition is still largely defined by deriving knowledge <italic>via</italic> particular &#x0201C;chains of reasoning,&#x0201D; or &#x0201C;paths&#x0201D; through mental space.</p>
<p>Regardless of the particular routes by which we reach the heights of category learning, the formation of such abstract representations constitute what may be the most powerful aspect of our intelligence in terms of generalizable knowledge that can robustly transfer across particular episodes (Marcus, <xref ref-type="bibr" rid="B121">2020</xref>). Such abstract categories further allow for the kinds of structured representations whose importance was emphasized in decades of work in (non-radically-enactive) cognitive science and &#x0201C;good old fashioned AI.&#x0201D; The significance of such knowledge structures may prove even greater in light of the advent of graph networks within the context of geometric deep learning (Battaglia et al., <xref ref-type="bibr" rid="B11">2018</xref>)&#x02014;and symbolic regression as potentially representing a further degree of abstraction (Cranmer et al., <xref ref-type="bibr" rid="B34">2020</xref>). Such graphical representations are of increasing interest because of both their interpretability as well as their extraordinary efficiency for modeling physical systems. With our models of node duplication and graph-relaxation, LatentSLAM provides a biologically plausible and computationally-tractable account of how such cognitive schemas may be formed and modified through experience. This is notable in that finding principled means of creating and modifying particular structures for graph neural networks (GNNs) remains an ongoing challenge. But if such challenges can be surmounted, then we may achieve the promise of neurosymbolic AI in combining the power of connectionism with reasoning over explicitly represented (and related) symbols (Garcez and Lamb, <xref ref-type="bibr" rid="B60">2020</xref>; Greff et al., <xref ref-type="bibr" rid="B69">2020</xref>). More specifically, we believe that the ability of the H/E-S to create navigable spaces populated by high-level attracting states may also provide a basis for creating <italic>&#x0201C;ad hoc&#x0201D;</italic> (Barsalou, <xref ref-type="bibr" rid="B8">1983</xref>) GNN structures for different purposes.</p>
<p>While the relationships between place cells in the H/E-S (or nodes in LatentSLAM) can be understood as a kind of GNN, we believe it would be more accurate to characterize these models as graph nets, in that they represent relations&#x02014;or semantic pointers (Blouw et al., <xref ref-type="bibr" rid="B20">2016</xref>)&#x02014;for hierarchically lower graphs. While these details have yet to be incorporated into LatentSLAM, it has been suggested that heteromodal association cortices may constitute a shared latent space across (autoencoding) cortical hierarchies with quasi-topographic characteristics akin to those found with GNNs (Safron, <xref ref-type="bibr" rid="B148">2020b</xref>, <xref ref-type="bibr" rid="B150">2021a</xref>, <xref ref-type="bibr" rid="B151">b</xref>). While the H/E-S has significant interactions with the entire cortical heterarchy, connectivity is most substantial for deeper (or hierarchically higher) portions of cortex, consistent with its potential role as a kind of graph network. The degree to which these machine learning analogies may apply to brain functioning is yet to be determined, but they nonetheless represent a promising direction for creating artificial systems that recapitulate the properties of natural intelligences (Greff et al., <xref ref-type="bibr" rid="B69">2020</xref>).</p>
<p>Intriguingly, the work in which brains were proposed to entail GNN-type computation was developed independently of LatentSLAM. However, similarly to how LatentSLAMs only uses views and proprioceptive poses for specifying particular experiences to be mapped (<xref ref-type="fig" rid="F2">Figure 2</xref>), this other work proposed that sufficient bases for agentic world modeling may involve conjoined visuospatial and somatospatial modalities, potentially (but not necessarily) understood as respective grid and mesh-pose GNNs. In the model of episodic memory and imagination described above (<xref ref-type="fig" rid="F6">Figure 6</xref>), H/E-S trajectories are used to orchestrate state transitions between these experiences as the &#x0201C;stream of consciousness&#x0201D; (James, <xref ref-type="bibr" rid="B94">1890</xref>). While many aspects of cognition are unconscious, &#x0201C;thinking&#x0201D; and &#x0201C;reasoning&#x0201D; are usually considered to involve sequentially generated conscious operations. Notably, the formal conceptualization of computation may have been largely inspired by Turing introspecting his own consciousness in the process of doing mathematics (Dehaene, <xref ref-type="bibr" rid="B41">2014</xref>; Graves et al., <xref ref-type="bibr" rid="B67">2014</xref>). Given that it is unclear that we can be conscious of anything that lacks grounding in somatic modalities and their abilities to change (and be controlled) through time, then all thinking/reasoning may potentially be understood as involving the kinds of action selection and modeling described by LatentSLAM.</p>
<p>Fully describing the potential correspondences between SLAM and high-level cognition is beyond the scope of a single publication (<xref ref-type="table" rid="T1">Table 1</xref>), but before concluding we will briefly comment on the importance of loop-closures and thresholds for graph-relaxation and node duplication. In brief, we may understand a (generalized) loop-closure event as a primary factor contributing to the feeling of understanding and insight (Gopnik, <xref ref-type="bibr" rid="B66">1998</xref>; Fonken et al., <xref ref-type="bibr" rid="B52">2020</xref>; Oh et al., <xref ref-type="bibr" rid="B132">2020</xref>). After an initial period of relatively ambiguous exploration, the formation of a causal account (or trajectory through a concept space/graph) would allow for a rapid decrease in prediction-error (Joffily and Coricelli, <xref ref-type="bibr" rid="B96">2013</xref>), or increase in compression (Schmidhuber, <xref ref-type="bibr" rid="B154">2010</xref>). While some individuals may be relatively insensitive to these feelings of (potentially sudden) conceptual familiarity (Hou et al., <xref ref-type="bibr" rid="B90">2013</xref>; Ben-Yakov et al., <xref ref-type="bibr" rid="B16">2014</xref>), others may potentially be overly sensitive (e.g., &#x0201C;d&#x000E9;j&#x000E0; vu&#x0201D; and other kinds of false positive inferences), with the specific functional tradeoffs involved depending on particular contexts (DeYoung, <xref ref-type="bibr" rid="B44">2015</xref>; Blain et al., <xref ref-type="bibr" rid="B19">2020</xref>; Safron and DeYoung, <xref ref-type="bibr" rid="B152">2021</xref>).</p>
<p>Events in which this kind of cognitive closure is achieved provide special opportunities for updating H/E-S models (or categories) <italic>via</italic> graph-relaxation and node duplication. A variety of relevant parameters can be identified (<xref ref-type="fig" rid="F3">Figure 3</xref>), whether in terms of thresholds for detecting loop-closures, the extent to which graphs may be relaxed, or the ease with which new nodes are created. However, in a G-SLAM context of trying to model cognition more generally, we may think of loop-closure recognition thresholds as sensitivity to cumulative prediction error increases/decreases, graph-relaxation as changing attractor dynamics within the H/E-S and neocortex on multiple scales, and node duplication as the establishment of new local ensembles of effective connectivity (cf. chained bump attractors)&#x02014;and potentially (but not necessarily) involving neurogenesis, for which it is notable that the hippocampus is one of the few places where this phenomenon is reliably observed. These core SLAM processes may depend on multiple factors, including neuromodulators such as dopamine and serotonin (Safron, <xref ref-type="bibr" rid="B149">2020c</xref>; Safron and Sheikhbahaee, <xref ref-type="bibr" rid="B153">2021</xref>), as well as on Bayesian priors (or &#x0201C;yesterday&#x02019;s posteriors&#x0201D;).</p>
<p>With respect to the previously described example of differential tuning thresholds for mapping the structure of aisles (<xref ref-type="fig" rid="F5">Figure 5</xref>), we may potentially have a crucial source of individual differences in cognition. In theory, G-SLAM may be pointing to (or localizing) a cognitive spectrum (and potential basis for differential diatheses) spanning autism and schizophrenia (Byars et al., <xref ref-type="bibr" rid="B24">2014</xref>; Crespi and Dinsdale, <xref ref-type="bibr" rid="B35">2019</xref>). Theoretically, we may even expect to see these kinds of variations in SLAM maps in the drawings of autistic and schizophrenic individuals (Morgan et al., <xref ref-type="bibr" rid="B127">2019</xref>; Philippsen and Nagai, <xref ref-type="bibr" rid="B138">2020</xref>).</p>
<p>Speculatively, not only may the conceptual understanding of that which is being drawn be mapped and navigated by the H/E-S as SLAM system, but the eye movements (Wynn et al., <xref ref-type="bibr" rid="B185">2020</xref>) and hand motions involved in skilled actions such as drawing could themselves be orchestrated according to hippocampal trajectories as a basis for chained equilibrium setpoints (Latash, <xref ref-type="bibr" rid="B108">2010</xref>). Even more speculatively, it could even be the case that further degrees of sophisticated control&#x02014;as inference (Kaplan and Friston, <xref ref-type="bibr" rid="B98">2018</xref>; Friston et al., <xref ref-type="bibr" rid="B57">2021</xref>)&#x02014;are bootstrapped by simultaneously localizing and mapping the body itself as a kind of space/graph, so allowing for more rarefied and general SLAM capacities over the course of development. In this view, much of cognitive development would involve initial phases of using the H/E-S to learn intentional control over either overtly or covertly expressed motor patterns, which then become automatized (or amortized) by the thalamic-cerebellar system (Safron, <xref ref-type="bibr" rid="B150">2021a</xref>; Shine, <xref ref-type="bibr" rid="B159">2021</xref>) and dorsal striatal-cortical loops (Mannella et al., <xref ref-type="bibr" rid="B119">2013</xref>), so freeing up the G-SLAM system for further high-level predictive modeling and control. Can the body itself be understood as a mapped spatial domain, or is this just a way of speaking without any useful technical correspondences? How far can we go with using these patterns of linguistic use as hypotheses regarding cognitive processes and underlying neural mechanisms? Could it even be the case that the phenomenology of embodiment involves navigation through and mapping of body maps <italic>via</italic> these cross-modal interactions, which when disrupted could potentially contribute to altered states of consciousness or potentially clinical conditions such as depersonalization (Safron, <xref ref-type="bibr" rid="B149">2020c</xref>; Ciaunica and Safron, <xref ref-type="bibr" rid="B31">2022</xref>)?</p>
<p>With respect to personhood, beyond its foundational role for autonomous functioning, widespread orchestration of value-canalized trajectories through biophysical phase space by the H/E-S also enables the development (and ongoing functioning) of the spatiotemporally-extended processes required for autonoetic and autobiographical self-consciousness. In addition to constituting major transitions in evolution, the advent of such self-reflective capacities may have been required for the construction of advanced social coordination and a (shared) symbolic order of being. While such rarefied processes may be well-beyond anything we are close to engendering in (abiotic) machines, it may be the case that we are forced to recapitulate these kinds of H/E-S functionalities if we are to successfully arrive at the destination of creating robustly autonomous and general artificial intelligences.</p>
<p>Indeed, G-SLAM parameters may constitute the most important source of variation we can identify both between and within individuals. To venture deep into unknown speculative territory, the H/E-S may be the source of key adaptations contributing to the evolution of cognitive modernity through (potentially proto-schizotypal) flexibly creative cognition and the birth of cumulative culture, which in time came to represent what may be the &#x0201C;secret of our success&#x0201D; as a species and the greatest of all major transitions in (generalized) evolution (Premack, <xref ref-type="bibr" rid="B139">1983</xref>; Gentner, <xref ref-type="bibr" rid="B63">2010</xref>; Hofstadter and Sander, <xref ref-type="bibr" rid="B88">2013</xref>; Henrich, <xref ref-type="bibr" rid="B81">2017</xref>; Safron, <xref ref-type="bibr" rid="B146">2019b</xref>, <xref ref-type="bibr" rid="B149">2020c</xref>; van den Heuvel et al., <xref ref-type="bibr" rid="B178">2019</xref>; Dehaene et al., <xref ref-type="bibr" rid="B42">2022</xref>). While such models extend far beyond domains of knowledge for which we have well-developed maps, we believe such possibilities are worthy of further exploration.</p>
<sec id="s4-1">
<title>Present limitations and future directions for G-SLAM</title>
<p>While we describe experiments for LatentSLAM in other publications (&#x000C7;atal et al., <xref ref-type="bibr" rid="B28">2021a</xref>), future work should attempt to explicitly illustrate G-SLAM principles with experiments and mathematical models/simulations. Further, while approaches to localization and mapping may be diverse, this does not mean that all technical solutions involved are best described as SLAM problems. However, we believe that analogues of processes like loop closure and node duplication (and pruning) with respect to trajectories through cognitive spaces would constitute strong evidence for the value of a generalized SLAM perspective. It is also important to note that symbolic processing in the brain involves more than the H/E-S. For instance, a substantial amount of symbolic communication is linguistic in a way that could be described in terms of a hierarchical control system for vocal production and hearing (gestural communication could provide another illustrative example). While such action-perception cycles need not involve the H/E-S, we also believe their functioning may potentially be enhanced <italic>via</italic> H/E-S orchestration of high-level dynamics (e.g., channeling neuronal manifolds along particular trajectories).</p>
<p>We also believe it will be valuable to explore research attempting to combine SLAM and various forms of semantic processing in robotics/AI (Kostavelis and Gasteratos, <xref ref-type="bibr" rid="B102">2015</xref>; S&#x000FC;nderhauf et al., <xref ref-type="bibr" rid="B164">2017</xref>; Garg et al., <xref ref-type="bibr" rid="B61">2020</xref>). Not only does such work illustrate the complexity of SLAM problems and how they may (and must) be integrated with other cognitive processes (cf. artificial consciousness?), but it also points to other ways in which robotics can be used to inform our understanding of minds, whether biologically grown and artificially engineered). Finally, while we focus on a particular SLAM architecture developed within the Free Energy Principle and Active Inference framework, we believe it will be fruitful to consider other approaches as well, many of which are extremely well developed and sophisticated in their own right (Penny et al., <xref ref-type="bibr" rid="B137">2013</xref>; Madl et al., <xref ref-type="bibr" rid="B118">2018</xref>; Stoianov et al., <xref ref-type="bibr" rid="B162">2022</xref>; Taniguchi et al., <xref ref-type="bibr" rid="B166">2022</xref>).</p>
</sec>
</sec>
<sec id="s5">
<title>Conclusions</title>
<p>We have searched through broad and diverse terrains in considering the ideas above, covering a lot of ground. To try to come full circle, we have described technical details of a machine learning architecture for autonomous robot navigation, discussed particulars of biological systems for realizing these functionalities in brains, and started to explore how these principles may provide a framework for understanding all high-level cognition in terms of simultaneous localization and mapping in space (broadly construed to include conceptual spaces). We have only begun this journey, but we believe the destination is promising, and we invite others to join us in exploring this framework for understanding the nature of thought. Some might contend that &#x0201C;prediction&#x0201D; or &#x0201C;modeling&#x0201D; are more encompassing and fundamental than a generalized SLAM perspective, and we would not disagree. However, we believe that G-SLAM is unique in allowing for all these perspectives to be combined with the principles of ecological rationality that constituted the primary selective pressures for high-level cognition over the course of evolution and development. We suggest this neuroethological perspective will be invaluable in allowing us to &#x0201C;carve nature at its joints&#x0201D;, in terms of identifying the most important features of functioning for the hippocampal/entorhinal system and its connections to the rest of the brain [and body (and world)]. We further believe that G-SLAM is unique in the extent to which it connects to nature(s) of experience, where we do in fact exist in a spatial world through which we must navigate, and where it is difficult to find aspects of mind not impacted by this fundamental physical situatedness. In light of these sources of potential insight, we believe that G-SLAM represents the way forward for understanding complex minds, and potentially for building them, if we can find sustainable paths into the unexplored territory of the future.</p>
</sec>
<sec id="s6" sec-type="data-availability">
<title>Data Availability Statement</title>
<p>The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.</p>
</sec>
<sec id="s7">
<title>Author Contributions</title>
<p>AS, O&#x000C7;, and TV conceptualized G-SLAM and the main ideas for this manuscript. O&#x000C7; and TV conceived and performed the LatentSLAM experiments. AS contributed his knowledge gained from his ongoing study of the hippocampal/entorhinal system literature. All authors contributed to the article and approved the submitted version.</p>
</sec>
<sec id="s8" sec-type="funding-information">
<title>Funding</title>
<p>O&#x000C7; is funded by a Ph.D. grant of the Flanders Research Foundation (FWO). This research received funding from the &#x0201C;AI Flanders&#x0201D; program of the Flemish government.</p>
</sec>
</body>
<back>
<ack>
<p>We would like to express thanks to many people for many reasons. Hopefully you know who you are. We hope to share more of our gratitude with you in time (and space).</p>
</ack>
<sec id="s9" sec-type="COI-statement">
<title>Conflict of Interest</title>
<p>The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.</p>
</sec>
<sec sec-type="disclaimer" id="s10">
<title>Publisher&#x02019;s Note</title>
<p>All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article, or claim that may be made by its manufacturer, is not guaranteed or endorsed by the publisher.</p>
</sec>
<ref-list>
<title>References</title>
<ref id="B2"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ai</surname> <given-names>H.</given-names></name> <name><surname>Okada</surname> <given-names>R.</given-names></name> <name><surname>Sakura</surname> <given-names>M.</given-names></name> <name><surname>Wachtler</surname> <given-names>T.</given-names></name> <name><surname>Ikeno</surname> <given-names>H.</given-names></name></person-group> (<year>2019</year>). <article-title>Neuroethology of the waggle dance: how followers interact with the waggle dancer and detect spatial information</article-title>. <source>Insects</source> <volume>10</volume>:<fpage>336</fpage>. <pub-id pub-id-type="doi">10.3390/insects10100336</pub-id><pub-id pub-id-type="pmid">31614450</pub-id></citation></ref>
<ref id="B3"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ambrose</surname> <given-names>R. E.</given-names></name> <name><surname>Pfeiffer</surname> <given-names>B. E.</given-names></name> <name><surname>Foster</surname> <given-names>D. J.</given-names></name></person-group> (<year>2016</year>). <article-title>Reverse replay of hippocampal place cells is uniquely modulated by changing reward</article-title>. <source>Neuron</source> <volume>91</volume>, <fpage>1124</fpage>&#x02013;<lpage>1136</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2016.07.047</pub-id><pub-id pub-id-type="pmid">27568518</pub-id></citation></ref>
<ref id="B4"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Andersen</surname> <given-names>P.</given-names></name></person-group> (<year>1975</year>). &#x0201C;<article-title>Organization of hippocampal neurons and their interconnections</article-title>,&#x0201D; in <source>The Hippocampus: Volume 1: Structure and Development</source>, eds <person-group person-group-type="editor"><name><surname>Isaacson</surname> <given-names>R. L.</given-names></name> <name><surname>Pribram</surname> <given-names>K. H.</given-names></name></person-group> (<publisher-loc>Boston, MA</publisher-loc>: <publisher-name>Springer US</publisher-name>), <fpage>155</fpage>&#x02013;<lpage>175</lpage>.</citation></ref>
<ref id="B5"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ball</surname> <given-names>D.</given-names></name> <name><surname>Heath</surname> <given-names>S.</given-names></name> <name><surname>Wiles</surname> <given-names>J.</given-names></name> <name><surname>Wyeth</surname> <given-names>G.</given-names></name> <name><surname>Corke</surname> <given-names>P.</given-names></name> <name><surname>Milford</surname> <given-names>M.</given-names></name></person-group> (<year>2013</year>). <article-title>OpenRatSLAM: an open source brain-based SLAM system</article-title>. <source>Auton. Robots</source> <volume>34</volume>, <fpage>149</fpage>&#x02013;<lpage>176</lpage>. <pub-id pub-id-type="doi">10.1007/s10514-012-9317-9</pub-id></citation></ref>
<ref id="B6"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ballard</surname> <given-names>I. C.</given-names></name> <name><surname>Wagner</surname> <given-names>A. D.</given-names></name> <name><surname>McClure</surname> <given-names>S. M.</given-names></name></person-group> (<year>2019</year>). <article-title>Hippocampal pattern separation supports reinforcement learning</article-title>. <source>Nat. Commun.</source> <volume>10</volume>:<fpage>1073</fpage>. <pub-id pub-id-type="doi">10.1038/s41467-019-08998-1</pub-id><pub-id pub-id-type="pmid">30842581</pub-id></citation></ref>
<ref id="B7"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Barron</surname> <given-names>H. C.</given-names></name> <name><surname>Auksztulewicz</surname> <given-names>R.</given-names></name> <name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2020</year>). <article-title>Prediction and memory: a predictive coding account</article-title>. <source>Prog. Neurobiol.</source> <volume>192</volume>:<fpage>101821</fpage>. <pub-id pub-id-type="doi">10.1016/j.pneurobio.2020.101821</pub-id><pub-id pub-id-type="pmid">32446883</pub-id></citation></ref>
<ref id="B8"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Barsalou</surname> <given-names>L. W.</given-names></name></person-group> (<year>1983</year>). <article-title>Ad hoc categories</article-title>. <source>Mem. Cognit.</source> <volume>11</volume>, <fpage>211</fpage>&#x02013;<lpage>227</lpage>. <pub-id pub-id-type="doi">10.3758/BF03196968</pub-id></citation></ref>
<ref id="B9"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bastos</surname> <given-names>A. M.</given-names></name> <name><surname>Lundqvist</surname> <given-names>M.</given-names></name> <name><surname>Waite</surname> <given-names>A. S.</given-names></name> <name><surname>Kopell</surname> <given-names>N.</given-names></name> <name><surname>Miller</surname> <given-names>E. K.</given-names></name></person-group> (<year>2020</year>). <article-title>Layer and rhythm specificity for predictive routing</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>117</volume>, <fpage>31459</fpage>&#x02013;<lpage>31469</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.2014868117</pub-id><pub-id pub-id-type="pmid">33229572</pub-id></citation></ref>
<ref id="B10"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bastos</surname> <given-names>A. M.</given-names></name> <name><surname>Usrey</surname> <given-names>W. M.</given-names></name> <name><surname>Adams</surname> <given-names>R. A.</given-names></name> <name><surname>Mangun</surname> <given-names>G. R.</given-names></name> <name><surname>Fries</surname> <given-names>P.</given-names></name> <name><surname>Friston</surname> <given-names>K. J.</given-names></name></person-group> (<year>2012</year>). <article-title>Canonical microcircuits for predictive coding</article-title>. <source>Neuron</source> <volume>76</volume>, <fpage>695</fpage>&#x02013;<lpage>711</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2012.10.038</pub-id><pub-id pub-id-type="pmid">23177956</pub-id></citation></ref>
<ref id="B11"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Battaglia</surname> <given-names>P. W.</given-names></name> <name><surname>Hamrick</surname> <given-names>J. B.</given-names></name> <name><surname>Bapst</surname> <given-names>V.</given-names></name> <name><surname>Sanchez-Gonzalez</surname> <given-names>A.</given-names></name> <name><surname>Zambaldi</surname> <given-names>V.</given-names></name> <name><surname>Malinowski</surname> <given-names>M.</given-names></name> <etal/></person-group>. (<year>2018</year>). <article-title>Relational inductive biases, deep learning and graph networks</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1806.01261</pub-id></citation></ref>
<ref id="B12"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bein</surname> <given-names>O.</given-names></name> <name><surname>Duncan</surname> <given-names>K.</given-names></name> <name><surname>Davachi</surname> <given-names>L.</given-names></name></person-group> (<year>2020</year>). <article-title>Mnemonic prediction errors bias hippocampal states</article-title>. <source>Nat. Commun.</source> <volume>11</volume>:<fpage>3451</fpage>. <pub-id pub-id-type="doi">10.1038/s41467-020-17287-1</pub-id><pub-id pub-id-type="pmid">32651370</pub-id></citation></ref>
<ref id="B13"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bellmund</surname> <given-names>J. L. S.</given-names></name> <name><surname>Cothi</surname> <given-names>W. de.</given-names></name> <name><surname>Ruiter</surname> <given-names>T. A.</given-names></name> <name><surname>Nau</surname> <given-names>M.</given-names></name> <name><surname>Barry</surname> <given-names>C.</given-names></name> <name><surname>Doeller</surname> <given-names>C. F.</given-names></name></person-group> (<year>2019</year>). <article-title>Deforming the metric of cognitive maps distorts memory</article-title>. <source>Nat. Hum. Behav.</source> <fpage>1</fpage>&#x02013;<lpage>12</lpage>. <pub-id pub-id-type="doi">10.1038/s41562-019-0767-3</pub-id><pub-id pub-id-type="pmid">31740749</pub-id></citation></ref>
<ref id="B14"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bengio</surname> <given-names>Y.</given-names></name></person-group> (<year>2017</year>). <article-title>The consciousness prior</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1709.08568</pub-id></citation></ref>
<ref id="B15"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bengio</surname> <given-names>Y.</given-names></name> <name><surname>Deleu</surname> <given-names>T.</given-names></name> <name><surname>Hu</surname> <given-names>E. J.</given-names></name> <name><surname>Lahlou</surname> <given-names>S.</given-names></name> <name><surname>Tiwari</surname> <given-names>M.</given-names></name> <name><surname>Bengio</surname> <given-names>E.</given-names></name></person-group> (<year>2022</year>). <article-title>GFlowNet Foundations</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2111.09266</pub-id></citation></ref>
<ref id="B16"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ben-Yakov</surname> <given-names>A.</given-names></name> <name><surname>Rubinson</surname> <given-names>M.</given-names></name> <name><surname>Dudai</surname> <given-names>Y.</given-names></name></person-group> (<year>2014</year>). <article-title>Shifting gears in hippocampus: temporal dissociation between familiarity and novelty signatures in a single event</article-title>. <source>J. Neurosci.</source> <volume>34</volume>, <fpage>12973</fpage>&#x02013;<lpage>12981</lpage>. <pub-id pub-id-type="doi">10.1523/JNEUROSCI.1892-14.2014</pub-id><pub-id pub-id-type="pmid">25253846</pub-id></citation></ref>
<ref id="B17"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Bergen</surname> <given-names>B. K.</given-names></name></person-group> (<year>2012</year>). <source>Louder Than Words: The New Science of How the Mind Makes Meaning</source>. <publisher-loc>New York, NY</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B18"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Birch</surname> <given-names>J.</given-names></name> <name><surname>Ginsburg</surname> <given-names>S.</given-names></name> <name><surname>Jablonka</surname> <given-names>E.</given-names></name></person-group> (<year>2020</year>). <article-title>Unlimited associative learning and the origins of consciousness: a primer and some predictions</article-title>. <source>Biol. Philos.</source> <volume>35</volume>:<fpage>56</fpage>. <pub-id pub-id-type="doi">10.1007/s10539-020-09772-0</pub-id><pub-id pub-id-type="pmid">33597791</pub-id></citation></ref>
<ref id="B19"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Blain</surname> <given-names>S. D.</given-names></name> <name><surname>Longenecker</surname> <given-names>J. M.</given-names></name> <name><surname>Grazioplene</surname> <given-names>R. G.</given-names></name> <name><surname>Klimes-Dougan</surname> <given-names>B.</given-names></name> <name><surname>DeYoung</surname> <given-names>C. G.</given-names></name></person-group> (<year>2020</year>). <article-title>Apophenia as the disposition to false positives: a unifying framework for openness and psychoticism</article-title>. <source>J. Abnorm. Psychol.</source> <volume>129</volume>, <fpage>279</fpage>&#x02013;<lpage>292</lpage>. <pub-id pub-id-type="doi">10.1037/abn0000504</pub-id><pub-id pub-id-type="pmid">32212749</pub-id></citation></ref>
<ref id="B20"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Blouw</surname> <given-names>P.</given-names></name> <name><surname>Solodkin</surname> <given-names>E.</given-names></name> <name><surname>Thagard</surname> <given-names>P.</given-names></name> <name><surname>Eliasmith</surname> <given-names>C.</given-names></name></person-group> (<year>2016</year>). <article-title>Concepts as semantic pointers: a framework and computational model</article-title>. <source>Cogn. Sci.</source> <volume>40</volume>, <fpage>1128</fpage>&#x02013;<lpage>1162</lpage>. <pub-id pub-id-type="doi">10.1111/cogs.12265</pub-id><pub-id pub-id-type="pmid">26235459</pub-id></citation></ref>
<ref id="B21"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Boccara</surname> <given-names>C. N.</given-names></name> <name><surname>Nardin</surname> <given-names>M.</given-names></name> <name><surname>Stella</surname> <given-names>F.</given-names></name> <name><surname>O&#x02019;Neill</surname> <given-names>J.</given-names></name> <name><surname>Csicsvari</surname> <given-names>J.</given-names></name></person-group> (<year>2019</year>). <article-title>The entorhinal cognitive map is attracted to goals</article-title>. <source>Science</source> <volume>363</volume>, <fpage>1443</fpage>&#x02013;<lpage>1447</lpage>. <pub-id pub-id-type="doi">10.1126/science.aav4837</pub-id><pub-id pub-id-type="pmid">30923221</pub-id></citation></ref>
<ref id="B22"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Buckner</surname> <given-names>R. L.</given-names></name> <name><surname>Krienen</surname> <given-names>F. M.</given-names></name></person-group> (<year>2013</year>). <article-title>The evolution of distributed association networks in the human brain</article-title>. <source>Trends Cogn. Sci.</source> <volume>17</volume>, <fpage>648</fpage>&#x02013;<lpage>665</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2013.09.017</pub-id><pub-id pub-id-type="pmid">24210963</pub-id></citation></ref>
<ref id="B23"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Butler</surname> <given-names>W. N.</given-names></name> <name><surname>Hardcastle</surname> <given-names>K.</given-names></name> <name><surname>Giocomo</surname> <given-names>L. M.</given-names></name></person-group> (<year>2019</year>). <article-title>Remembered reward locations restructure entorhinal spatial maps</article-title>. <source>Science</source> <volume>363</volume>, <fpage>1447</fpage>&#x02013;<lpage>1452</lpage>. <pub-id pub-id-type="doi">10.1126/science.aav5297</pub-id><pub-id pub-id-type="pmid">30923222</pub-id></citation></ref>
<ref id="B24"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Byars</surname> <given-names>S. G.</given-names></name> <name><surname>Stearns</surname> <given-names>S. C.</given-names></name> <name><surname>Boomsma</surname> <given-names>J. J.</given-names></name></person-group> (<year>2014</year>). <article-title>Opposite risk patterns for autism and schizophrenia are associated with normal variation in birth size: phenotypic support for hypothesized diametric gene-dosage effects</article-title>. <source>Proc. R. Soc. B Biol. Sci.</source> <volume>281</volume>:<fpage>20140604</fpage>. <pub-id pub-id-type="doi">10.1098/rspb.2014.0604</pub-id><pub-id pub-id-type="pmid">25232142</pub-id></citation></ref>
<ref id="B25"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Cadena</surname> <given-names>C.</given-names></name> <name><surname>Carlone</surname> <given-names>L.</given-names></name> <name><surname>Carrillo</surname> <given-names>H.</given-names></name> <name><surname>Latif</surname> <given-names>Y.</given-names></name> <name><surname>Scaramuzza</surname> <given-names>D.</given-names></name> <name><surname>Neira</surname> <given-names>J.</given-names></name> <etal/></person-group>. (<year>2016</year>). <article-title>Past, present and future of simultaneous localization and mapping: toward the robust-perception age</article-title>. <source>Trans. Robot.</source> <volume>32</volume>, <fpage>1309</fpage>&#x02013;<lpage>1332</lpage>. <pub-id pub-id-type="doi">10.1109/TRO.2016.2624754</pub-id></citation></ref>
<ref id="B26"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Canolty</surname> <given-names>R. T.</given-names></name> <name><surname>Knight</surname> <given-names>R. T.</given-names></name></person-group> (<year>2010</year>). <article-title>The functional role of cross-frequency coupling</article-title>. <source>Trends Cogn. Sci.</source> <volume>14</volume>, <fpage>506</fpage>&#x02013;<lpage>515</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2010.09.001</pub-id><pub-id pub-id-type="pmid">20932795</pub-id></citation></ref>
<ref id="B27"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Canto</surname> <given-names>C. B.</given-names></name> <name><surname>Koganezawa</surname> <given-names>N.</given-names></name> <name><surname>Lagartos</surname> <given-names>M. J. D.</given-names></name> <name><surname>O&#x02019;Reilly</surname> <given-names>K. C.</given-names></name> <name><surname>Mansvelder</surname> <given-names>H. D.</given-names></name> <name><surname>Witter</surname> <given-names>M. P.</given-names></name></person-group> (<year>2019</year>). <article-title>Postnatal development of functional projections from para- and presubiculum to medial entorhinal cortex in the rat</article-title>. <source>J. Neurosci.</source> <volume>1</volume>, <fpage>1623</fpage>&#x02013;<lpage>19</lpage>. <pub-id pub-id-type="doi">10.1523/JNEUROSCI.1623-19.2019</pub-id><pub-id pub-id-type="pmid">31511428</pub-id></citation></ref>
<ref id="B28"><citation citation-type="book"><person-group person-group-type="author"><name><surname>&#x000C7;atal</surname> <given-names>O.</given-names></name> <name><surname>Jansen</surname> <given-names>W.</given-names></name> <name><surname>Verbelen</surname> <given-names>T.</given-names></name> <name><surname>Dhoedt</surname> <given-names>B.</given-names></name> <name><surname>Steckel</surname> <given-names>J.</given-names></name></person-group> (<year>2021a</year>). &#x0201C;<article-title>LatentSLAM: unsupervised multi-sensor representation learning for localization and mapping</article-title>,&#x0201D; in <source>2021 International Conference on Robotics and Automation (ICRA)</source> (<publisher-loc>Xi&#x02019;an, China</publisher-loc>), 6739&#x02013;6745. <pub-id pub-id-type="doi">10.1109/ICRA48506.2021.9560768</pub-id></citation></ref>
<ref id="B29"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>&#x000C7;atal</surname> <given-names>O.</given-names></name> <name><surname>Verbelen</surname> <given-names>T.</given-names></name> <name><surname>Maele</surname> <given-names>T. V. de.</given-names></name> <name><surname>Dhoedt</surname> <given-names>B.</given-names></name> <name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2021b</year>). <article-title>Robot navigation as hierarchical active inference</article-title>. <source>Neural Netw.</source> <volume>142</volume>, <fpage>192</fpage>&#x02013;<lpage>204</lpage>. <pub-id pub-id-type="doi">10.1016/j.neunet.2021.05.010</pub-id><pub-id pub-id-type="pmid">34022669</pub-id></citation></ref>
<ref id="B30"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Chen</surname> <given-names>B. K.</given-names></name> <name><surname>Murawski</surname> <given-names>N. J.</given-names></name> <name><surname>Cincotta</surname> <given-names>C.</given-names></name> <name><surname>McKissick</surname> <given-names>O.</given-names></name> <name><surname>Finkelstein</surname> <given-names>A.</given-names></name> <name><surname>Hamidi</surname> <given-names>A. B.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>Artificially enhancing and suppressing hippocampus-mediated memories</article-title>. <source>Curr. Biol.</source> <volume>29</volume>, <fpage>1885</fpage>&#x02013;<lpage>1894</lpage>. <pub-id pub-id-type="doi">10.1016/j.cub.2019.04.065</pub-id><pub-id pub-id-type="pmid">31130452</pub-id></citation></ref>
<ref id="B31"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ciaunica</surname> <given-names>A.</given-names></name> <name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2022</year>). <article-title>Disintegrating and reintegrating the self - (In)flexible self-models in depersonalisation and psychedelic experiences</article-title>. <source>PsyArxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/mah78</pub-id></citation></ref>
<ref id="B32"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Conant</surname> <given-names>R. C.</given-names></name> <name><surname>Ashby</surname> <given-names>W. R.</given-names></name></person-group> (<year>1970</year>). <article-title>Every good regulator of a system must be a model of that system</article-title>. <source>Int. J. Syst. Sci.</source> <volume>1</volume>, <fpage>89</fpage>&#x02013;<lpage>97</lpage>. <pub-id pub-id-type="doi">10.1080/00207727008920220</pub-id></citation></ref>
<ref id="B33"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Costa</surname> <given-names>S. I. R.</given-names></name> <name><surname>Santos</surname> <given-names>S. A.</given-names></name> <name><surname>Strapasson</surname> <given-names>J. E.</given-names></name></person-group> (<year>2015</year>). <article-title>Fisher information distance: a geometrical reading</article-title>. <source>Discrete Appl. Math.</source> <volume>197</volume>, <fpage>59</fpage>&#x02013;<lpage>69</lpage>. <pub-id pub-id-type="doi">10.1016/j.dam.2014.10.004</pub-id><pub-id pub-id-type="pmid">32194279</pub-id></citation></ref>
<ref id="B34"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Cranmer</surname> <given-names>M.</given-names></name> <name><surname>Sanchez-Gonzalez</surname> <given-names>A.</given-names></name> <name><surname>Battaglia</surname> <given-names>P.</given-names></name> <name><surname>Xu</surname> <given-names>R.</given-names></name> <name><surname>Cranmer</surname> <given-names>K.</given-names></name> <name><surname>Spergel</surname> <given-names>D.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Discovering symbolic models from deep learning with inductive biases</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2006.11287</pub-id></citation></ref>
<ref id="B35"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Crespi</surname> <given-names>B.</given-names></name> <name><surname>Dinsdale</surname> <given-names>N.</given-names></name></person-group> (<year>2019</year>). <article-title>Autism and psychosis as diametrical disorders of embodiment</article-title>. <source>Evol. Med. Public Health</source> <volume>2019</volume>, <fpage>121</fpage>&#x02013;<lpage>138</lpage>. <pub-id pub-id-type="doi">10.1093/emph/eoz021</pub-id><pub-id pub-id-type="pmid">31402979</pub-id></citation></ref>
<ref id="B36"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Crouse</surname> <given-names>M.</given-names></name> <name><surname>Nakos</surname> <given-names>C.</given-names></name> <name><surname>Abdelaziz</surname> <given-names>I.</given-names></name> <name><surname>Forbus</surname> <given-names>K.</given-names></name></person-group> (<year>2020</year>). <article-title>Neural analogical matching</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2004.03573</pub-id></citation></ref>
<ref id="B37"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Damasio</surname> <given-names>A.</given-names></name></person-group> (<year>2012</year>). <source>Self Comes to Mind: Constructing the Conscious Brain</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Vintage</publisher-name>.</citation></ref>
<ref id="B38"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dasgupta</surname> <given-names>I.</given-names></name> <name><surname>Schulz</surname> <given-names>E.</given-names></name> <name><surname>Goodman</surname> <given-names>N. D.</given-names></name> <name><surname>Gershman</surname> <given-names>S. J.</given-names></name></person-group> (<year>2018</year>). <article-title>Remembrance of inferences past: amortization in human hypothesis generation</article-title>. <source>Cognition</source> <volume>178</volume>, <fpage>67</fpage>&#x02013;<lpage>81</lpage>. <pub-id pub-id-type="doi">10.1016/j.cognition.2018.04.017</pub-id><pub-id pub-id-type="pmid">29793110</pub-id></citation></ref>
<ref id="B39"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dasgupta</surname> <given-names>I.</given-names></name> <name><surname>Wang</surname> <given-names>J.</given-names></name> <name><surname>Chiappa</surname> <given-names>S.</given-names></name> <name><surname>Mitrovic</surname> <given-names>J.</given-names></name> <name><surname>Ortega</surname> <given-names>P.</given-names></name> <name><surname>Raposo</surname> <given-names>D.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>Causal reasoning from meta-reinforcement learning</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1901.08162</pub-id></citation></ref>
<ref id="B40"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>de la Prida</surname> <given-names>L. M.</given-names></name></person-group> (<year>2020</year>). <article-title>Potential factors influencing replay across CA1 during sharp-wave ripples</article-title>. <source>Philos. Trans. R. Soc. B Biol. Sci.</source> <volume>375</volume>:<fpage>20190236</fpage>. <pub-id pub-id-type="doi">10.1098/rstb.2019.0236</pub-id><pub-id pub-id-type="pmid">32248778</pub-id></citation></ref>
<ref id="B41"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Dehaene</surname> <given-names>S.</given-names></name></person-group> (<year>2014</year>). <source>Consciousness and the Brain: Deciphering How the Brain Codes Our Thoughts</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Viking</publisher-name>.</citation></ref>
<ref id="B42"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dehaene</surname> <given-names>S.</given-names></name> <name><surname>Al Roumi</surname> <given-names>F.</given-names></name> <name><surname>Lakretz</surname> <given-names>Y.</given-names></name> <name><surname>Planton</surname> <given-names>S.</given-names></name> <name><surname>Sabl&#x000E9;-Meyer</surname> <given-names>M.</given-names></name></person-group> (<year>2022</year>). <article-title>Symbols and mental programs: a hypothesis about human singularity</article-title>. <source>Trends Cogn. Sci.</source> <volume>26</volume>, <fpage>751</fpage>&#x02013;<lpage>766</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2022.06.010</pub-id><pub-id pub-id-type="pmid">35933289</pub-id></citation></ref>
<ref id="B43"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Dennett</surname> <given-names>D.</given-names></name></person-group> (<year>2017</year>). <source>From Bacteria to Bach and Back: The Evolution of Minds</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>W. W. Norton and Company</publisher-name>.</citation></ref>
<ref id="B44"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>DeYoung</surname> <given-names>C. G.</given-names></name></person-group> (<year>2015</year>). <article-title>Cybernetic big five theory</article-title>. <source>J. Res. Personal.</source> <volume>56</volume>, <fpage>33</fpage>&#x02013;<lpage>58</lpage>. <pub-id pub-id-type="doi">10.1016/j.jrp.2014.07.004</pub-id></citation></ref>
<ref id="B45"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dohmatob</surname> <given-names>E.</given-names></name> <name><surname>Dumas</surname> <given-names>G.</given-names></name> <name><surname>Bzdok</surname> <given-names>D.</given-names></name></person-group> (<year>2020</year>). <article-title>Dark control: the default mode network as a reinforcement learning agent</article-title>. <source>Hum. Brain Mapp.</source> <volume>41</volume>, <fpage>3318</fpage>&#x02013;<lpage>3341</lpage>. <pub-id pub-id-type="doi">10.1002/hbm.25019</pub-id><pub-id pub-id-type="pmid">32500968</pub-id></citation></ref>
<ref id="B46"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Edwards-Duric</surname> <given-names>J.</given-names></name> <name><surname>Stevenson</surname> <given-names>R. J.</given-names></name> <name><surname>Francis</surname> <given-names>H. M.</given-names></name></person-group> (<year>2020</year>). <article-title>The congruence of interoceptive predictions and hippocampal-related memory</article-title>. <source>Biol. Psychol.</source> <volume>155</volume>:<fpage>107929</fpage>. <pub-id pub-id-type="doi">10.1016/j.biopsycho.2020.107929</pub-id><pub-id pub-id-type="pmid">32659430</pub-id></citation></ref>
<ref id="B47"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Eichenbaum</surname> <given-names>H.</given-names></name></person-group> (<year>2014</year>). <article-title>Time cells in the hippocampus: a new dimension for mapping memories</article-title>. <source>Nat. Rev. Neurosci.</source> <volume>15</volume>, <fpage>732</fpage>&#x02013;<lpage>744</lpage>. <pub-id pub-id-type="doi">10.1038/nrn3827</pub-id><pub-id pub-id-type="pmid">25269553</pub-id></citation></ref>
<ref id="B48"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Eichenbaum</surname> <given-names>H.</given-names></name></person-group> (<year>2015</year>). <article-title>The hippocampus as a cognitive map &#x02026; of social space</article-title>. <source>Neuron</source> <volume>87</volume>, <fpage>9</fpage>&#x02013;<lpage>11</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2015.06.013</pub-id><pub-id pub-id-type="pmid">26139366</pub-id></citation></ref>
<ref id="B49"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Eppe</surname> <given-names>M.</given-names></name> <name><surname>Gumbsch</surname> <given-names>C.</given-names></name> <name><surname>Kerzel</surname> <given-names>M.</given-names></name> <name><surname>Nguyen</surname> <given-names>P. D. H.</given-names></name> <name><surname>Butz</surname> <given-names>M. V.</given-names></name> <name><surname>Wermter</surname> <given-names>S.</given-names></name></person-group> (<year>2020</year>). <article-title>Hierarchical principles of embodied reinforcement learning: a review</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2012.10147</pub-id></citation></ref>
<ref id="B50"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Evans</surname> <given-names>T.</given-names></name> <name><surname>Burgess</surname> <given-names>N.</given-names></name></person-group> (<year>2020</year>). <article-title>Replay as structural inference in the hippocampal-entorhinal system</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2020.08.07.241547</pub-id></citation></ref>
<ref id="B51"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Feinberg</surname> <given-names>T. E.</given-names></name> <name><surname>Mallatt</surname> <given-names>J.</given-names></name></person-group> (<year>2013</year>). <article-title>The evolutionary and genetic origins of consciousness in the Cambrian period over 500 million years ago</article-title>. <source>Front. Psychol.</source> <volume>4</volume>:<fpage>667</fpage>. <pub-id pub-id-type="doi">10.3389/fpsyg.2013.00667</pub-id><pub-id pub-id-type="pmid">24109460</pub-id></citation></ref>
<ref id="B52"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Fonken</surname> <given-names>Y. M.</given-names></name> <name><surname>Kam</surname> <given-names>J. W. Y.</given-names></name> <name><surname>Knight</surname> <given-names>R. T.</given-names></name></person-group> (<year>2020</year>). <article-title>A differential role for human hippocampus in novelty and contextual processing: implications for P300</article-title>. <source>Psychophysiology</source> <volume>57</volume>:<fpage>e13400</fpage>. <pub-id pub-id-type="doi">10.1111/psyp.13400</pub-id><pub-id pub-id-type="pmid">31206732</pub-id></citation></ref>
<ref id="B53"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Fraccaro</surname> <given-names>M.</given-names></name> <name><surname>Kamronn</surname> <given-names>S.</given-names></name> <name><surname>Paquet</surname> <given-names>U.</given-names></name> <name><surname>Winther</surname> <given-names>O.</given-names></name></person-group> (<year>2017</year>). <article-title>A disentangled recognition and nonlinear dynamics model for unsupervised learning</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1710.05741</pub-id><pub-id pub-id-type="pmid">31206732</pub-id></citation></ref>
<ref id="B54"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K. J.</given-names></name></person-group> (<year>2010</year>). <article-title>The free-energy principle: a unified brain theory?</article-title> <source>Nat. Rev. Neurosci.</source> <volume>11</volume>, <fpage>127</fpage>&#x02013;<lpage>138</lpage>. <pub-id pub-id-type="doi">10.1038/nrn2787</pub-id><pub-id pub-id-type="pmid">20068583</pub-id></citation></ref>
<ref id="B55"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K. J.</given-names></name> <name><surname>FitzGerald</surname> <given-names>T.</given-names></name> <name><surname>Rigoli</surname> <given-names>F.</given-names></name> <name><surname>Schwartenbeck</surname> <given-names>P.</given-names></name> <name><surname>Pezzulo</surname> <given-names>G.</given-names></name></person-group> (<year>2017a</year>). <article-title>Active inference: a process theory</article-title>. <source>Neural Comput.</source> <volume>29</volume>, <fpage>1</fpage>&#x02013;<lpage>49</lpage>. <pub-id pub-id-type="doi">10.1162/NECO_a_00912</pub-id><pub-id pub-id-type="pmid">27870614</pub-id></citation></ref>
<ref id="B56"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K. J.</given-names></name> <name><surname>Parr</surname> <given-names>T.</given-names></name> <name><surname>de Vries</surname> <given-names>B.</given-names></name></person-group> (<year>2017b</year>). <article-title>The graphical brain: belief propagation and active inference</article-title>. <source>Netw. Neurosci.</source> <volume>1</volume>, <fpage>381</fpage>&#x02013;<lpage>414</lpage>. <pub-id pub-id-type="doi">10.1162/NETN_a_00018</pub-id><pub-id pub-id-type="pmid">29417960</pub-id></citation></ref>
<ref id="B57"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name> <name><surname>Da Costa</surname> <given-names>L.</given-names></name> <name><surname>Hafner</surname> <given-names>D.</given-names></name> <name><surname>Hesp</surname> <given-names>C.</given-names></name> <name><surname>Parr</surname> <given-names>T.</given-names></name></person-group> (<year>2021</year>). <article-title>Sophisticated inference</article-title>. <source>Neural Comput.</source> <volume>33</volume>, <fpage>713</fpage>&#x02013;<lpage>763</lpage>. <pub-id pub-id-type="doi">10.1162/neco_a_01351</pub-id></citation></ref>
<ref id="B58"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name> <name><surname>Parr</surname> <given-names>T.</given-names></name> <name><surname>Zeidman</surname> <given-names>P.</given-names></name></person-group> (<year>2019</year>). <article-title>Bayesian model reduction</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1805.07092</pub-id></citation></ref>
<ref id="B59"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Furtunato</surname> <given-names>A. M. B.</given-names></name> <name><surname>Lob&#x000E3;o-Soares</surname> <given-names>B.</given-names></name> <name><surname>Tort</surname> <given-names>A. B. L.</given-names></name> <name><surname>Belchior</surname> <given-names>H.</given-names></name></person-group> (<year>2020</year>). <article-title>Specific increase of hippocampal delta oscillations across consecutive treadmill runs</article-title>. <source>Front. Behav. Neurosci.</source> <volume>14</volume>:<fpage>101</fpage>. <pub-id pub-id-type="doi">10.3389/fnbeh.2020.00101</pub-id><pub-id pub-id-type="pmid">32676013</pub-id></citation></ref>
<ref id="B60"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Garcez</surname> <given-names>A. d. A.</given-names></name> <name><surname>Lamb</surname> <given-names>L. C.</given-names></name></person-group> (<year>2020</year>). <article-title>Neurosymbolic AI: the 3rd wave</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2012.05876</pub-id></citation></ref>
<ref id="B61"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Garg</surname> <given-names>S.</given-names></name> <name><surname>S&#x000FC;nderhauf</surname> <given-names>N.</given-names></name> <name><surname>Dayoub</surname> <given-names>F.</given-names></name> <name><surname>Morrison</surname> <given-names>D.</given-names></name> <name><surname>Cosgun</surname> <given-names>A.</given-names></name> <name><surname>Carneiro</surname> <given-names>G.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Semantics for robotic mapping, perception and interaction: a survey</article-title>. <source>Found. Trends Robot.</source> <volume>8</volume>, <fpage>1</fpage>&#x02013;<lpage>224</lpage>. <pub-id pub-id-type="doi">10.1561/2300000059</pub-id></citation></ref>
<ref id="B62"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gauthier</surname> <given-names>B.</given-names></name> <name><surname>Pestke</surname> <given-names>K.</given-names></name> <name><surname>van Wassenhove</surname> <given-names>V.</given-names></name></person-group> (<year>2019</year>). <article-title>Building the arrow of time. Over time: a sequence of brain activity mapping imagined events in time and space</article-title>. <source>Cereb. Cortex</source> <volume>29</volume>, <fpage>4398</fpage>&#x02013;<lpage>4414</lpage>. <pub-id pub-id-type="doi">10.1093/cercor/bhy320</pub-id><pub-id pub-id-type="pmid">30566689</pub-id></citation></ref>
<ref id="B63"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gentner</surname> <given-names>D.</given-names></name></person-group> (<year>2010</year>). <article-title>Bootstrapping the mind: analogical processes and symbol systems</article-title>. <source>Cogn. Sci.</source> <volume>34</volume>, <fpage>752</fpage>&#x02013;<lpage>775</lpage>. <pub-id pub-id-type="doi">10.1111/j.1551-6709.2010.01114.x</pub-id><pub-id pub-id-type="pmid">21564235</pub-id></citation></ref>
<ref id="B64"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>George</surname> <given-names>D.</given-names></name> <name><surname>Rikhye</surname> <given-names>R. V.</given-names></name> <name><surname>Gothoskar</surname> <given-names>N.</given-names></name> <name><surname>Guntupalli</surname> <given-names>J. S.</given-names></name> <name><surname>Dedieu</surname> <given-names>A.</given-names></name> <name><surname>L&#x000E1;zaro-Gredilla</surname> <given-names>M.</given-names></name></person-group> (<year>2021</year>). <article-title>Clone-structured graph representations enable flexible learning and vicarious evaluation of cognitive maps</article-title>. <source>Nat. Commun.</source> <volume>12</volume>:<fpage>2392</fpage>. <pub-id pub-id-type="doi">10.1038/s41467-021-22559-5</pub-id><pub-id pub-id-type="pmid">33888694</pub-id></citation></ref>
<ref id="B65"><citation citation-type="web"><person-group person-group-type="author"><name><surname>Gershman</surname> <given-names>S.</given-names></name> <name><surname>Goodman</surname> <given-names>N.</given-names></name></person-group> (<year>2014</year>). <article-title>Amortized inference in probabilistic reasoning</article-title>. <source>Proc. Annu. Meet. Cogn. Sci. Soc.</source> <volume>36</volume>. Available online at: <ext-link ext-link-type="uri" xlink:href="https://escholarship.org/uc/item/34j1h7k5">https://escholarship.org/uc/item/34j1h7k5</ext-link>. Accessed August 26, 2020.</citation></ref>
<ref id="B66"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gopnik</surname> <given-names>A.</given-names></name></person-group> (<year>1998</year>). <article-title>Explanation as orgasm</article-title>. <source>Minds Mach.</source> <volume>8</volume>, <fpage>101</fpage>&#x02013;<lpage>118</lpage>. <pub-id pub-id-type="doi">10.1023/A:1008290415597</pub-id></citation></ref>
<ref id="B67"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Graves</surname> <given-names>A.</given-names></name> <name><surname>Wayne</surname> <given-names>G.</given-names></name> <name><surname>Danihelka</surname> <given-names>I.</given-names></name></person-group> (<year>2014</year>). <article-title>Neural turing machines</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1410.5401</pub-id></citation></ref>
<ref id="B68"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Gray</surname> <given-names>J. A.</given-names></name> <name><surname>McNaughton</surname> <given-names>N.</given-names></name></person-group> (<year>2003</year>). <source>The Neuropsychology of Anxiety: An Enquiry Into the Function of the Septo-Hippocampal System</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</citation></ref>
<ref id="B69"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Greff</surname> <given-names>K.</given-names></name> <name><surname>van Steenkiste</surname> <given-names>S.</given-names></name> <name><surname>Schmidhuber</surname> <given-names>J.</given-names></name></person-group> (<year>2020</year>). <article-title>On the binding problem in artificial neural networks</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2012.05208</pub-id></citation></ref>
<ref id="B70"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Griffiths</surname> <given-names>B. J.</given-names></name> <name><surname>Parish</surname> <given-names>G.</given-names></name> <name><surname>Roux</surname> <given-names>F.</given-names></name> <name><surname>Michelmann</surname> <given-names>S.</given-names></name> <name><surname>Plas</surname> <given-names>M. v. d.</given-names></name> <name><surname>Kolibius</surname> <given-names>L. D.</given-names></name> <etal/></person-group> (<year>2019</year>). <article-title>Directional coupling of slow and fast hippocampal gamma with neocortical alpha/beta oscillations in human episodic memory</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>116</volume>, <fpage>21834</fpage>&#x02013;<lpage>21842</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.1914180116</pub-id><pub-id pub-id-type="pmid">31597741</pub-id></citation></ref>
<ref id="B71"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Griffiths</surname> <given-names>T.</given-names></name> <name><surname>Canini</surname> <given-names>K.</given-names></name> <name><surname>Sanborn</surname> <given-names>A.</given-names></name> <name><surname>Navarro</surname> <given-names>D.</given-names></name></person-group> (<year>2019</year>). <article-title>Unifying rational models of categorization via the hierarchical dirichlet process</article-title>. <source>PsyArXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/ketw3</pub-id></citation></ref>
<ref id="B72"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hafner</surname> <given-names>D.</given-names></name> <name><surname>Ortega</surname> <given-names>P. A.</given-names></name> <name><surname>Ba</surname> <given-names>J.</given-names></name> <name><surname>Parr</surname> <given-names>T.</given-names></name> <name><surname>Friston</surname> <given-names>K.</given-names></name> <name><surname>Heess</surname> <given-names>N.</given-names></name></person-group> (<year>2020</year>). <article-title>Action and perception as divergence minimization</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2009.01791</pub-id></citation></ref>
<ref id="B73"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hafting</surname> <given-names>T.</given-names></name> <name><surname>Fyhn</surname> <given-names>M.</given-names></name> <name><surname>Molden</surname> <given-names>S.</given-names></name> <name><surname>Moser</surname> <given-names>M.-B.</given-names></name> <name><surname>Moser</surname> <given-names>E. I.</given-names></name></person-group> (<year>2005</year>). <article-title>Microstructure of a spatial map in the entorhinal cortex</article-title>. <source>Nature</source> <volume>436</volume>, <fpage>801</fpage>&#x02013;<lpage>806</lpage>. <pub-id pub-id-type="doi">10.1038/nature03721</pub-id><pub-id pub-id-type="pmid">15965463</pub-id></citation></ref>
<ref id="B74"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hassabis</surname> <given-names>D.</given-names></name> <name><surname>Maguire</surname> <given-names>E. A.</given-names></name></person-group> (<year>2009</year>). <article-title>The construction system of the brain</article-title>. <source>Philos. Trans. R. Soc. Lond. B. Biol. Sci.</source> <volume>364</volume>, <fpage>1263</fpage>&#x02013;<lpage>1271</lpage>. <pub-id pub-id-type="doi">10.1098/rstb.2008.0296</pub-id><pub-id pub-id-type="pmid">19528007</pub-id></citation></ref>
<ref id="B75"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hassabis</surname> <given-names>D.</given-names></name> <name><surname>Kumaran</surname> <given-names>D.</given-names></name> <name><surname>Summerfield</surname> <given-names>C.</given-names></name> <name><surname>Botvinick</surname> <given-names>M.</given-names></name></person-group> (<year>2017</year>). <article-title>Neuroscience-inspired artificial intelligence</article-title>. <source>Neuron</source> <volume>95</volume>, <fpage>245</fpage>&#x02013;<lpage>258</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2017.06.011</pub-id></citation></ref>
<ref id="B77"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hassabis</surname> <given-names>D.</given-names></name> <name><surname>Kumaran</surname> <given-names>D.</given-names></name> <name><surname>Vann</surname> <given-names>S. D.</given-names></name> <name><surname>Maguire</surname> <given-names>E. A.</given-names></name></person-group> (<year>2007</year>). <article-title>Patients with hippocampal amnesia cannot imagine new experiences</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>104</volume>, <fpage>1726</fpage>&#x02013;<lpage>1731</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.0610561104</pub-id><pub-id pub-id-type="pmid">17229836</pub-id></citation></ref>
<ref id="B78"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Hawkins</surname> <given-names>J.</given-names></name></person-group> (<year>2021</year>). <source>A Thousand Brains: A New Theory of Intelligence</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B79"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Hawkins</surname> <given-names>J.</given-names></name> <name><surname>Blakeslee</surname> <given-names>S.</given-names></name></person-group> (<year>2004</year>). <source>On Intelligence Adapted</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Times Books</publisher-name>.</citation></ref>
<ref id="B80"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hawkins</surname> <given-names>J.</given-names></name> <name><surname>Lewis</surname> <given-names>M.</given-names></name> <name><surname>Klukas</surname> <given-names>M.</given-names></name> <name><surname>Purdy</surname> <given-names>S.</given-names></name> <name><surname>Ahmad</surname> <given-names>S.</given-names></name></person-group> (<year>2019</year>). <article-title>A framework for intelligence and cortical function based on grid cells in the neocortex</article-title>. <source>Front. Neural Circuits</source> <volume>12</volume>:<fpage>121</fpage>. <pub-id pub-id-type="doi">10.3389/fncir.2018.00121</pub-id><pub-id pub-id-type="pmid">30687022</pub-id></citation></ref>
<ref id="B81"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Henrich</surname> <given-names>J.</given-names></name></person-group> (<year>2017</year>). <source>The Secret of Our Success: How Culture Is Driving Human Evolution, Domesticating Our Species and Making Us Smarter</source>. <publisher-loc>Princeton, NJ</publisher-loc>: <publisher-name>Princeton University Press</publisher-name>.</citation></ref>
<ref id="B82"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Hesp</surname> <given-names>C.</given-names></name> <name><surname>Tschantz</surname> <given-names>A.</given-names></name> <name><surname>Millidge</surname> <given-names>B.</given-names></name> <name><surname>Ramstead</surname> <given-names>M.</given-names></name> <name><surname>Friston</surname> <given-names>K.</given-names></name> <name><surname>Smith</surname> <given-names>R.</given-names></name></person-group> (<year>2020</year>). &#x0201C;<article-title>Sophisticated affective inference: simulating anticipatory affective dynamics of imagining future events</article-title>,&#x0201D; in <source>Active Inference Communications in Computer and Information Science</source>, eds. <person-group person-group-type="editor"><name><surname>Verbelen</surname> <given-names>T.</given-names></name> <name><surname>Lanillos</surname> <given-names>P.</given-names></name> <name><surname>Buckley</surname> <given-names>C. L.</given-names></name> <name><surname>De Boom</surname> <given-names>C.</given-names></name></person-group> (<publisher-loc>Cham</publisher-loc>: <publisher-name>Springer International Publishing</publisher-name>), <fpage>179</fpage>&#x02013;<lpage>186</lpage>.</citation></ref>
<ref id="B83"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hess</surname> <given-names>W.</given-names></name> <name><surname>Kohler</surname> <given-names>D.</given-names></name> <name><surname>Rapp</surname> <given-names>H.</given-names></name> <name><surname>Andor</surname> <given-names>D.</given-names></name></person-group> (<year>2016</year>). &#x0201C;<article-title>Real-time loop closure in 2D LIDAR SLAM</article-title>,&#x0201D; in <source>2016 IEEE International Conference on Robotics and Automation (ICRA)</source> (<publisher-loc>Stockholm, Sweden</publisher-loc>), <fpage>1271</fpage>&#x02013;<lpage>1278</lpage>. <pub-id pub-id-type="doi">10.1109/ICRA.2016.7487258</pub-id></citation></ref>
<ref id="B84"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Heusser</surname> <given-names>A. C.</given-names></name> <name><surname>Poeppel</surname> <given-names>D.</given-names></name> <name><surname>Ezzyat</surname> <given-names>Y.</given-names></name> <name><surname>Davachi</surname> <given-names>L.</given-names></name></person-group> (<year>2016</year>). <article-title>Episodic sequence memory is supported by a theta-gamma phase code</article-title>. <source>Nat. Neurosci.</source> <volume>19</volume>, <fpage>1374</fpage>&#x02013;<lpage>1380</lpage>. <pub-id pub-id-type="doi">10.1038/nn.4374</pub-id><pub-id pub-id-type="pmid">27571010</pub-id></citation></ref>
<ref id="B85"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Higgins</surname> <given-names>C.</given-names></name> <name><surname>Liu</surname> <given-names>Y.</given-names></name> <name><surname>Vidaurre</surname> <given-names>D.</given-names></name> <name><surname>Kurth-Nelson</surname> <given-names>Z.</given-names></name> <name><surname>Dolan</surname> <given-names>R.</given-names></name> <name><surname>Behrens</surname> <given-names>T.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Replay bursts coincide with activation of the default mode and parietal alpha network</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2020.06.23.166645</pub-id></citation></ref>
<ref id="B86"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hills</surname> <given-names>T. T.</given-names></name> <name><surname>Kalff</surname> <given-names>C.</given-names></name> <name><surname>Wiener</surname> <given-names>J. M.</given-names></name></person-group> (<year>2013</year>). <article-title>Adaptive l&#x000E9;vy processes and area-restricted search in human foraging</article-title>. <source>PLoS One</source> <volume>8</volume>:<fpage>e60488</fpage>. <pub-id pub-id-type="doi">10.1371/journal.pone.0060488</pub-id><pub-id pub-id-type="pmid">23577118</pub-id></citation></ref>
<ref id="B87"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hills</surname> <given-names>T. T.</given-names></name> <name><surname>Todd</surname> <given-names>P. M.</given-names></name> <name><surname>Goldstone</surname> <given-names>R. L.</given-names></name></person-group> (<year>2010</year>). <article-title>The central executive as a search process: priming exploration and exploitation across domains</article-title>. <source>J. Exp. Psychol. Gen.</source> <volume>139</volume>, <fpage>590</fpage>&#x02013;<lpage>609</lpage>. <pub-id pub-id-type="doi">10.1037/a0020666</pub-id><pub-id pub-id-type="pmid">21038983</pub-id></citation></ref>
<ref id="B88"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Hofstadter</surname> <given-names>D.</given-names></name> <name><surname>Sander</surname> <given-names>E.</given-names></name></person-group> (<year>2013</year>). <source>Surfaces and Essences: Analogy as the Fuel and Fire of Thinking</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B89"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Honkanen</surname> <given-names>A.</given-names></name> <name><surname>Adden</surname> <given-names>A.</given-names></name> <name><surname>Freitas</surname> <given-names>J. da S.</given-names></name> <name><surname>Heinze</surname> <given-names>S.</given-names></name></person-group> (<year>2019</year>). <article-title>The insect central complex and the neural basis of navigational strategies</article-title>. <source>J. Exp. Biol.</source> <volume>222</volume>:<fpage>jeb188854</fpage>. <pub-id pub-id-type="doi">10.1242/jeb.188854</pub-id><pub-id pub-id-type="pmid">30728235</pub-id></citation></ref>
<ref id="B90"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hou</surname> <given-names>M.</given-names></name> <name><surname>Safron</surname> <given-names>A.</given-names></name> <name><surname>Paller</surname> <given-names>K. A.</given-names></name> <name><surname>Guo</surname> <given-names>C.</given-names></name></person-group> (<year>2013</year>). <article-title>Neural correlates of familiarity and conceptual fluency in a recognition test with ancient pictographic characters</article-title>. <source>Brain Res.</source> <volume>1518</volume>, <fpage>48</fpage>&#x02013;<lpage>60</lpage>. <pub-id pub-id-type="doi">10.1016/j.brainres.2013.04.041</pub-id><pub-id pub-id-type="pmid">23632379</pub-id></citation></ref>
<ref id="B91"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Howard</surname> <given-names>M. W.</given-names></name></person-group> (<year>2018</year>). <article-title>Memory as perception of the past: compressed time in mind and brain</article-title>. <source>Trends Cogn. Sci.</source> <volume>22</volume>, <fpage>124</fpage>&#x02013;<lpage>136</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2017.11.004</pub-id><pub-id pub-id-type="pmid">29389352</pub-id></citation></ref>
<ref id="B92"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Igata</surname> <given-names>H.</given-names></name> <name><surname>Ikegaya</surname> <given-names>Y.</given-names></name> <name><surname>Sasaki</surname> <given-names>T.</given-names></name></person-group> (<year>2020</year>). <article-title>Prioritized experience replays on a hippocampal predictive map for learning</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2020.03.23.002964</pub-id><pub-id pub-id-type="pmid">29389352</pub-id></citation></ref>
<ref id="B93"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Insausti</surname> <given-names>R.</given-names></name> <name><surname>Mu&#x000F1;oz-L&#x000F3;pez</surname> <given-names>M.</given-names></name> <name><surname>Insausti</surname> <given-names>A. M.</given-names></name> <name><surname>Artacho-P&#x000E9;rula</surname> <given-names>E.</given-names></name></person-group> (<year>2017</year>). <article-title>The human periallocortex: layer pattern in presubiculum, parasubiculum and entorhinal cortex. A review</article-title>. <source>Front. Neuroanat.</source> <volume>11</volume>:<fpage>84</fpage>.<pub-id pub-id-type="doi">10.3389/fnana.2017.00084</pub-id></citation></ref>
<ref id="B94"><citation citation-type="book"><person-group person-group-type="author"><name><surname>James</surname> <given-names>W.</given-names></name></person-group> (<year>1890</year>). <source>The Principles of Psychology, Vol. 1</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Dover Publications</publisher-name>.</citation></ref>
<ref id="B95"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Jang</surname> <given-names>A. I.</given-names></name> <name><surname>Nassar</surname> <given-names>M. R.</given-names></name> <name><surname>Dillon</surname> <given-names>D. G.</given-names></name> <name><surname>Frank</surname> <given-names>M. J.</given-names></name></person-group> (<year>2019</year>). <article-title>Positive reward prediction errors during decision-making strengthen memory encoding</article-title>. <source>Nat. Hum. Behav.</source> <volume>3</volume>, <fpage>719</fpage>&#x02013;<lpage>732</lpage>. <pub-id pub-id-type="doi">10.1038/s41562-019-0597-3</pub-id><pub-id pub-id-type="pmid">31061490</pub-id></citation></ref>
<ref id="B96"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Joffily</surname> <given-names>M.</given-names></name> <name><surname>Coricelli</surname> <given-names>G.</given-names></name></person-group> (<year>2013</year>). <article-title>Emotional valence and the free-energy principle</article-title>. <source>PLoS Comput. Biol.</source> <volume>9</volume>:<fpage>e1003094</fpage>. <pub-id pub-id-type="doi">10.1371/journal.pcbi.1003094</pub-id><pub-id pub-id-type="pmid">23785269</pub-id></citation></ref>
<ref id="B97"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kalman</surname> <given-names>R. E.</given-names></name> <name><surname>Bucy</surname> <given-names>R. S.</given-names></name></person-group> (<year>1961</year>). <article-title>New results in linear filtering and prediction theory</article-title>. <source>J. Basic Eng.</source> <volume>83</volume>, <fpage>95</fpage>&#x02013;<lpage>108</lpage>. <pub-id pub-id-type="doi">10.1115/1.3658902</pub-id></citation></ref>
<ref id="B98"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kaplan</surname> <given-names>R.</given-names></name> <name><surname>Friston</surname> <given-names>K. J.</given-names></name></person-group> (<year>2018</year>). <article-title>Planning and navigation as active inference</article-title>. <source>Biol. Cybern.</source> <volume>112</volume>, <fpage>323</fpage>&#x02013;<lpage>343</lpage>. <pub-id pub-id-type="doi">10.1007/s00422-018-0753-2</pub-id><pub-id pub-id-type="pmid">29572721</pub-id></citation></ref>
<ref id="B99"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Karimi Abadchi</surname> <given-names>J.</given-names></name> <name><surname>Nazari-Ahangarkolaee</surname> <given-names>M.</given-names></name> <name><surname>Gattas</surname> <given-names>S.</given-names></name> <name><surname>Bermudez-Contreras</surname> <given-names>E.</given-names></name> <name><surname>Luczak</surname> <given-names>A.</given-names></name> <name><surname>McNaughton</surname> <given-names>B. L.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Spatiotemporal patterns of neocortical activity around hippocampal sharp-wave ripples</article-title>. <source>eLife</source> <volume>9</volume>:<fpage>e51972</fpage>. <pub-id pub-id-type="doi">10.7554/eLife.51972</pub-id><pub-id pub-id-type="pmid">32167467</pub-id></citation></ref>
<ref id="B100"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kirsch</surname> <given-names>L.</given-names></name> <name><surname>Schmidhuber</surname> <given-names>J.</given-names></name></person-group> (<year>2020</year>). <article-title>Meta learning backpropagation and improving it</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2012.14905</pub-id></citation></ref>
<ref id="B101"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Kosiorek</surname> <given-names>A.</given-names></name> <name><surname>Sabour</surname> <given-names>S.</given-names></name> <name><surname>Teh</surname> <given-names>Y. W.</given-names></name> <name><surname>Hinton</surname> <given-names>G. E.</given-names></name></person-group> (<year>2019</year>). &#x0201C;<article-title>Stacked capsule autoencoders</article-title>,&#x0201D; in <source>Advances in Neural Information Processing Systems 32</source>, eds. <person-group person-group-type="editor"><name><surname>Wallach</surname> <given-names>H.</given-names></name> <name><surname>Larochelle</surname> <given-names>H.</given-names></name> <name><surname>Beygelzimer</surname> <given-names>A.</given-names></name> <name><surname>Alch&#x000E9;-Buc</surname> <given-names>F. d.</given-names></name> <name><surname>Fox</surname> <given-names>E.</given-names></name> <name><surname>Garnett</surname> <given-names>R.</given-names></name> <etal/></person-group> (<publisher-name>Red Hook, NY: Curran Associates, Inc.</publisher-name>), <fpage>15433</fpage>. Available online at: <ext-link ext-link-type="uri" xlink:href="https://www.proceedings.com/content/053/053719webtoc.pdf">https://www.proceedings.com/content/053/053719webtoc.pdf</ext-link>.</citation></ref>
<ref id="B102"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kostavelis</surname> <given-names>I.</given-names></name> <name><surname>Gasteratos</surname> <given-names>A.</given-names></name></person-group> (<year>2015</year>). <article-title>Semantic mapping for mobile robotics tasks: a survey</article-title>. <source>Robot. Auton. Syst.</source> <volume>66</volume>, <fpage>86</fpage>&#x02013;<lpage>103</lpage>. <pub-id pub-id-type="doi">10.1016/j.robot.2014.12.006</pub-id></citation></ref>
<ref id="B103"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Koster</surname> <given-names>R.</given-names></name> <name><surname>Chadwick</surname> <given-names>M. J.</given-names></name> <name><surname>Chen</surname> <given-names>Y.</given-names></name> <name><surname>Berron</surname> <given-names>D.</given-names></name> <name><surname>Banino</surname> <given-names>A.</given-names></name> <name><surname>D&#x000FC;zel</surname> <given-names>E.</given-names></name> <etal/></person-group>. (<year>2018</year>). <article-title>Big-loop recurrence within the hippocampal system supports integration of information across episodes</article-title>. <source>Neuron</source> <volume>99</volume>, <fpage>1342</fpage>&#x02013;<lpage>1354</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2018.08.009</pub-id><pub-id pub-id-type="pmid">30236285</pub-id></citation></ref>
<ref id="B104"><citation citation-type="web"><person-group person-group-type="author"><name><surname>Kuehne</surname> <given-names>S. E.</given-names></name> <name><surname>Forbus</surname> <given-names>K. D.</given-names></name> <name><surname>Gentner</surname> <given-names>D.</given-names></name> <name><surname>Quinn</surname> <given-names>B.</given-names></name></person-group> (<year>2000</year>). <article-title>SEQL: category learning as progressive abstraction using structure mapping</article-title>. Available online at: <ext-link ext-link-type="uri" xlink:href="http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4757">http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4757</ext-link>.</citation></ref>
<ref id="B105"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Kullback</surname> <given-names>S.</given-names></name></person-group> (<year>1959</year>). <source>Information Theory and Statistics</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Wiley</publisher-name>.</citation></ref>
<ref id="B106"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kunz</surname> <given-names>L.</given-names></name> <name><surname>Wang</surname> <given-names>L.</given-names></name> <name><surname>Lachner-Piza</surname> <given-names>D.</given-names></name> <name><surname>Zhang</surname> <given-names>H.</given-names></name> <name><surname>Brandt</surname> <given-names>A.</given-names></name> <name><surname>D&#x000FC;mpelmann</surname> <given-names>M.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>Hippocampal theta phases organize the reactivation of large-scale electrophysiological representations during goal-directed navigation</article-title>. <source>Sci. Adv.</source> <volume>5</volume>:<fpage>eaav8192</fpage>. <pub-id pub-id-type="doi">10.1126/sciadv.aav8192</pub-id><pub-id pub-id-type="pmid">31281882</pub-id></citation></ref>
<ref id="B107"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Lakoff</surname> <given-names>G.</given-names></name> <name><surname>Johnson</surname> <given-names>M.</given-names></name></person-group> (<year>1999</year>). <source>Philosophy in the Flesh: The Embodied Mind and Its Challenge to Western Thought</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B108"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Latash</surname> <given-names>M. L.</given-names></name></person-group> (<year>2010</year>). <article-title>Motor synergies and the equilibrium-point hypothesis</article-title>. <source>Motor Control</source> <volume>14</volume>, <fpage>294</fpage>&#x02013;<lpage>322</lpage>. <pub-id pub-id-type="doi">10.1123/mcj.14.3.294</pub-id><pub-id pub-id-type="pmid">20702893</pub-id></citation></ref>
<ref id="B109"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Laubach</surname> <given-names>M.</given-names></name> <name><surname>Amarante</surname> <given-names>L. M.</given-names></name> <name><surname>Caetano</surname> <given-names>M. S.</given-names></name> <name><surname>Horst</surname> <given-names>N. K.</given-names></name></person-group> (<year>2020</year>). <article-title>Reward signaling by the rodent medial frontal cortex</article-title>. <source>Int. Rev. Neurobiol.</source> <volume>158</volume>, <fpage>115</fpage>&#x02013;<lpage>133</lpage>. <pub-id pub-id-type="doi">10.1016/bs.irn.2020.11.012</pub-id><pub-id pub-id-type="pmid">33785143</pub-id></citation></ref>
<ref id="B1"><citation citation-type="web"><person-group person-group-type="author"><name><surname>LeCun</surname> <given-names>Y.</given-names></name></person-group> (<year>2022</year>). <article-title>A path towards autonomous machine intelligence</article-title>. <source>OpenReview</source> Available online at: <ext-link ext-link-type="uri" xlink:href="https://openreview.net/forum?id=BZ5a1r-kVsf">https://openreview.net/forum?id=BZ5a1r-kVsf</ext-link>. Accessed June 28, 2022.</citation></ref>
<ref id="B110"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Lever</surname> <given-names>C.</given-names></name> <name><surname>Burton</surname> <given-names>S.</given-names></name> <name><surname>Jeewajee</surname> <given-names>A.</given-names></name> <name><surname>O&#x02019;Keefe</surname> <given-names>J.</given-names></name> <name><surname>Burgess</surname> <given-names>N.</given-names></name></person-group> (<year>2009</year>). <article-title>Boundary vector cells in the subiculum of the hippocampal formation</article-title>. <source>J. Neurosci.</source> <volume>29</volume>, <fpage>9771</fpage>&#x02013;<lpage>9777</lpage>. <pub-id pub-id-type="doi">10.1523/JNEUROSCI.1319-09.2009</pub-id><pub-id pub-id-type="pmid">19657030</pub-id></citation></ref>
<ref id="B111"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Liashenko</surname> <given-names>A.</given-names></name> <name><surname>Dizaji</surname> <given-names>A. S.</given-names></name> <name><surname>Melloni</surname> <given-names>L.</given-names></name> <name><surname>Schwiedrzik</surname> <given-names>C. M.</given-names></name></person-group> (<year>2020</year>). <article-title>Memory guidance of value-based decision making at an abstract level of representation</article-title>. <source>Sci. Rep.</source> <volume>10</volume>:<fpage>21496</fpage>. <pub-id pub-id-type="doi">10.1038/s41598-020-78460-6</pub-id><pub-id pub-id-type="pmid">33299077</pub-id></citation></ref>
<ref id="B112"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Livneh</surname> <given-names>Y.</given-names></name> <name><surname>Sugden</surname> <given-names>A. U.</given-names></name> <name><surname>Madara</surname> <given-names>J. C.</given-names></name> <name><surname>Essner</surname> <given-names>R. A.</given-names></name> <name><surname>Flores</surname> <given-names>V. I.</given-names></name> <name><surname>Sugden</surname> <given-names>L. A.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Estimation of current and future physiological states in insular cortex</article-title>. <source>Neuron</source> <volume>105</volume>, <fpage>1094</fpage>&#x02013;<lpage>1111</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2019.12.027</pub-id><pub-id pub-id-type="pmid">31955944</pub-id></citation></ref>
<ref id="B113"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Long</surname> <given-names>X.</given-names></name> <name><surname>Zhang</surname> <given-names>S.-J.</given-names></name></person-group> (<year>2021</year>). <article-title>A novel somatosensory spatial navigation system outside the hippocampal formation</article-title>. <source>Cell Res.</source> <volume>31</volume>, <fpage>649</fpage>&#x02013;<lpage>663</lpage>. <pub-id pub-id-type="doi">10.1038/s41422-020-00448-8</pub-id><pub-id pub-id-type="pmid">33462427</pub-id></citation></ref>
<ref id="B114"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Maass</surname> <given-names>A.</given-names></name> <name><surname>Sch&#x000FC;tze</surname> <given-names>H.</given-names></name> <name><surname>Speck</surname> <given-names>O.</given-names></name> <name><surname>Yonelinas</surname> <given-names>A.</given-names></name> <name><surname>Tempelmann</surname> <given-names>C.</given-names></name> <name><surname>Heinze</surname> <given-names>H.-J.</given-names></name> <etal/></person-group>. (<year>2014</year>). <article-title>Laminar activity in the hippocampus and entorhinal cortex related to novelty and episodic encoding</article-title>. <source>Nat. Commun.</source> <volume>5</volume>, <fpage>1</fpage>&#x02013;<lpage>12</lpage>. <pub-id pub-id-type="doi">10.1038/ncomms6547</pub-id><pub-id pub-id-type="pmid">25424131</pub-id></citation></ref>
<ref id="B115"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mack</surname> <given-names>M. L.</given-names></name> <name><surname>Love</surname> <given-names>B. C.</given-names></name> <name><surname>Preston</surname> <given-names>A. R.</given-names></name></person-group> (<year>2018</year>). <article-title>Building concepts one episode at a time: the hippocampus and concept formation</article-title>. <source>Neurosci. Lett.</source> <volume>680</volume>, <fpage>31</fpage>&#x02013;<lpage>38</lpage>. <pub-id pub-id-type="doi">10.1016/j.neulet.2017.07.061</pub-id><pub-id pub-id-type="pmid">28801273</pub-id></citation></ref>
<ref id="B116"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mack</surname> <given-names>M. L.</given-names></name> <name><surname>Preston</surname> <given-names>A. R.</given-names></name> <name><surname>Love</surname> <given-names>B. C.</given-names></name></person-group> (<year>2020</year>). <article-title>Ventromedial prefrontal cortex compression during concept learning</article-title>. <source>Nat. Commun.</source> <volume>11</volume>:<fpage>46</fpage>. <pub-id pub-id-type="doi">10.1038/s41467-019-13930-8</pub-id><pub-id pub-id-type="pmid">31911628</pub-id></citation></ref>
<ref id="B117"><citation citation-type="book"><person-group person-group-type="author"><name><surname>MacKay</surname> <given-names>D. G.</given-names></name></person-group> (<year>2019</year>). <source>Remembering: What 50 Years of Research with Famous Amnesia Patient H. M. Can Teach Us about Memory and How It Works</source>. <publisher-loc>Amherst, MA</publisher-loc>: <publisher-name>Prometheus Books</publisher-name>.</citation></ref>
<ref id="B118"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Madl</surname> <given-names>T.</given-names></name> <name><surname>Franklin</surname> <given-names>S.</given-names></name> <name><surname>Chen</surname> <given-names>K.</given-names></name> <name><surname>Trappl</surname> <given-names>R.</given-names></name></person-group> (<year>2018</year>). <article-title>A computational cognitive framework of spatial memory in brains and robots</article-title>. <source>Cogn. Syst. Res.</source> <volume>47</volume>, <fpage>147</fpage>&#x02013;<lpage>172</lpage>. <pub-id pub-id-type="doi">10.1016/j.cogsys.2017.08.002</pub-id></citation></ref>
<ref id="B119"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mannella</surname> <given-names>F.</given-names></name> <name><surname>Gurney</surname> <given-names>K.</given-names></name> <name><surname>Baldassarre</surname> <given-names>G.</given-names></name></person-group> (<year>2013</year>). <article-title>The nucleus accumbens as a nexus between values and goals in goal-directed behavior: a review and a new hypothesis</article-title>. <source>Front. Behav. Neurosci.</source> <volume>7</volume>:<fpage>135</fpage>. <pub-id pub-id-type="doi">10.3389/fnbeh.2013.00135</pub-id><pub-id pub-id-type="pmid">24167476</pub-id></citation></ref>
<ref id="B120"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Marblestone</surname> <given-names>A. H.</given-names></name> <name><surname>Wayne</surname> <given-names>G.</given-names></name> <name><surname>Kording</surname> <given-names>K. P.</given-names></name></person-group> (<year>2016</year>). <article-title>Toward an integration of deep learning and neuroscience</article-title>. <source>Front. Comput. Neurosci.</source> <volume>10</volume>:<fpage>94</fpage>. <pub-id pub-id-type="doi">10.3389/fncom.2016.00094</pub-id><pub-id pub-id-type="pmid">27683554</pub-id></citation></ref>
<ref id="B121"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Marcus</surname> <given-names>G.</given-names></name></person-group> (<year>2020</year>). <article-title>The next decade in AI: four steps towards robust artificial intelligence</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2002.06177</pub-id></citation></ref>
<ref id="B122"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mazzaglia</surname> <given-names>P.</given-names></name> <name><surname>Verbelen</surname> <given-names>T.</given-names></name> <name><surname>Dhoedt</surname> <given-names>B.</given-names></name></person-group> (<year>2022</year>). <article-title>Contrastive active inference</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2110.10083</pub-id></citation></ref>
<ref id="B123"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>McNamee</surname> <given-names>D. C.</given-names></name> <name><surname>Stachenfeld</surname> <given-names>K. L.</given-names></name> <name><surname>Botvinick</surname> <given-names>M. M.</given-names></name> <name><surname>Gershman</surname> <given-names>S. J.</given-names></name></person-group> (<year>2021</year>). <article-title>Flexible modulation of sequence generation in the entorhinal-hippocampal system</article-title>. <source>Nat. Neurosci.</source> <volume>24</volume>, <fpage>851</fpage>&#x02013;<lpage>862</lpage>. <pub-id pub-id-type="doi">10.1038/s41593-021-00831-7</pub-id><pub-id pub-id-type="pmid">33846626</pub-id></citation></ref>
<ref id="B124"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Milford</surname> <given-names>M. J.</given-names></name> <name><surname>Wyeth</surname> <given-names>G. F.</given-names></name> <name><surname>Prasser</surname> <given-names>D.</given-names></name></person-group> (<year>2004</year>). &#x0201C;<article-title>RatSLAM: a hippocampal model for simultaneous localization and mapping</article-title>,&#x0201D; in <source>2004 International Conference on Robotics and Automation (ICRA)</source> (<publisher-loc>New Orleans, LA</publisher-loc>), <fpage>403</fpage>&#x02013;<lpage>408</lpage>. <pub-id pub-id-type="doi">10.1109/ROBOT.2004.1307183</pub-id></citation></ref>
<ref id="B125"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mok</surname> <given-names>R. M.</given-names></name> <name><surname>Love</surname> <given-names>B. C.</given-names></name></person-group> (<year>2019</year>). <article-title>A non-spatial account of place and grid cells based on clustering models of concept learning</article-title>. <source>Nat. Commun.</source> <volume>10</volume>:<fpage>5685</fpage>. <pub-id pub-id-type="doi">10.1038/s41467-019-13760-8</pub-id><pub-id pub-id-type="pmid">31831749</pub-id></citation></ref>
<ref id="B126"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mok</surname> <given-names>R. M.</given-names></name> <name><surname>Love</surname> <given-names>B. C.</given-names></name></person-group> (<year>2020</year>). <article-title>Abstract neural representations of category membership beyond information coding stimulus or response</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2020.02.13.947341</pub-id></citation></ref>
<ref id="B127"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Morgan</surname> <given-names>A. T.</given-names></name> <name><surname>Petro</surname> <given-names>L. S.</given-names></name> <name><surname>Muckli</surname> <given-names>L.</given-names></name></person-group> (<year>2019</year>). <article-title>Line drawings reveal the structure of internal visual models conveyed by cortical feedback</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/041186</pub-id></citation></ref>
<ref id="B128"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mulders</surname> <given-names>D.</given-names></name> <name><surname>Yim</surname> <given-names>M. Y.</given-names></name> <name><surname>Lee</surname> <given-names>J. S.</given-names></name> <name><surname>Lee</surname> <given-names>A. K.</given-names></name> <name><surname>Taillefumier</surname> <given-names>T.</given-names></name> <name><surname>Fiete</surname> <given-names>I. R.</given-names></name></person-group> (<year>2021</year>). <article-title>A structured scaffold underlies activity in the hippocampus</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2021.11.20.469406</pub-id></citation></ref>
<ref id="B129"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mur-Artal</surname> <given-names>R.</given-names></name> <name><surname>Montiel</surname> <given-names>J. M. M.</given-names></name> <name><surname>Tard&#x000F3;s</surname> <given-names>J. D.</given-names></name></person-group> (<year>2015</year>). <article-title>ORB-SLAM: a Versatile and accurate monocular SLAM system</article-title>. <source>IEEE Trans. Robot.</source> <volume>31</volume>, <fpage>1147</fpage>&#x02013;<lpage>1163</lpage>. <pub-id pub-id-type="doi">10.1109/TRO.2015.2463671</pub-id></citation></ref>
<ref id="B130"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>O&#x02019;Callaghan</surname> <given-names>C.</given-names></name> <name><surname>Walpola</surname> <given-names>I. C.</given-names></name> <name><surname>Shine</surname> <given-names>J. M.</given-names></name></person-group> (<year>2021</year>). <article-title>Neuromodulation of the mind-wandering brain state: the interaction between neuromodulatory tone, sharp wave-ripples and spontaneous thought</article-title>. <source>Philos. Trans. R. Soc. Lond. B. Biol. Sci.</source> <volume>376</volume>:<fpage>20190699</fpage>. <pub-id pub-id-type="doi">10.1098/rstb.2019.0699</pub-id><pub-id pub-id-type="pmid">33308063</pub-id></citation></ref>
<ref id="B131"><citation citation-type="book"><person-group person-group-type="author"><name><surname>O&#x02019;Keefe</surname> <given-names>J.</given-names></name> <name><surname>Nadel</surname> <given-names>L.</given-names></name></person-group> (<year>1978</year>). <source>The Hippocampus as a Cognitive Map</source>. <publisher-loc>Oxford</publisher-loc>: <publisher-name>Clarendon Press</publisher-name>.</citation></ref>
<ref id="B132"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Oh</surname> <given-names>Y.</given-names></name> <name><surname>Chesebrough</surname> <given-names>C.</given-names></name> <name><surname>Erickson</surname> <given-names>B.</given-names></name> <name><surname>Zhang</surname> <given-names>F.</given-names></name> <name><surname>Kounios</surname> <given-names>J.</given-names></name></person-group> (<year>2020</year>). <article-title>An insight-related neural reward signal</article-title>. <source>Neuroimage</source> <volume>214</volume>:<fpage>116757</fpage>. <pub-id pub-id-type="doi">10.1016/j.neuroimage.2020.116757</pub-id><pub-id pub-id-type="pmid">32194279</pub-id></citation></ref>
<ref id="B133"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Papez</surname> <given-names>J.W.</given-names></name></person-group> (<year>1937</year>). <article-title>A proposed mechanism of emotion</article-title>. <source>Arch. Neurol. Psychiatry</source> <volume>38</volume>, <fpage>725</fpage>&#x02013;<lpage>743</lpage>. </citation></ref>
<ref id="B134"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Parascandolo</surname> <given-names>G.</given-names></name> <name><surname>Buesing</surname> <given-names>L.</given-names></name> <name><surname>Merel</surname> <given-names>J.</given-names></name> <name><surname>Hasenclever</surname> <given-names>L.</given-names></name> <name><surname>Aslanides</surname> <given-names>J.</given-names></name> <name><surname>Hamrick</surname> <given-names>J. B.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Divide-and-conquer monte carlo tree search for goal-directed planning</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2004.11410</pub-id></citation></ref>
<ref id="B135"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Pastalkova</surname> <given-names>E.</given-names></name> <name><surname>Itskov</surname> <given-names>V.</given-names></name> <name><surname>Amarasingham</surname> <given-names>A.</given-names></name> <name><surname>Buzs&#x000E1;ki</surname> <given-names>G.</given-names></name></person-group> (<year>2008</year>). <article-title>Internally generated cell assembly sequences in the rat hippocampus</article-title>. <source>Science</source> <volume>321</volume>, <fpage>1322</fpage>&#x02013;<lpage>1327</lpage>. <pub-id pub-id-type="doi">10.1126/science.1159775</pub-id><pub-id pub-id-type="pmid">18772431</pub-id></citation></ref>
<ref id="B136"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Pearl</surname> <given-names>J.</given-names></name> <name><surname>Mackenzie</surname> <given-names>D.</given-names></name></person-group> (<year>2018</year>). <source>The Book of Why: The New Science of Cause and Effect</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B137"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Penny</surname> <given-names>W. D.</given-names></name> <name><surname>Zeidman</surname> <given-names>P.</given-names></name> <name><surname>Burgess</surname> <given-names>N.</given-names></name></person-group> (<year>2013</year>). <article-title>Forward and backward inference in spatial cognition</article-title>. <source>PLoS Comput. Biol.</source> <volume>9</volume>:<fpage>e1003383</fpage>. <pub-id pub-id-type="doi">10.1371/journal.pcbi.1003383</pub-id><pub-id pub-id-type="pmid">24348230</pub-id></citation></ref>
<ref id="B138"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Philippsen</surname> <given-names>A.</given-names></name> <name><surname>Nagai</surname> <given-names>Y.</given-names></name></person-group> (<year>2020</year>). <article-title>A predictive coding account for cognition in human children and chimpanzees: a case study of drawing</article-title>. <source>IEEE Trans. Cogn. Dev. Syst.</source> <volume>1</volume>:<fpage>1</fpage>. <pub-id pub-id-type="doi">10.1109/TCDS.2020.3006497</pub-id></citation></ref>
<ref id="B139"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Premack</surname> <given-names>D.</given-names></name></person-group> (<year>1983</year>). <article-title>The codes of man and beasts</article-title>. <source>Behav. Brain Sci.</source> <volume>6</volume>, <fpage>125</fpage>&#x02013;<lpage>136</lpage>. <pub-id pub-id-type="doi">10.1017/S0140525X00015077</pub-id></citation></ref>
<ref id="B140"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Quiroga</surname> <given-names>R. Q.</given-names></name></person-group> (<year>2020</year>). <article-title>No pattern separation in the human hippocampus</article-title>. <source>Trends Cogn. Sci.</source> <volume>24</volume>, <fpage>994</fpage>&#x02013;<lpage>1007</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2020.09.012</pub-id><pub-id pub-id-type="pmid">33162337</pub-id></citation></ref>
<ref id="B141"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Ramachandran</surname> <given-names>V. S.</given-names></name> <name><surname>Vajanaphanich</surname> <given-names>M.</given-names></name> <name><surname>Chunharas</surname> <given-names>C.</given-names></name></person-group> (<year>2016</year>). <article-title>Calendars in the brain; their perceptual characteristics and possible neural substrate</article-title>. <source>Neurocase</source> <volume>22</volume>, <fpage>461</fpage>&#x02013;<lpage>465</lpage>. <pub-id pub-id-type="doi">10.1080/13554794.2016.1250913</pub-id><pub-id pub-id-type="pmid">27825288</pub-id></citation></ref>
<ref id="B142"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Richards</surname> <given-names>B. A.</given-names></name> <name><surname>Lillicrap</surname> <given-names>T. P.</given-names></name> <name><surname>Beaudoin</surname> <given-names>P.</given-names></name> <name><surname>Bengio</surname> <given-names>Y.</given-names></name> <name><surname>Bogacz</surname> <given-names>R.</given-names></name> <name><surname>Christensen</surname> <given-names>A.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>A deep learning framework for neuroscience</article-title>. <source>Nat. Neurosci.</source> <volume>22</volume>, <fpage>1761</fpage>&#x02013;<lpage>1770</lpage>. <pub-id pub-id-type="doi">10.1038/s41593-019-0520-2</pub-id><pub-id pub-id-type="pmid">31659335</pub-id></citation></ref>
<ref id="B143"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Rouhani</surname> <given-names>N.</given-names></name> <name><surname>Norman</surname> <given-names>K. A.</given-names></name> <name><surname>Niv</surname> <given-names>Y.</given-names></name> <name><surname>Bornstein</surname> <given-names>A. M.</given-names></name></person-group> (<year>2020</year>). <article-title>Reward prediction errors create event boundaries in memory</article-title>. <source>Cognition</source> <volume>203</volume>:<fpage>104269</fpage>. <pub-id pub-id-type="doi">10.1016/j.cognition.2020.104269</pub-id><pub-id pub-id-type="pmid">32563083</pub-id></citation></ref>
<ref id="B144"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Sabour</surname> <given-names>S.</given-names></name> <name><surname>Frosst</surname> <given-names>N.</given-names></name> <name><surname>Hinton</surname> <given-names>G. E.</given-names></name></person-group> (<year>2017</year>). <article-title>Dynamic routing between capsules</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1710.09829</pub-id></citation></ref>
<ref id="B145"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2019a</year>). <article-title>Bayesian analogical cybernetics</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1911.02362</pub-id></citation></ref>
<ref id="B146"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2019b</year>). <article-title>Multilevel evolutionary developmental optimization (MEDO): a theoretical framework for understanding preferences and selection dynamics</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1910.13443</pub-id></citation></ref>
<ref id="B147"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2020a</year>). <article-title>An integrated world modeling theory (IWMT) of consciousness: combining integrated information and global neuronal workspace theories with the free energy principle and active inference framework; toward solving the hard problem and characterizing agentic causation</article-title>. <source>Front. Artif. Intell.</source> <volume>3</volume>:<fpage>30</fpage>. <pub-id pub-id-type="doi">10.3389/frai.2020.00030</pub-id><pub-id pub-id-type="pmid">33733149</pub-id></citation></ref>
<ref id="B148"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2020b</year>). <article-title>Integrated world modeling theory (IWMT) implemented: towards reverse engineering consciousness with the free energy principle and active inference</article-title>. <source>PsyArXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/paz5j</pub-id></citation></ref>
<ref id="B149"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2020c</year>). <article-title>On the varieties of conscious experiences: altered beliefs under psychedelics (ALBUS)</article-title>. <source>PsyArXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/zqh4b</pub-id></citation></ref>
<ref id="B150"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2021a</year>). <article-title>Integrated world modeling theory (IWMT) expanded: implications for theories of consciousness and artificial intelligence</article-title>. <source>PsyArXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/rm5b2</pub-id></citation></ref>
<ref id="B151"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2021b</year>). <article-title>The radically embodied conscious cybernetic bayesian brain: from free energy to free will and back again</article-title>. <source>Entropy</source> <volume>23</volume>:<fpage>783</fpage>. <pub-id pub-id-type="doi">10.3390/e23060783</pub-id><pub-id pub-id-type="pmid">34202965</pub-id></citation></ref>
<ref id="B152"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name> <name><surname>DeYoung</surname> <given-names>C. G.</given-names></name></person-group> (<year>2021</year>). &#x0201C;<article-title>Chapter 18 - integrating cybernetic big five theory with the free energy principle: a new strategy for modeling personalities as complex systems</article-title>,&#x0201D; in <source>Measuring and Modeling Persons and Situations</source>, eds. <person-group person-group-type="editor"><name><surname>Wood</surname> <given-names>D.</given-names></name> <name><surname>Read</surname> <given-names>S. J.</given-names></name> <name><surname>Harms</surname> <given-names>P. D.</given-names></name> <name><surname>Slaughter</surname> <given-names>A.</given-names></name></person-group> (<publisher-name>London, UK: Academic Press</publisher-name>), <fpage>617</fpage>&#x02013;<lpage>649</lpage>.</citation></ref>
<ref id="B153"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name> <name><surname>Sheikhbahaee</surname> <given-names>Z.</given-names></name></person-group> (<year>2021</year>). <article-title>Dream to explore: 5-HT2a as adaptive temperature parameter for sophisticated affective inference</article-title>. <source>PsyArXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.31234/osf.io/zmpaq</pub-id></citation></ref>
<ref id="B154"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Schmidhuber</surname> <given-names>J.</given-names></name></person-group> (<year>2010</year>). <article-title>Formal theory of creativity, fun and intrinsic motivation (1990&#x02013;2010)</article-title>. <source>IEEE Trans. Auton. Ment. Dev.</source> <volume>2</volume>, <fpage>230</fpage>&#x02013;<lpage>247</lpage>. <pub-id pub-id-type="doi">10.1109/TAMD.2010.2056368</pub-id></citation></ref>
<ref id="B155"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Schmidhuber</surname> <given-names>J.</given-names></name></person-group> (<year>2020</year>). <article-title>Reinforcement learning upside down: don&#x02019;t predict rewards &#x02013; just map them to actions</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1912.02875</pub-id></citation></ref>
<ref id="B156"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Shamash</surname> <given-names>P.</given-names></name> <name><surname>Olesen</surname> <given-names>S. F.</given-names></name> <name><surname>Iordanidou</surname> <given-names>P.</given-names></name> <name><surname>Campagner</surname> <given-names>D.</given-names></name> <name><surname>Nabhojit</surname> <given-names>B.</given-names></name> <name><surname>Branco</surname> <given-names>T.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Mice learn multi-step routes by memorizing subgoal locations</article-title>. <source>bioRxiv</source> [Preprint]. <fpage>2020.08.19.256867</fpage>. <pub-id pub-id-type="doi">10.1101/2020.08.19.256867</pub-id></citation></ref>
<ref id="B157"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Shang</surname> <given-names>W.</given-names></name> <name><surname>Trott</surname> <given-names>A.</given-names></name> <name><surname>Zheng</surname> <given-names>S.</given-names></name> <name><surname>Xiong</surname> <given-names>C.</given-names></name> <name><surname>Socher</surname> <given-names>R.</given-names></name></person-group> (<year>2019</year>). <article-title>Learning world graphs to accelerate hierarchical reinforcement learning</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1907.00664</pub-id></citation></ref>
<ref id="B158"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Sharif</surname> <given-names>F.</given-names></name> <name><surname>Tayebi</surname> <given-names>B.</given-names></name> <name><surname>Buzs&#x000E1;ki</surname> <given-names>G.</given-names></name> <name><surname>Royer</surname> <given-names>S.</given-names></name> <name><surname>Fernandez-Ruiz</surname> <given-names>A.</given-names></name></person-group> (<year>2020</year>). <article-title>Subcircuits of deep and superficial CA1 place cells support efficient spatial coding across heterogeneous environments</article-title>. <source>Neuron</source> <volume>109</volume>, <fpage>363</fpage>&#x02013;<lpage>376</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2020.10.034</pub-id><pub-id pub-id-type="pmid">33217328</pub-id></citation></ref>
<ref id="B159"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Shine</surname> <given-names>J. M.</given-names></name></person-group> (<year>2021</year>). <article-title>The thalamus integrates the macrosystems of the brain to facilitate complex, adaptive brain network dynamics</article-title>. <source>Prog. Neurobiol.</source> <volume>199</volume>:<fpage>101951</fpage>. <pub-id pub-id-type="doi">10.1016/j.pneurobio.2020.101951</pub-id><pub-id pub-id-type="pmid">33189781</pub-id></citation></ref>
<ref id="B160"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Spiers</surname> <given-names>H. J.</given-names></name> <name><surname>Hayman</surname> <given-names>R. M. A.</given-names></name> <name><surname>Jovalekic</surname> <given-names>A.</given-names></name> <name><surname>Marozzi</surname> <given-names>E.</given-names></name> <name><surname>Jeffery</surname> <given-names>K. J.</given-names></name></person-group> (<year>2015</year>). <article-title>Place field repetition and purely local remapping in a multicompartment environment</article-title>. <source>Cereb. Cortex</source> <volume>25</volume>, <fpage>10</fpage>&#x02013;<lpage>25</lpage>. <pub-id pub-id-type="doi">10.1093/cercor/bht198</pub-id><pub-id pub-id-type="pmid">23945240</pub-id></citation></ref>
<ref id="B161"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Stachenfeld</surname> <given-names>K. L.</given-names></name> <name><surname>Botvinick</surname> <given-names>M. M.</given-names></name> <name><surname>Gershman</surname> <given-names>S. J.</given-names></name></person-group> (<year>2017</year>). <article-title>The hippocampus as a predictive map</article-title>. <source>Nat. Neurosci.</source> <volume>20</volume>, <fpage>1643</fpage>&#x02013;<lpage>1653</lpage>. <pub-id pub-id-type="doi">10.1038/nn.4650</pub-id><pub-id pub-id-type="pmid">28967910</pub-id></citation></ref>
<ref id="B162"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Stoianov</surname> <given-names>I.</given-names></name> <name><surname>Maisto</surname> <given-names>D.</given-names></name> <name><surname>Pezzulo</surname> <given-names>G.</given-names></name></person-group> (<year>2022</year>). <article-title>The hippocampal formation as a hierarchical generative model supporting generative replay and continual learning</article-title>. <source>Prog. Neurobiol.</source> <volume>217</volume>:<fpage>102329</fpage>. <pub-id pub-id-type="doi">10.1016/j.pneurobio.2022.102329</pub-id><pub-id pub-id-type="pmid">35870678</pub-id></citation></ref>
<ref id="B163"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Striedter</surname> <given-names>G. F.</given-names></name></person-group> (<year>2004</year>). <source>Principles of Brain Evolution</source>. <publisher-loc>Sunderland, MA</publisher-loc>: <publisher-name>Sinauer Associates is an imprint of Oxford University Press</publisher-name>.</citation></ref>
<ref id="B164"><citation citation-type="book"><person-group person-group-type="author"><name><surname>S&#x000FC;nderhauf</surname> <given-names>N.</given-names></name> <name><surname>Pham</surname> <given-names>T. T.</given-names></name> <name><surname>Latif</surname> <given-names>Y.</given-names></name> <name><surname>Milford</surname> <given-names>M.</given-names></name> <name><surname>Reid</surname> <given-names>I.</given-names></name></person-group> (<year>2017</year>). &#x0201C;<article-title>Meaningful maps with object-oriented semantic mapping</article-title>,&#x0201D; in <source>2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)</source> (<publisher-loc>Vancouver, BC, Canada</publisher-loc>), <fpage>5079</fpage>&#x02013;<lpage>5085</lpage>. <pub-id pub-id-type="doi">10.1109/IROS.2017.8206392</pub-id></citation></ref>
<ref id="B165"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Suryanarayana</surname> <given-names>S. M.</given-names></name> <name><surname>P&#x000E9;rez-Fern&#x000E1;ndez</surname> <given-names>J.</given-names></name> <name><surname>Robertson</surname> <given-names>B.</given-names></name> <name><surname>Grillner</surname> <given-names>S.</given-names></name></person-group> (<year>2020</year>). <article-title>The evolutionary origin of visual and somatosensory representation in the vertebrate pallium</article-title>. <source>Nat. Ecol. Evol.</source> <fpage>1</fpage>&#x02013;<lpage>13</lpage>. <pub-id pub-id-type="doi">10.1038/s41559-020-1137-2</pub-id><pub-id pub-id-type="pmid">32203472</pub-id></citation></ref>
<ref id="B166"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Taniguchi</surname> <given-names>A.</given-names></name> <name><surname>Fukawa</surname> <given-names>A.</given-names></name> <name><surname>Yamakawa</surname> <given-names>H.</given-names></name></person-group> (<year>2022</year>). <article-title>Hippocampal formation-inspired probabilistic generative model</article-title>. <source>Neural Netw.</source> <volume>151</volume>, <fpage>317</fpage>&#x02013;<lpage>335</lpage>. <pub-id pub-id-type="doi">10.1016/j.neunet.2022.04.001</pub-id><pub-id pub-id-type="pmid">35468492</pub-id></citation></ref>
<ref id="B167"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Thomas</surname> <given-names>V.</given-names></name> <name><surname>Bengio</surname> <given-names>E.</given-names></name> <name><surname>Fedus</surname> <given-names>W.</given-names></name> <name><surname>Pondard</surname> <given-names>J.</given-names></name> <name><surname>Beaudoin</surname> <given-names>P.</given-names></name> <name><surname>Larochelle</surname> <given-names>H.</given-names></name> <etal/></person-group>. (<year>2018</year>). <article-title>Disentangling the independently controllable factors of variation by interacting with the world</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1802.09484</pub-id></citation></ref>
<ref id="B168"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Thomas</surname> <given-names>V.</given-names></name> <name><surname>Pondard</surname> <given-names>J.</given-names></name> <name><surname>Bengio</surname> <given-names>E.</given-names></name> <name><surname>Sarfati</surname> <given-names>M.</given-names></name> <name><surname>Beaudoin</surname> <given-names>P.</given-names></name> <name><surname>Meurs</surname> <given-names>M.-J.</given-names></name> <etal/></person-group>. (<year>2017</year>). <article-title>Independently controllable factors</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1708.01289</pub-id></citation></ref>
<ref id="B170"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Thrun</surname> <given-names>S.</given-names></name> <name><surname>Burgard</surname> <given-names>W.</given-names></name> <name><surname>Fox</surname> <given-names>D.</given-names></name></person-group> (<year>2005</year>). <source>Probabilistic Robotics</source>. <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>MIT Press</publisher-name>.</citation></ref>
<ref id="B169"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Thrun</surname> <given-names>S.</given-names></name> <name><surname>Montemerlo</surname> <given-names>M.</given-names></name></person-group> (<year>2006</year>). <article-title>The graph SLAM algorithm with applications to large-scale mapping of urban structures</article-title>. <source>Int. J. Robot. Res.</source> <volume>25</volume>, <fpage>403</fpage>&#x02013;<lpage>429</lpage>. <pub-id pub-id-type="doi">10.1177/0278364906065387</pub-id></citation></ref>
<ref id="B171"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Tingley</surname> <given-names>D.</given-names></name> <name><surname>Buzs&#x000E1;ki</surname> <given-names>G.</given-names></name></person-group> (<year>2018</year>). <article-title>Transformation of a spatial map across the hippocampal-lateral septal circuit</article-title>. <source>Neuron</source> <volume>98</volume>, <fpage>1229</fpage>&#x02013;<lpage>1242</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuron.2018.04.028</pub-id><pub-id pub-id-type="pmid">29779942</pub-id></citation></ref>
<ref id="B172"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Todd</surname> <given-names>P. M.</given-names></name> <name><surname>Gigerenzer</surname> <given-names>G.</given-names></name></person-group> (<year>2012</year>). <source>Ecological Rationality: Intelligence in the World</source>. <publisher-loc>Oxford; New York</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</citation></ref>
<ref id="B173"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Tolman</surname> <given-names>E. C.</given-names></name></person-group> (<year>1948</year>). <article-title>Cognitive maps in rats and men</article-title>. <source>Psychol. Rev.</source> <volume>55</volume>, <fpage>189</fpage>&#x02013;<lpage>208</lpage>. <pub-id pub-id-type="doi">10.1037/h0061626</pub-id><pub-id pub-id-type="pmid">18870876</pub-id></citation></ref>
<ref id="B174"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Tversky</surname> <given-names>B.</given-names></name></person-group> (<year>2019</year>). <source>Mind in Motion: How Action Shapes Thought</source>. <publisher-loc>New York</publisher-loc>: <publisher-name>Basic Books</publisher-name>.</citation></ref>
<ref id="B175"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Umbach</surname> <given-names>G.</given-names></name> <name><surname>Kantak</surname> <given-names>P.</given-names></name> <name><surname>Jacobs</surname> <given-names>J.</given-names></name> <name><surname>Kahana</surname> <given-names>M.</given-names></name> <name><surname>Pfeiffer</surname> <given-names>B. E.</given-names></name> <name><surname>Sperling</surname> <given-names>M.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Time cells in the human hippocampus and entorhinal cortex support episodic memory</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>117</volume>, <fpage>28463</fpage>&#x02013;<lpage>28474</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.2013250117</pub-id><pub-id pub-id-type="pmid">33109718</pub-id></citation></ref>
<ref id="B176"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Urgolites</surname> <given-names>Z. J.</given-names></name> <name><surname>Wixted</surname> <given-names>J. T.</given-names></name> <name><surname>Goldinger</surname> <given-names>S. D.</given-names></name> <name><surname>Papesh</surname> <given-names>M. H.</given-names></name> <name><surname>Treiman</surname> <given-names>D. M.</given-names></name> <name><surname>Squire</surname> <given-names>L. R.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>Spiking activity in the human hippocampus prior to encoding predicts subsequent memory</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>117</volume>, <fpage>13767</fpage>&#x02013;<lpage>13770</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.2001338117</pub-id><pub-id pub-id-type="pmid">32482860</pub-id></citation></ref>
<ref id="B177"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Uria</surname> <given-names>B.</given-names></name> <name><surname>Ibarz</surname> <given-names>B.</given-names></name> <name><surname>Banino</surname> <given-names>A.</given-names></name> <name><surname>Zambaldi</surname> <given-names>V.</given-names></name> <name><surname>Kumaran</surname> <given-names>D.</given-names></name> <name><surname>Hassabis</surname> <given-names>D.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>The spatial memory pipeline: a model of egocentric to allocentric understanding in mammalian brains</article-title>. <source>bioRxiv</source> [Preprint]. <pub-id pub-id-type="doi">10.1101/2020.11.11.378141</pub-id></citation></ref>
<ref id="B178"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>van den Heuvel</surname> <given-names>M. P.</given-names></name> <name><surname>Scholtens</surname> <given-names>L. H.</given-names></name> <name><surname>de Lange</surname> <given-names>S. C.</given-names></name> <name><surname>Pijnenburg</surname> <given-names>R.</given-names></name> <name><surname>Cahn</surname> <given-names>W.</given-names></name> <name><surname>van Haren</surname> <given-names>N. E. M.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>Evolutionary modifications in human brain connectivity associated with schizophrenia</article-title>. <source>Brain J. Neurol.</source> <volume>142</volume>, <fpage>3991</fpage>&#x02013;<lpage>4002</lpage>&#x02025;<pub-id pub-id-type="doi">10.1093/brain/awz330</pub-id><pub-id pub-id-type="pmid">31724729</pub-id></citation></ref>
<ref id="B179"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wang</surname> <given-names>C.</given-names></name> <name><surname>Chen</surname> <given-names>X.</given-names></name> <name><surname>Lee</surname> <given-names>H.</given-names></name> <name><surname>Deshmukh</surname> <given-names>S. S.</given-names></name> <name><surname>Yoganarasimha</surname> <given-names>D.</given-names></name> <name><surname>Savelli</surname> <given-names>F.</given-names></name> <etal/></person-group>. (<year>2018</year>). <article-title>Egocentric coding of external items in the lateral entorhinal cortex</article-title>. <source>Science</source> <volume>362</volume>, <fpage>945</fpage>&#x02013;<lpage>949</lpage>. <pub-id pub-id-type="doi">10.1126/science.aau4940</pub-id><pub-id pub-id-type="pmid">30467169</pub-id></citation></ref>
<ref id="B180"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wang</surname> <given-names>J. X.</given-names></name> <name><surname>Kurth-Nelson</surname> <given-names>Z.</given-names></name> <name><surname>Kumaran</surname> <given-names>D.</given-names></name> <name><surname>Tirumala</surname> <given-names>D.</given-names></name> <name><surname>Soyer</surname> <given-names>H.</given-names></name> <name><surname>Leibo</surname> <given-names>J. Z.</given-names></name> <etal/></person-group>. (<year>2018</year>). <article-title>Prefrontal cortex as a meta-reinforcement learning system</article-title>. <source>Nat. Neurosci.</source> <volume>21</volume>:<fpage>860</fpage>. <pub-id pub-id-type="doi">10.1038/s41593-018-0147-8</pub-id><pub-id pub-id-type="pmid">29760527</pub-id></citation></ref>
<ref id="B181"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Whittington</surname> <given-names>J. C. R.</given-names></name> <name><surname>McCaffary</surname> <given-names>D.</given-names></name> <name><surname>Bakermans</surname> <given-names>J. J. W.</given-names></name> <name><surname>Behrens</surname> <given-names>T. E. J.</given-names></name></person-group> (<year>2022</year>). <article-title>How to build a cognitive map: insights from models of the hippocampal formation</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.2202.01682</pub-id></citation></ref>
<ref id="B182"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Whittington</surname> <given-names>J. C. R.</given-names></name> <name><surname>Muller</surname> <given-names>T. H.</given-names></name> <name><surname>Mark</surname> <given-names>S.</given-names></name> <name><surname>Barry</surname> <given-names>C.</given-names></name> <name><surname>Behrens</surname> <given-names>T. E. J.</given-names></name></person-group> (<year>2018</year>). <article-title>Generalisation of structural knowledge in the hippocampal-entorhinal system</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1805.09042</pub-id></citation></ref>
<ref id="B183"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Whittington</surname> <given-names>J. C. R.</given-names></name> <name><surname>Muller</surname> <given-names>T. H.</given-names></name> <name><surname>Mark</surname> <given-names>S.</given-names></name> <name><surname>Chen</surname> <given-names>G.</given-names></name> <name><surname>Barry</surname> <given-names>C.</given-names></name> <name><surname>Burgess</surname> <given-names>N.</given-names></name> <etal/></person-group>. (<year>2020</year>). <article-title>The tolman-eichenbaum machine: unifying space and relational memory through generalization in the hippocampal formation</article-title>. <source>Cell</source> <volume>183</volume>, <fpage>1249</fpage>&#x02013;<lpage>1263</lpage>. e23. <pub-id pub-id-type="doi">10.1016/j.cell.2020.10.024</pub-id><pub-id pub-id-type="pmid">33181068</pub-id></citation></ref>
<ref id="B184"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wijesinghe</surname> <given-names>R.</given-names></name> <name><surname>Protti</surname> <given-names>D. A.</given-names></name> <name><surname>Camp</surname> <given-names>A. J.</given-names></name></person-group> (<year>2015</year>). <article-title>Vestibular Interactions in the Thalamus</article-title>. <source>Front. Neural Circuits</source> <volume>9</volume>:<fpage>79</fpage>. <pub-id pub-id-type="doi">10.3389/fncir.2015.00079</pub-id><pub-id pub-id-type="pmid">26696836</pub-id></citation></ref>
<ref id="B185"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wynn</surname> <given-names>J. S.</given-names></name> <name><surname>Ryan</surname> <given-names>J. D.</given-names></name> <name><surname>Buchsbaum</surname> <given-names>B. R.</given-names></name></person-group> (<year>2020</year>). <article-title>Eye movements support behavioral pattern completion</article-title>. <source>Proc. Natl. Acad. Sci.</source> <volume>117</volume>, <fpage>6246</fpage>&#x02013;<lpage>6254</lpage>. <pub-id pub-id-type="doi">10.1073/pnas.1917586117</pub-id><pub-id pub-id-type="pmid">32123109</pub-id></citation></ref>
<ref id="B186"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Zador</surname> <given-names>A. M.</given-names></name></person-group> (<year>2019</year>). <article-title>A critique of pure learning and what artificial neural networks can learn from animal brains</article-title>. <source>Nat. Commun.</source> <volume>10</volume>, <fpage>1</fpage>&#x02013;<lpage>7</lpage>. <pub-id pub-id-type="doi">10.1038/s41467-019-11786-6</pub-id><pub-id pub-id-type="pmid">31434893</pub-id></citation></ref>
<ref id="B187"><citation citation-type="book"><person-group person-group-type="author"><name><surname>Zhang</surname> <given-names>F.</given-names></name> <name><surname>Li</surname> <given-names>S.</given-names></name> <name><surname>Yuan</surname> <given-names>S.</given-names></name> <name><surname>Sun</surname> <given-names>E.</given-names></name> <name><surname>Zhao</surname> <given-names>L.</given-names></name></person-group> (<year>2017</year>). &#x0201C;<article-title>Algorithms analysis of mobile robot SLAM based on Kalman and particle filter</article-title>,&#x0201D; in <source>2017 9th International Conference on Modelling, Identification and Control (ICMIC)</source> (<publisher-loc>Kunming, China</publisher-loc>), <fpage>1050</fpage>&#x02013;<lpage>1055</lpage>. <pub-id pub-id-type="doi">10.1109/ICMIC.2017.8321612</pub-id></citation></ref>
<ref id="B188"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Zhou</surname> <given-names>J.</given-names></name> <name><surname>Cui</surname> <given-names>G.</given-names></name> <name><surname>Zhang</surname> <given-names>Z.</given-names></name> <name><surname>Yang</surname> <given-names>C.</given-names></name> <name><surname>Liu</surname> <given-names>Z.</given-names></name> <name><surname>Wang</surname> <given-names>L.</given-names></name> <etal/></person-group>. (<year>2019</year>). <article-title>Graph neural networks: a review of methods and applications</article-title>. <source>arXiv</source> [Preprint]. <pub-id pub-id-type="doi">10.48550/arXiv.1812.08434</pub-id></citation></ref>
<ref id="B189"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Zurn</surname> <given-names>P.</given-names></name> <name><surname>Bassett</surname> <given-names>D. S.</given-names></name></person-group> (<year>2020</year>). <article-title>Network architectures supporting learnability</article-title>. <source>Philos. Trans. R. Soc. B Biol. Sci.</source> <volume>375</volume>:<fpage>20190323</fpage>. <pub-id pub-id-type="doi">10.1098/rstb.2019.0323</pub-id><pub-id pub-id-type="pmid">32089113</pub-id></citation></ref>
</ref-list>
<sec id="s11">
<title>Appendix A: LatentSLAM Mathematical Model</title>
<p>The latentSLAM model for SLAM can be seen as a two-level active inference hierarchy working together to enable navigation. The lower-level abstracts actions and observations from the physical world into an abstract representation. The higher-level takes the lower-level abstractions as inputs and creates a global abstraction over them. In this appendix we will go into the mathematical details of these models.</p>
<sec id="s11-1">
<title>Generic active inference model</title>
<fig id="A1" position="float">
<label>Figure A1</label>
<caption><p>Graphical representation of a generic active inference model. Gray nodes indicate that the corresponding value is observed, white nodes need to be inferred.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0007.tif"/>
</fig>
<p>Both levels of the hierarchy form an instantiation of an active inference model (Figure <xref ref-type="fig" rid="A1">A1</xref>). This means that each level forms a generative model over its own actions and observations. We assume the environment is modeled up to a certain time horizon T by the agent as a POMDP with joint probability distribution</p>
<disp-formula><mml:math id="UM0001"><mml:mrow><mml:mi>P</mml:mi><mml:mtext>(</mml:mtext><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mtext>,&#x000A0;</mml:mtext><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mtext>,&#x000A0;</mml:mtext><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mtext>,&#x000A0;</mml:mtext><mml:mi>&#x003C0;</mml:mi><mml:mtext>)&#x000A0;=&#x000A0;</mml:mtext><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>o</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>)</mml:mo><mml:mstyle><mml:munderover><mml:mo>&#x0220F;</mml:mo><mml:mrow><mml:mi>t</mml:mi><mml:mtext>&#x02009;</mml:mtext><mml:mo>=</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>T</mml:mi></mml:munderover><mml:mrow><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mstyle><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mrow><mml:mo>)</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>)</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mrow><mml:mi>&#x003C0;</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></disp-formula>
<p>Where tildes indicate sequences of the corresponding variables, <italic>a</italic> indicates the action, <italic>o</italic> the observation, <italic>s</italic> the latent states and <italic>&#x003C0;</italic> the policy.</p>
<p>The agent needs to infer the posterior belief on latent states <inline-formula><mml:math id="M7"><mml:mrow><mml:mi>p</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo></mml:mrow></mml:math></inline-formula>. In order to achieve this, we use a variational approximation of the true posterior, which we parametrize as</p>
<disp-formula><mml:math id="UM0002"><mml:mrow><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>&#x0007C;</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mtext>&#x02009;&#x02009;</mml:mtext><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo>)</mml:mo><mml:mstyle><mml:munderover><mml:mo>&#x0220F;</mml:mo><mml:mrow><mml:mi>t</mml:mi><mml:mtext>&#x02009;</mml:mtext><mml:mo>=</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:mn>1</mml:mn></mml:mrow><mml:mi>T</mml:mi></mml:munderover><mml:mrow><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mtext>&#x02009;</mml:mtext><mml:msub><mml:mi>o</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mstyle></mml:mrow></mml:math></disp-formula>
<p>Note that in all following discussions we will use <italic>Q</italic> to designate a (variational) posterior and <italic>P</italic> as a prior distribution. As we the agent is acting according to the free energy principle, it is actively minimizing its variational free energy. Which we posit here as</p>
<disp-formula><mml:math id="UM0003"><mml:mrow><mml:mtext>F&#x02009;=&#x02009;</mml:mtext><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>&#x0007C;</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mtext>&#x02009;&#x02009;</mml:mtext><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mtext>&#x02009;&#x02009;</mml:mtext><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>&#x02212;</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mrow><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>&#x0007C;</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mtext>&#x02009;&#x02009;</mml:mtext><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>log</mml:mi><mml:mtext>&#x02009;</mml:mtext><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>&#x0007C;</mml:mo><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>For a more detailed description of the derivation of <italic>F</italic>, we refer the reader to. The generative model and the free energy form only one aspect of active inference. The agent not only needs to infer states from the present, but also actions for the future. This is achieved through the expected free energy, which we define for a future timestep <italic>&#x003C4;</italic> and a given policy <italic>&#x003C0;</italic> as</p>
<disp-formula><mml:math id="UM0004"><mml:mrow><mml:mi>G</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mtext>&#x003C0;</mml:mtext><mml:mo>,</mml:mo><mml:mtext>&#x003C4;</mml:mtext></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:mtext>&#x003C0;</mml:mtext><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>P</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>]</mml:mo><mml:mrow><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mrow><mml:mi>Q</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msub></mml:mrow><mml:mo>[</mml:mo></mml:mrow><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>Summing over the future timesteps then gives the expected free energy for a given policy.</p>
</sec>
<sec id="s9-2">
<title>Navigation model</title>
<p>Similar to the generic active inference model, we start by defining the generative model in terms of a joint distribution over its parts.</p>
<disp-formula><mml:math id="UM0005"><mml:mrow><mml:mi>P</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mover><mml:mrow><mml:mi>o</mml:mi><mml:mo>,</mml:mo></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mover><mml:mrow><mml:mi>s</mml:mi><mml:mo>,</mml:mo></mml:mrow><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>m</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mi>&#x003C0;</mml:mi></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0003E;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0003E;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>&#x000A0;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub><mml:mo>)</mml:mo><mml:mi>P</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>m</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>
<p>Where <italic>o, s</italic>, and <italic>&#x003C0;</italic> keep their earlier definition and we now introduce the pose <italic>p</italic>, location <italic>l</italic> and move <italic>m</italic> to the discussion. This joint distribution naturally decomposes into two new joints over a subset of variables, allowing the independent treatment of higher-level and lower-level navigation. The resulting graphical model is shown in <xref ref-type="fig" rid="A2">Figure A2</xref>.</p>
<fig id="A2" position="float">
<label>Figure A2</label>
<caption><p>Graphical overview of the hierarchical navigation model.</p></caption>
<graphic xlink:href="fnsys-16-787659-g0008.tif"/>
</fig>
<p>If we look at the free energy of this model, we get</p>
<disp-formula><mml:math id="UM0006"><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mi>h</mml:mi><mml:mi>i</mml:mi><mml:mi>e</mml:mi><mml:mi>r</mml:mi><mml:mi>a</mml:mi><mml:mi>r</mml:mi><mml:mi>c</mml:mi><mml:mi>h</mml:mi><mml:mi>i</mml:mi><mml:mi>c</mml:mi><mml:mi>a</mml:mi><mml:mi>l</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mi>Q</mml:mi></mml:msub><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mi>log</mml:mi><mml:mi>Q</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mover><mml:mi>o</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0003E;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mover><mml:mi>a</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mrow><mml:mi>i</mml:mi><mml:mo>&#x0003E;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mtext>&#x0007C;</mml:mtext><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mi>o</mml:mi></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow><mml:mo>+</mml:mo><mml:mi>log</mml:mi><mml:mi>Q</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>)</mml:mo></mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mrow><mml:mover><mml:mi>l</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:mover><mml:mi>m</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>s</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mover><mml:mi>p</mml:mi><mml:mo>&#x002DC;</mml:mo></mml:mover><mml:mn>0</mml:mn></mml:msub></mml:mrow><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mo>]</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mo>&#x000A0;</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mi>l</mml:mi><mml:mi>o</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mi>h</mml:mi><mml:mi>i</mml:mi><mml:mi>g</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></disp-formula>
<p>Allowing for a clean separation in the creation of the lower and higher-level state models.</p>
<sec id="s9-2-1">
<title>Lower-level model</title>
<p>Using the same approximations for the lower-level model as in the generic active inference model, we write the free energy as</p>
<disp-formula><mml:math id="UM0007"><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mi>l</mml:mi><mml:mi>o</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mstyle><mml:munder><mml:mo>&#x02211;</mml:mo><mml:mi>t</mml:mi></mml:munder><mml:mrow><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mi>Q</mml:mi></mml:msub></mml:mrow></mml:mstyle><mml:mo>[</mml:mo><mml:mi>log</mml:mi><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mi>Q</mml:mi></mml:msub><mml:mo>[</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>From this we recover the same generative model for the observations and observational latent states as before in the generic case, however, the model is now supplemented with a term responsible for the pose estimation aspects. In effect, this means that we do not use any pose information for the visual perception part of the model. Note that the pose estimation is in fact conditioned on the current perceptual state estimate.</p>
<p>As might be expected from the free energy formulation, the lower-level perception is implemented as a generic active inference model. The pose estimation aspect is deliberately left as an expected difference between the pose posterior and prior.</p>
<p>The pose prior is implemented as simple dynamics model from the action velocities used to control the agent, i.e.,</p>
<disp-formula><mml:math id="UM0008"><mml:mrow><mml:mtable><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>&#x003B8;</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>&#x003B8;</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x003C5;</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:msub><mml:mi>&#x00394;</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>x</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>x</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x003C5;</mml:mi><mml:mi>l</mml:mi></mml:msub><mml:msub><mml:mi>&#x00394;</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mrow><mml:msub><mml:mi>y</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>y</mml:mi><mml:mrow><mml:mi>t</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x003C5;</mml:mi><mml:mi>l</mml:mi></mml:msub><mml:msub><mml:mi>&#x00394;</mml:mi><mml:mi>t</mml:mi></mml:msub></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:mrow></mml:math></disp-formula>
<p>With <italic>v<sub>a</sub></italic>and <italic>v<sub>l</sub></italic> the angular and linear velocity of the agent and <italic>x,y,&#x003B8;</italic> the coordinates and rotation in the plane of the agent.</p>
<p>The pose posterior <italic>Q (p<sub>t</sub>)</italic> is implemented as a CAN with energy dynamics described as</p>
<disp-formula><mml:math id="UM0009"><mml:mrow><mml:msub><mml:mi>&#x003B5;</mml:mi><mml:mrow><mml:mi>&#x00394;</mml:mi><mml:mi>x</mml:mi><mml:mo>,</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mi>y</mml:mi><mml:mo>,</mml:mo><mml:mi>&#x00394;</mml:mi><mml:mi>&#x003B8;</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mtext>exp</mml:mtext><mml:mfrac><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msubsup><mml:mi>k</mml:mi><mml:mi>p</mml:mi><mml:mrow><mml:mi>e</mml:mi><mml:mi>x</mml:mi><mml:mi>c</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mi>exp</mml:mi><mml:mfrac><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>&#x003B8;</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msubsup><mml:mi>k</mml:mi><mml:mi>d</mml:mi><mml:mrow><mml:mi>e</mml:mi><mml:mi>x</mml:mi><mml:mi>c</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mo>&#x02212;</mml:mo><mml:mi>exp</mml:mi><mml:mfrac><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msubsup><mml:mi>k</mml:mi><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mi>exp</mml:mi><mml:mfrac><mml:mrow><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>&#x003B8;</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mrow><mml:msubsup><mml:mi>k</mml:mi><mml:mi>d</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac></mml:mrow></mml:math></disp-formula>
<p>With <italic>k<sub>d</sub></italic> and <italic>k<sub>p</sub></italic> the variance constants for place and direction, and the superscript <italic>exc</italic> and<italic> inh</italic> used to indicate whether the effect is inhibitory or excitatory. The resulting behavior is locally excitatory and globally inhibitory. The conditioning on observatory state <italic>s<sub>t</sub></italic> is achieved by creating an extra excitatory link with a state-pose episodic memory.</p>
</sec>
<sec id="s9-2-2">
<title>Higher-level model</title>
<p>Starting again from the free energy functional</p>
<disp-formula><mml:math id="UM00010"><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mrow><mml:mi>h</mml:mi><mml:mi>i</mml:mi><mml:mi>g</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mstyle><mml:munder><mml:mo>&#x02211;</mml:mo><mml:mi>&#x1D4AF;</mml:mi></mml:munder><mml:mrow><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo></mml:mrow></mml:mstyle><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mi>Q</mml:mi></mml:msub><mml:mo>[</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>,</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>&#x02212;</mml:mo><mml:mi>log</mml:mi><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>,</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>We again see the classical active inference model emerging. Note the usage of &#x1D4AF; instead of <italic>t</italic> to indicate that this model operates on a different timescale. Likewise, only the initial lower-level states for that inference cycle appear in the likelihood (remember that this model uses the states of the lower-level as observations). Here again, the actual implementation of these models is geared towards a navigational task. In order to infer the location, the prior distribution of locations is implemented as an experience graph. Each node in the graph incorporates a state, pose pair to link it with the lower level. Links between the nodes indicate a connection traversable on the lower level. The dynamics model <inline-formula><mml:math id="M8"><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>&#x02212;</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:math></inline-formula> is deduced from the adjacency matrix of the graph. The posterior belief <inline-formula><mml:math id="M9"><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x1D4AF;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>&#x1D4AF;</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi></mml:mrow></mml:msub><mml:mo>)</mml:mo></mml:math></inline-formula> is build by assigning probability inversely proportional to the cosine similarity and Euclidean distance between current state pose pair and the pairs reachable from the current node.</p>
<p>Map updates also trigger a graph-relaxation pass, in order to facilitate loop-closures. The graph-relaxation phase shifts the stored poses in each experience map node according to</p>
<disp-formula><mml:math id="UM00011"><mml:mrow><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>p</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>2</mml:mn></mml:mfrac><mml:mrow><mml:mo>[</mml:mo><mml:mrow><mml:mstyle><mml:munderover><mml:mo>&#x02211;</mml:mo><mml:mrow><mml:mi>j</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>i</mml:mi><mml:mi>n</mml:mi><mml:mi>b</mml:mi><mml:mi>o</mml:mi><mml:mi>u</mml:mi><mml:mi>n</mml:mi><mml:mi>d</mml:mi></mml:mrow></mml:munderover><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>p</mml:mi><mml:mi>j</mml:mi></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>p</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>p</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo><mml:mo>+</mml:mo><mml:mstyle><mml:munderover><mml:mo>&#x02211;</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mi>o</mml:mi><mml:mi>u</mml:mi><mml:mi>t</mml:mi><mml:mi>b</mml:mi><mml:mi>o</mml:mi><mml:mi>u</mml:mi><mml:mi>n</mml:mi><mml:mi>d</mml:mi></mml:mrow></mml:munderover><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>p</mml:mi><mml:mi>k</mml:mi></mml:msup><mml:mo>&#x02212;</mml:mo><mml:msup><mml:mi>p</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:mo>&#x02212;</mml:mo><mml:mi>&#x00394;</mml:mi><mml:msup><mml:mi>p</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>j</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:mstyle></mml:mrow></mml:mstyle></mml:mrow><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:math></disp-formula>
</sec>
<sec id="s9-2-3">
<title>Action inference</title>
<p>So far, we have only discussed the state inference aspects of the navigation model, however, action inference is also an important aspect of active inference. The expected free energy for the lower-level model is</p>
<disp-formula><mml:math id="UM00012"><mml:mrow><mml:msub><mml:mi>G</mml:mi><mml:mrow><mml:mi>l</mml:mi><mml:mi>o</mml:mi><mml:mi>w</mml:mi></mml:mrow></mml:msub><mml:mo>(</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>,</mml:mo><mml:mi>r</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>T</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>T</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>T</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mi>T</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>&#x1D53C;</mml:mi><mml:mrow><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>T</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>o</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>The prior preferences in this equation are provided by the higher-level model, and form targets to achieve within the single timestep of that level. High level targets are then extracted according to</p>
<disp-formula><mml:math id="UM00013"><mml:mrow><mml:msub><mml:mi>G</mml:mi><mml:mrow><mml:mi>h</mml:mi><mml:mi>i</mml:mi><mml:mi>g</mml:mi><mml:mi>h</mml:mi></mml:mrow></mml:msub><mml:mo>(</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>,</mml:mo><mml:mi>r</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:msub><mml:mi>D</mml:mi><mml:mrow><mml:mi>K</mml:mi><mml:mi>L</mml:mi></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:mi>&#x003C0;</mml:mi><mml:mo>)</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mo>&#x0007C;</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>]</mml:mo><mml:mo>+</mml:mo><mml:msub><mml:mi>E</mml:mi><mml:mrow><mml:mi>Q</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>T</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msub><mml:mo>[</mml:mo><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>p</mml:mi><mml:mrow><mml:mi>&#x003C4;</mml:mi><mml:mo>,</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>)</mml:mo><mml:mo>+</mml:mo><mml:mi>H</mml:mi><mml:mo>(</mml:mo><mml:mi>P</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>s</mml:mi><mml:mrow><mml:mi>&#x003C4;</mml:mi><mml:mo>,</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:msub><mml:mo>&#x0007C;</mml:mo><mml:msub><mml:mi>l</mml:mi><mml:mi>&#x003C4;</mml:mi></mml:msub><mml:mo>)</mml:mo><mml:mo>)</mml:mo><mml:mo>]</mml:mo></mml:mrow></mml:math></disp-formula>
<p>Action selection happens than according to a two-phase planning process. First, at the coarser higher-level, second at the fine-grained lower level. This allows for a reduction in search space for a given trajectory.</p>
</sec>
</sec>
</sec>
</back>
</article>
