<?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. Psychol.</journal-id>
<journal-title>Frontiers in Psychology</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Front. Psychol.</abbrev-journal-title>
<issn pub-type="epub">1664-1078</issn>
<publisher>
<publisher-name>Frontiers Media S.A.</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.3389/fpsyg.2022.869894</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Psychology</subject>
<subj-group>
<subject>Original Research</subject>
</subj-group>
</subj-group>
</article-categories>
<title-group>
<article-title>A Quantum Predictive Brain: Complementarity Between Top-Down Predictions and Bottom-Up Evidence</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name><surname>Mastrogiorgio</surname> <given-names>Antonio</given-names></name>
<xref ref-type="corresp" rid="c001"><sup>&#x002A;</sup></xref>
<uri xlink:href="http://loop.frontiersin.org/people/236110/overview"/>
</contrib>
</contrib-group>
<aff><institution>IMT School for Advanced Studies Lucca</institution>, <addr-line>Lucca</addr-line>, <country>Italy</country></aff>
<author-notes>
<fn fn-type="edited-by"><p>Edited by: Sandro Sozzo, University of Leicester, United Kingdom</p></fn>
<fn fn-type="edited-by"><p>Reviewed by: Vangelis P. Oikonomou, Centre for Research and Technology Hellas (CERTH), Greece; Chris Fields, Independent Research Caunes Minervois, France; Adam Safron, Johns Hopkins Medicine, United States</p></fn>
<corresp id="c001">&#x002A;Correspondence: Antonio Mastrogiorgio, <email>mastrogiorgio.antonio@gmail.com</email></corresp>
<fn fn-type="other" id="fn004"><p>This article was submitted to Quantitative Psychology and Measurement, a section of the journal Frontiers in Psychology</p></fn>
</author-notes>
<pub-date pub-type="epub">
<day>08</day>
<month>07</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="collection">
<year>2022</year>
</pub-date>
<volume>13</volume>
<elocation-id>869894</elocation-id>
<history>
<date date-type="received">
<day>05</day>
<month>02</month>
<year>2022</year>
</date>
<date date-type="accepted">
<day>06</day>
<month>06</month>
<year>2022</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#x00A9; 2022 Mastrogiorgio.</copyright-statement>
<copyright-year>2022</copyright-year>
<copyright-holder>Mastrogiorgio</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>Predictive brain theory challenges the general assumption of a brain extracting knowledge from sensations and considers the brain as an organ of inference, actively constructing explanations about reality beyond its sensory evidence. Predictive brain has been formalized through Bayesian updating, where top-down predictions are compared with bottom-up evidence. In this article, we propose a different approach to predictive brain based on quantum probability&#x2014;we call it Quantum Predictive Brain (QPB). QPB is consistent with the Bayesian framework, but considers it as a special case. The tenet of QPB is that top-down predictions and bottom-up evidence are complementary, as they cannot be co-jointly determined to pursue a univocal model of brain functioning. QPB can account for several high-order cognitive phenomena (which are problematic in current predictive brain theories) and offers new insights into the mechanisms of neural reuse.</p>
</abstract>
<kwd-group>
<kwd>predictive brain</kwd>
<kwd>neural reuse</kwd>
<kwd>Quantum Predictive Brain</kwd>
<kwd>complementarity</kwd>
<kwd>quantum cognition</kwd>
</kwd-group>
<counts>
<fig-count count="3"/>
<table-count count="0"/>
<equation-count count="39"/>
<ref-count count="65"/>
<page-count count="12"/>
<word-count count="10181"/>
</counts>
</article-meta>
</front>
<body>
<disp-quote>
<p><italic>&#x201C;It&#x2019;s not the deer that crosses the road, it&#x2019;s the road that crosses the forest&#x201D;[unknown author]</italic></p>
</disp-quote>
<sec id="S1" sec-type="intro">
<title>Introduction</title>
<p>Although we know that the sun is fixed and the horizon moves, we observe that the sun goes down behind a stationary horizon. More than 150 years have passed since the German physicist Hermann von Helmholtz described the involuntary mechanisms involved in visual impressions (see <xref ref-type="bibr" rid="B19">Dayan et al., 1995</xref>). Being humans, we are often involved in situations (for instance, optical illusions) in which the sensory evidence, which follows its own strict rules, seems to outclass our rational expectations. The flourishing theory of predictive brain (e.g., <xref ref-type="bibr" rid="B33">Friston, 2009</xref>; <xref ref-type="bibr" rid="B16">Clark, 2013</xref>)&#x2014;a brain constantly matching top-down expectations with bottom-up sensory inputs&#x2014;is sympathetic to Helmholtz&#x2019;s ideas and represents a powerful theoretical device, able to challenge the traditional principles of a brain building models of the world by accumulating cues through bottom-up processes. According to this view, the brain is a predictive machine reactive to &#x201C;surprises&#x201D; and works through a hierarchical generative model aiming to minimize prediction error. Any adaptive change minimizes free-energy, that is to say, the brain works through conservative principles (<xref ref-type="bibr" rid="B34">Friston, 2012</xref>, <xref ref-type="bibr" rid="B33">2009</xref>).</p>
<p>But, involuntary mechanisms are not the end of the story. What about higher-order illusions? Let us consider the incipit of this contribution &#x201C;It&#x2019;s not the deer that crosses the road, it&#x2019;s the road that crosses the forest.&#x201D; It summons up, by means of a high-level &#x201C;illusion,&#x201D; the loss of awareness of the ecological embeddedness of human beings. This kind of illusion is quite different to Helmholtz&#x2019;s one about the sun and the horizon. There is no sensory illusion, as the deer actually crosses the road. But, the illusion starts to be there exactly when one oversteps the veil of sensory obviousness. Indeed, the point is not just a mere spatial recognition of &#x201C;who (unexpectedly) moves with respect to what,&#x201D; but that this recognition is somehow evocative and poetically meaningful.</p>
<p>The theory of predictive brain is still in its infancy for such kinds of phenomena involving higher-order processes and complex sense-making. A deer crossing the road is, for sure, unexpected, but this is relatively trivial. The most interesting surprise lies in the higher-order discovery of the ecological embeddedness, occurring when one realizes that the road is nothing more than a small line in a huge forest. A deer crossing the road is, to a different cognitive order, illusory once one realizes that the driver&#x2019;s point of view is <italic>incompatible</italic> with respect to the forest&#x2019;s (and to the deer&#x2019;s) point of view. Put in different words, we can hypothesize that the driver&#x2019;s surprise lies in experiencing two incompatible points of view&#x2014;the driver&#x2019;s and the forest&#x2019;s&#x2014;and they are salient exactly because they cannot be reduced to a unique model.</p>
<p>The Bayesian framework in predictive brain theory represents a significant methodological device to account for surprise&#x2014;technically speaking &#x201C;surprisal&#x201D; (<xref ref-type="bibr" rid="B16">Clark, 2013</xref>)&#x2014;as the &#x201C;unexpected&#x201D; is used to update the model. However, a Bayesian framework is somehow inadequate to model such kinds of phenomena involving unconventional surprises, incommensurable points of view and sophisticated contemplative experience, which are a mark of the human being. In this contribution, we propose a novel approach to predictive brain&#x2014;we call it Quantum Predictive Brain (QPB)&#x2014;that exploits the formalism of quantum cognition (<xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>). The fundamental idea of QPB is that <italic>top-down predictions and bottom-up evidence are complementary</italic>; we can determine the state of the top-down system only if we accept some non-reducible uncertainty about the state of the bottom-up system, and vice versa (for complementarity, see <xref ref-type="bibr" rid="B55">Plotnitsky, 2014</xref>; <xref ref-type="bibr" rid="B61">Wang and Busemeyer, 2015</xref>). Far from being just a speculative exploration (based on the use of a non-Kolmogorovian, quantum probability), as we will explain in the next sections, the theoretical reasons for a quantum approach to predictive brain are both neurocognitive and psychological.</p>
<sec id="S1.SS1">
<title>Predictive Coding</title>
<p>Predictive brain represents an alternative to the orthodox framework based on the general assumption that sensory inputs &#x201C;ascend&#x201D; by integrating the complexity of perceptual experience. Predictive brain proposes an inverse explanation as &#x201C;the brain became an organ of inference, actively constructing explanations for what&#x2019;s going on &#x2018;out there&#x2019;, beyond its sensory epithelia&#x201D; (<xref ref-type="bibr" rid="B35">Friston, 2018</xref>, p. 1019). Predictive brain challenges the general assumption that the brain is a device that extracts knowledge from sensations, and proposes a unifying theory of cortical function postulating that the core function of the brain is the <italic>minimization of the prediction error</italic>, which represents the mismatch between the predicted input and the actual evidence (<xref ref-type="bibr" rid="B56">Rao and Ballard, 1999</xref>; <xref ref-type="bibr" rid="B33">Friston, 2009</xref>; <xref ref-type="bibr" rid="B16">Clark, 2013</xref>). In this view, the brain is composed of a hierarchy of layers, where each layer makes predictions about the layers below in the hierarchy. A prediction error&#x2014;the information that, at each layer, is not successfully predicted&#x2014;is formed through a comparison between the downward descending predictions and the activity of the layer. Prediction errors serve as input to higher levels and can be used to update the mental model of the world. Generally speaking, by minimizing the prediction error, the brain performs perceptual inference and learning, as predictions are instantiated at multiple scales and hierarchy levels, from the low-level variation of sensory data to high-level models of causes of sensory data (<xref ref-type="bibr" rid="B17">Clark, 2015</xref>). Prediction error minimization is affected by <italic>precision</italic>, related to the &#x201C;signal to noise ratio&#x201D; in updating mechanisms. Attention can be considered as the inference of precision in hierarchical perception (<xref ref-type="bibr" rid="B26">Feldman and Friston, 2010</xref>; see also <xref ref-type="bibr" rid="B44">Hohwy, 2012</xref>; <xref ref-type="bibr" rid="B64">Yon and Frith, 2021</xref>). In more detail, prediction error minimization passes through the inference of hidden external states (perception) through updating the model of the world (learning) or through the actions employed to conform to predictions. Despite the elegance of the predictive brain framework, its neurobiological dimension is nowadays subject to increasing investigation, as the evidence is still mixed (<xref ref-type="bibr" rid="B60">Walsh et al., 2020</xref>).</p>
<p>The principles of predictive brain present important theoretical antecedents&#x2014;in particular, Kant&#x2019;s <italic>a priori</italic> knowledge, Helmholtz&#x2019;s unconscious inference, and the notion of feedback control in cybernetics. The modern mathematical formalization of predictive brain&#x2014;also known as predictive coding (<xref ref-type="bibr" rid="B45">Huang and Rao, 2011</xref>)&#x2014;is relatively recent. After the seminal article of <xref ref-type="bibr" rid="B56">Rao and Ballard (1999)</xref>, such formalization passed through the recognition that predictive coding could be approximated by Bayesian inference based upon Gaussian generative models (e.g., <xref ref-type="bibr" rid="B31">Friston, 2003</xref>, <xref ref-type="bibr" rid="B32">2008</xref>). As discussed by <xref ref-type="bibr" rid="B34">Friston (2012</xref>, p. 1230): &#x201C;Bayesian brain is a corollary of the free energy principle, which says that any self organizing system (like a brain or neuroimaging community) must maximize the evidence for its own existence, which means it must minimize its free energy using a model of its world.&#x201D; The current mathematical formalization of predictive brain is not secondary to its theoretical tenets and its well-developed formalism often represents a barrier for the outsiders. Maximizing Bayesian evidence (or minimizing variational free energy) has been described as a gradient descent minimization of variational free energy (<xref ref-type="bibr" rid="B36">Friston et al., 2017</xref>), able to account for several phenomena such as &#x201C;repetition suppression, omission responses, violation responses, place cell activity, phase precession, theta sequences, theta-gamma coupling, evidence accumulation, race-to-bound dynamics, and transfer of dopamine responses&#x201D; (<xref ref-type="bibr" rid="B36">Friston et al., 2017</xref>, p. 37). Generally speaking, the minimization of variational free energy allows a parsimonious but accurate description of observable outcomes of different types.</p>
<p>Bayesian inference does not necessarily need to be implemented by predictive coding (<xref ref-type="bibr" rid="B2">Aitchison and Lengyel, 2017</xref>). <xref ref-type="bibr" rid="B54">Millidge et al. (2021)</xref> propose a review of the mathematical components of predictive coding. Predictive coding can be considered, in its foundational principle, as a form of variational inference (under Gaussian assumptions) where multi-layered topology, dynamical properties, the multiplicity of stimulus, and precision are essential factors. Interestingly, <xref ref-type="bibr" rid="B54">Millidge et al. (2021)</xref> discuss the future directions of research on predictive coding, identifying the following domains: the plausible existence of non-Gaussian but discrete generative models at the highest cognitive levels, the necessity of formalizing the basis of long term memory involved in cortical working, the opportunity of considering the actual architecture of the cortex (which could not be fully connected through hierarchical layers, but presents sparse connectivity and &#x201C;columnar&#x201D; structures), and the implementation of precision consistent with known neurobiological mechanisms. Furthermore, they identify several machine learning algorithms that could be comparatively used to shed light on updating mechanisms involved in predictive coding.</p>
<p>Current literature on predictive coding (extensively discussed by <xref ref-type="bibr" rid="B54">Millidge et al., 2021</xref>) never raises the more foundational issues about the very nature of probability, assumed in predictive coding. In particular, current research in predictive brain does not consider the existence of alternative probabilistic frameworks, which are not based on Kolmogorov&#x2019;s probability axioms and Boolean logic, but informed by quantum principles. Among the exceptions, <xref ref-type="bibr" rid="B29">Fields et al. (2021)</xref> discuss quantum systems as observers assigning semantics to observational outcomes; the authors emphasize that context-switching challenges the classical formulation of the free-energy principle so as to justify a quantum formulation. Such a quantum approach represents a novel and promising perspective for future research on the free energy principle. Generally speaking, quantum mechanics can be used to solve the so-called &#x201C;Bayesian blur&#x201D; problem&#x2014;related to the contrast between the univocal nature and the probabilistic roots of human experience (<xref ref-type="bibr" rid="B18">Clark, 2018</xref>)&#x2014;where consciousness is considered a &#x201C;collapsing agent&#x201D; (<xref ref-type="bibr" rid="B57">Safron, 2021</xref>), which is consistent with von Neumann &#x0026; Wigner&#x2019;s interpretation, according to which, consciousness is necessary for quantum measurement (<xref ref-type="bibr" rid="B59">von Neumann, 1932/1955</xref>; <xref ref-type="bibr" rid="B63">Wigner and Margenau, 1967</xref>).</p>
<p>The QPB&#x2014;presented in the next section through a stylized model&#x2014;aims to update the current view of the predictive brain through a quantum probabilistic framework.</p>
</sec>
</sec>
<sec id="S2">
<title>Quantum Predictive Brain: A Stylized Model</title>
<p>The standard formalization of probability&#x2014;in which the Bayesian framework is conceived&#x2014;relies on Kolmogorov&#x2019;s probability axioms. But, Kolmogorov axioms are not the unique way to formalize probability. Quantum theory represents a significant alternative (relatively under-explored in disciplines other than physics) with interesting applications in the cognitive realm, also known as quantum cognition (<xref ref-type="bibr" rid="B1">Aerts, 2009</xref>; <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>; <xref ref-type="bibr" rid="B48">Khrennikov, 2015</xref>; cf. <xref ref-type="bibr" rid="B6">Atmanspacher et al., 2002</xref>). Also, quantum cognition proposes a different cognitive explanation to many factual phenomena&#x2014;mainly related to judgments under uncertainty (<xref ref-type="bibr" rid="B46">Kahneman et al., 1982</xref>)&#x2014;traditionally conceived in a Bayesian framework (for a comparison between Bayesian and quantum frameworks, see <xref ref-type="bibr" rid="B9">Bruza et al., 2015</xref>). Generally speaking, quantum measurement can be conceived as Bayesian updating where &#x201C;collapse&#x201D;&#x2014;to be generally intended as the transition from a &#x201C;superposition,&#x201D; indefinite state to a definite state associated with the observed outcome&#x2014;corresponds to a revision of the state conditioned to new information (<xref ref-type="bibr" rid="B14">Caves et al., 2002</xref>; <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>).</p>
<p>In the next sections, we present a stylized model of QPB along with a gradual introduction of the fundamental concepts of quantum cognition, formalized through a geometric approach. Such a geometric approach has been readapted from <xref ref-type="bibr" rid="B11">Busemeyer and Bruza (2012</xref>, Section 2.1), which is an excellent contribution to exploring the potential of quantum models in cognitive science (for a geometric approach, see also <xref ref-type="bibr" rid="B30">Franco, 2009</xref>; <xref ref-type="bibr" rid="B50">Lambert-Mogiliansky et al., 2009</xref>). While classical probability is formalized using events (employing set theory), quantum formalism uses spaces and projections on subspaces and presents a different geometric interpretation.</p>
<p>Quantum formalism is supposed to be non-friendly and almost inaccessible as it requires dedicated mathematical tools. Actually, it constitutes a well-established domain of knowledge. <xref ref-type="bibr" rid="B59">von Neumann (1932/1955)</xref> provided the mathematical formalism of quantum theory. Linear algebra represents a suitable tool to model quantum phenomena. Among the various notations used to express quantum concepts, we will refer to Dirac&#x2019;s formalism (<xref ref-type="bibr" rid="B21">Dirac, 1939</xref>), also known as <italic>bra-ket notation</italic>.</p>
<sec id="S2.SS1">
<title>Top-Down and Bottom-Up Systems</title>
<p>In each instant, an organism is in a state |<italic>S</italic>&#x27E9;, which is a unit-length vector, expressed in bra-ket notation, in an <italic>N</italic>-dimensional Hilbert space, representing the states of the system. A Hilbert space is a generalization of Euclidean space and was originally used to formalize quantum mechanics (for a detailed formulation of the nature of events and their properties in a Hilbert space, see <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>, Sections 2.1 and 2.5). The <italic>N</italic> dimensions of this space represent potential states that are possible for an organism and the unit-length vector state represents the state of the system. In our model, we do not consider that the dimensions could be infinite and include real or complex coefficients; neither do we specify additional constraints. This deliberate simplification is consistent with the geometric approach (proposed by <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>, Section 2.1) and is suitable to introduce quantum cognition to non-experts (as we assume that predictive coding scholars are not versed in quantum formalism).</p>
<p>The dimensions of the system must be conceptualized as the possible values of the neurobiological degrees of freedom, where events can be of two general types: top-down predictions or bottom-up evidence. As we explain in the following sections, the fundamental idea of a quantum view of predictive brain is that this state admits incompatible&#x2014;<italic>complementary</italic>&#x2014;representations depending on the fact that we are considering top-down or bottom-up processes.</p>
<sec id="S2.SS1.SSS1">
<title>Top-Down System</title>
<p>Let us consider the system with the potential predictions <italic>P1</italic> and <italic>P2</italic>. Notice that, for simplicity, we are choosing two options, but this logic applies to a space with an arbitrary number of dimensions and can be generalized to arbitrary numbers of predictions <italic>P1</italic>, <italic>P2</italic>, <italic>P3</italic>, etc. A generalization to <italic>N</italic> dimensions should be consistent with neuroscientific evidence and is not part of the present model.</p>
<p>The two vectors {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} are a <italic>basis</italic>. So, an arbitrary vector in their space can be expressed by a linear combination of them. <italic>S</italic>, the unit-length vector, representing the state of the system, is a combination of {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} such as:</p>
<disp-formula id="S2.E1">
<label>(1)</label>
<mml:math id="M1">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>where</p>
<disp-formula id="S2.E2">
<label>(2)</label>
<mml:math id="M2">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.2269</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.9739</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>represents the coordinates of the state |<italic>S</italic>&#x27E9; with respect to {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;}, as in <xref ref-type="fig" rid="F1">Figure 1</xref>.</p>
<fig id="F1" position="float">
<label>FIGURE 1</label>
<caption><p>State of the top-down system with predictions (P).</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="fpsyg-13-869894-g001.tif"/>
</fig>
<p>Quantum theory works differently from classical probability. <italic>S</italic> is in an indefinite state, formally called a <italic>superposition</italic> state, before the collapse&#x2014;to generally indicate any state that eventuates, after some processing, in a definite output&#x2014;occurs. In other words, an indefinite state allows all the definite states to have the potential for being expressed at each moment, as superposition expresses the psychological state of conflict and ambiguity between potential observable states.</p>
<p>The squared length of the unit-length vector <italic>S</italic>, representing the state of the system, equals 1 by definition, being the sum of the squared magnitudes of its coordinates:</p>
<disp-formula id="S2.E3">
<label>(3)</label>
<mml:math id="M3">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>According to quantum formalism&#x2014;specifically the Born rule, <xref ref-type="bibr" rid="B8">Born (1926)</xref>&#x2014;if we project the state on a subspace and then we square, the result is the probability of its occurrence. Hence, the probability of the prediction <italic>P1</italic> is obtained by considering the projection of <italic>S</italic> on the subspace <italic>P1</italic> to identify, on the <italic>P1-</italic>axis, the relative segment. If we square the length of the projection, we obtain the probability that the specific prediction <italic>P1</italic> occurs. Notice that we could express (one or more) coordinates also in negative values (for instance 0.2269, &#x2212;0.9739) and we should draw the respective negative axis as in <xref ref-type="fig" rid="F1">Figure 1</xref>. This modification is irrelevant because inverting the direction of one or more vectors, for example from |<italic>P</italic>2&#x27E9; to &#x2212;|<italic>P</italic>2&#x27E9;, does not affect the probability (since it is the square of the amplitude); the new basis is &#x201C;equivalent&#x201D; to the first one as both vectors span the same ray. In our model, <italic>S</italic> can be expressed equivalently both in the {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} and {|<italic>P</italic>1&#x27E9;,&#x2212;|<italic>P</italic>2&#x27E9;} basis, or in any other basis obtained by this type of transformation.</p>
<p>Formally speaking, we know that with respect to the {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} basis, the coordinates of each vector are represented by a canonical system:</p>
<disp-formula id="S2.E4">
<label>(4)</label>
<mml:math id="M4">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The inner product &#x27E8;<italic>S</italic>|<italic>X</italic>&#x27E9;, called <italic>transition amplitude</italic>, represents the amplitude from |<italic>S</italic>&#x27E9; to |<italic>P</italic>1&#x27E9;:</p>
<disp-formula id="S2.Ex1">
<label>(5)</label>
<mml:math id="M5">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>10</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.2269</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.9739</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>=</mml:mo>
<mml:mi/>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mn>0.2269</mml:mn>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mn>0</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mn>0.9739</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>=</mml:mo>
<mml:mi/>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.2269</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>If we project |<italic>S</italic>&#x27E9;on the <italic>p1</italic>-ray, we obtain:</p>
<disp-formula id="S2.E6">
<label>(6)</label>
<mml:math id="M8">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>0.2269</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>and its squared length is:</p>
<disp-formula id="S2.E7">
<label>(7)</label>
<mml:math id="M9">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mn>0.2269</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.0515</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>which represents the probability of <italic>P1</italic>.</p>
<p>As the two predictions <italic>P1</italic> and <italic>P2</italic> orthogonal, in quantum formalism, the probability of both is simply related to the sum of both events:</p>
<disp-formula id="S2.E8">
<label>(8)</label>
<mml:math id="M10">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>0.0515</mml:mn>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>0.9485</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Notice that we can also compute the probability for more general events represented by subspaces in an <italic>N</italic>-dimensional space. For instance, in a 5-dimensional space, the projection of the union &#x201C;<italic>P1</italic> or <italic>P2</italic> or <italic>P3</italic>&#x201D; is (|<italic>P</italic>1&#x27E9;&#x27E8;<italic>P</italic>1| + |<italic>P</italic>2&#x27E9;&#x27E8;<italic>P</italic>2| + |<italic>P</italic>3&#x27E9;&#x27E8;<italic>P</italic>3|)|<italic>S</italic>&#x27E9;=|<italic>P</italic>1&#x27E9;&#x27E8;<italic>P</italic>1|<italic>S</italic>&#x27E9; + |<italic>P</italic>2&#x27E9;&#x27E8;<italic>P</italic>2|<italic>S</italic>&#x27E9; + |<italic>P</italic>3&#x27E9;&#x27E8;<italic>P</italic>3|<italic>S</italic>&#x27E9;=(&#x03C8;<sub>1</sub>)&#x22C5;|<italic>P</italic>1&#x27E9; + (&#x03C8;<sub>2</sub>)&#x22C5;|<italic>P</italic>2&#x27E9; + (&#x03C8;<sub>3</sub>)&#x22C5;|<italic>P</italic>3&#x27E9;, and the probability is ||(&#x03C8;<sub>1</sub>)&#x22C5;|<italic>P</italic>1&#x27E9; + (&#x03C8;<sub>2</sub>)&#x22C5;|<italic>P</italic>2&#x27E9; + (&#x03C8;<sub>3</sub>)&#x22C5;|<italic>P</italic>3&#x27E9;||2 (as orthogonality guarantees that the squared length of the sum equals the sum of squared lengths).</p>
</sec>
<sec id="S2.SS1.SSS2">
<title>Bottom-Up System</title>
<p>Now let us consider the evidence <italic>E1</italic> and <italic>E2</italic>. As in the case of top-down processes, this formalization can be generalized to arbitrary numbers of evidence, <italic>E1</italic>, <italic>E2</italic>, <italic>E3</italic>, etc.</p>
<p>The two vectors {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} are the basis of the bottom-up system and an arbitrary vector in their space can be expressed by a linear combination of them. Notice that <italic>S</italic>, the unit-length vector, representing the state of the system in the previous top-down system, is expressed in the bottom-up system as a combination of {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} such as:</p>
<disp-formula id="S2.E9">
<label>(9)</label>
<mml:math id="M11">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.7767</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>where</p>
<disp-formula id="S2.E10">
<label>(10)</label>
<mml:math id="M12">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.7767</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.6299</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>represents the coordinates of the state |<italic>S</italic>&#x27E9; with respect to {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;}, as in <xref ref-type="fig" rid="F2">Figure 2</xref>.</p>
<fig id="F2" position="float">
<label>FIGURE 2</label>
<caption><p>State of the bottom-up system with evidence (E).</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="fpsyg-13-869894-g002.tif"/>
</fig>
<p>As in the case of prediction (discussed in the previous section), here, <italic>S</italic> is in a superposed state as evidence could be potentially expressed through the collapse.</p>
<p>The squared length of the unit-length vector <italic>S</italic>, representing the state of the system, equals 1 by definition, being the sum of the squared magnitudes of its coordinates:</p>
<disp-formula id="S2.E11">
<label>(11)</label>
<mml:math id="M13">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.7767</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Again, if we project the state <italic>S</italic> on a subspace and then we square, the result is the probability of its occurrence. Concerning the {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} basis, the coordinates of each vector are represented by a canonical system:</p>
<disp-formula id="S2.E12">
<label>(12)</label>
<mml:math id="M14">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>,</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The inner product &#x27E8;<italic>S</italic>|<italic>E</italic>1&#x27E9; represents the amplitude from |<italic>S</italic>&#x27E9; to |<italic>E</italic>1&#x27E9;:</p>
<disp-formula id="S2.Ex3">
<label>(13)</label>
<mml:math id="M15">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>10</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.7767</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.6299</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>=</mml:mo>
<mml:mi/>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mn>1</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mn>0.7767</mml:mn>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mn>0</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mn>0.6299</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>=</mml:mo>
<mml:mi/>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>&#x2005;0.7766</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>If we project |<italic>S</italic>&#x27E9;on the <italic>E1</italic>-ray we obtain:</p>
<disp-formula id="S2.E14">
<label>(14)</label>
<mml:math id="M18">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>0.7767</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>and its squared length is:</p>
<disp-formula id="S2.E15">
<label>(15)</label>
<mml:math id="M19">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mn>0.7767</mml:mn>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.6032</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>which represents the probability of <italic>E1</italic>.</p>
<p>As the two evidence <italic>E1</italic> and <italic>E2</italic> are orthogonal, in quantum formalism, the probability of both is simply the sum of both events:</p>
<disp-formula id="S2.E16">
<label>(16)</label>
<mml:math id="M20">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo fence="true">||</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.7767</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo fence="true">||</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>0.6032</mml:mn>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>0.3968</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The union of the events is the sum of the probabilities related to its orthogonal sub-dimensions.</p>
<p>Notice that, as in the case of top-down processes, we can also compute the probability for more general events represented by subspaces in an <italic>N</italic>-dimensional space. For instance, in a 5-dimensional space, the projection of the union &#x201C;<italic>E1</italic> or <italic>E2</italic> or <italic>E3</italic>&#x201D; is (|<italic>E</italic>1&#x27E9;&#x27E8;<italic>E</italic>1| + |<italic>E</italic>2&#x27E9;&#x27E8;<italic>E</italic>2| + |<italic>E</italic>3&#x27E9;&#x27E8;<italic>E</italic>3|)|<italic>S</italic>&#x27E9;=|<italic>E</italic>1&#x27E9;&#x27E8;<italic>E</italic>1|<italic>S</italic>&#x27E9; + |<italic>E</italic>2&#x27E9;&#x27E8;<italic>E</italic>2|<italic>S</italic>&#x27E9; + |<italic>E</italic>3&#x27E9;&#x27E8;<italic>E</italic>3|<italic>S</italic>&#x27E9;=(&#x03C6;<sub>1</sub>)&#x22C5;|<italic>E</italic>1&#x27E9; + (&#x03C6;<sub>2</sub>)&#x22C5;|<italic>E</italic>2&#x27E9; + (&#x03C6;<sub>3</sub>)&#x22C5;|<italic>E</italic>3&#x27E9;, and the probability is ||(&#x03C6;<sub>1</sub>)&#x22C5;|<italic>E</italic>1&#x27E9; + (&#x03C6;<sub>2</sub>)&#x22C5;|<italic>E</italic>2&#x27E9; + (&#x03C6;<sub>3</sub>)&#x22C5;|<italic>E</italic>3&#x27E9;||2 (as orthogonality guarantees that the squared length of the sum equals the sum of squared lengths).</p>
</sec>
</sec>
<sec id="S2.SS2">
<title>Complementarity Between Top-Down and Bottom-Up Systems</title>
<p>Predictive coding is based on the hypothesis that the brain minimizes the prediction errors with respect to a generative model of the world. Both classical and quantum theories provide a tool for model updating the state conditioned to some observations. In a classical Bayesian framework, when an event is observed, the original probability function is changed into a new conditional function. In particular, the joint probability is normalized and this guarantees that the new probability function sums to one. Quantum theory proposes, <italic>mutatis mutandis</italic>, a similar model: the original state vector is transformed into a new state vector through a projection. In particular, the original state is projected onto the subspace of the observed event and then such projection is divided by its length. This transformation of the state vector onto a subspace corresponding to the observed event is called &#x201C;projective measurement.&#x201D; In our stylized model, we call it <italic>collapse</italic> to generally indicate any state that eventuates, after some processing, in a definite output. In the words of <xref ref-type="bibr" rid="B11">Busemeyer and Bruza (2012</xref>, p. 23), collapse refers to &#x201C;the transition from a superposition state to a definite state associated with the observed outcome.&#x201D;</p>
<p>The difference between a classical and a quantum framework is marginal when the systems are compatible (the probability of the union of independent events is simply their sum, and the probabilities of all the events sum to unity). However, things change when we consider complementary systems, that is to say, predictions and evidence are <italic>incompatible</italic>. The certainty about predictions may lead to uncertainty about evidence (and vice versa), as incompatibility is, in the words of <xref ref-type="bibr" rid="B11">Busemeyer and Bruza (2012</xref>, p. 23), &#x201C;mathematically implemented by the non-commutativity of quantum measurements.&#x201D; Indeed in case of incompatibility, predictions and evidence do not share the same basis, but require separate spaces. In particular, each one (predictions and evidence) considered separately admits a Boolean framework, but they cannot be treated in a Boolean way once they are &#x201C;pasted together.&#x201D; A quantum probabilistic approach presents more flexibility than the Bayesian, as it does not require specifying the joint probabilities. More specifically, as we explain in section &#x201C;The Role of Quantum Contextuality&#x201D;, the notion of &#x201C;quantum contextuality&#x201D;&#x2014;whose role is nowadays debated with reference to quantum evidence in the behavioral domain (e.g., <xref ref-type="bibr" rid="B24">Dzhafarov et al., 2016</xref>)&#x2014;represents a fundamental theoretical device able to provide alternative explanations to incompatibility.</p>
<p>Incompatibility is central in the QPB and represents a substantial innovation compared to existing theories of Bayesian predictive coding, assuming a unique space for both predictions and evidence. We know from the previous two sections that <italic>S</italic>&#x2014;the vector representing the state of the system&#x2014;can be represented in terms of either the top-down system (that is {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} basis) or the bottom-up system (that is {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} basis). Indeed, we know that:</p>
<disp-formula id="S2.E17">
<label>(17)</label>
<mml:math id="M21">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>and</p>
<disp-formula id="S2.E18">
<label>(18)</label>
<mml:math id="M22">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.7767</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>so</p>
<disp-formula id="S2.Ex5">
<label>(19)</label>
<mml:math id="M23">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.7767</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>where</p>
<disp-formula id="S2.E20">
<label>(20)</label>
<mml:math id="M25">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.2269</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.9739</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>represents the coordinates of the state |<italic>S</italic>&#x27E9; with respect to {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;}, and</p>
<disp-formula id="S2.E21">
<label>(21)</label>
<mml:math id="M26">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.7767</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.6299</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>represents the coordinates of the state |<italic>S</italic>&#x27E9; with respect to {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;}. Now we know that the same state |<italic>S</italic>&#x27E9; can be represented using two incompatible bases, that is to say, we have different coordinates depending on the basis, as in <xref ref-type="fig" rid="F3">Figure 3</xref>.</p>
<fig id="F3" position="float">
<label>FIGURE 3</label>
<caption><p>Incompatibility between predictions (P) and evidence (E).</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="fpsyg-13-869894-g003.tif"/>
</fig>
<p>We can represent the basis vectors of the top-down system in terms of the bottom-up system basis:</p>
<disp-formula id="S2.E22">
<label>(22)</label>
<mml:math id="M27">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mo>-</mml:mo>
<mml:mn>0.4372</mml:mn>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S2.E23">
<label>(23)</label>
<mml:math id="M28">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.4372</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>And, vice versa, we can represent the basis vectors of the bottom-up system in terms of the top-down system basis:</p>
<disp-formula id="S2.E24">
<label>(24)</label>
<mml:math id="M29">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mrow>
<mml:mo>-</mml:mo>
<mml:mn>0.4372</mml:mn>
</mml:mrow>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S2.E25">
<label>(25)</label>
<mml:math id="M30">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.4372</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo fence="true" rspace="0pt" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>We can express each system with respect to the other. If we want to express the coordinates of the bottom-up system with {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} basis in terms of the top-down system with {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} basis, we have:</p>
<disp-formula id="S2.Ex6">
<label>(26)</label>
<mml:math id="M31">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:msub>
<mml:mi>U</mml:mi>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>E</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo>&#x22C5;</mml:mo>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="left">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="left">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>And if we want to express the coordinates of the top-down system with {|<italic>P</italic>1&#x27E9;,|<italic>P</italic>2&#x27E9;} basis in terms of bottom-up system with {|<italic>E</italic>1&#x27E9;,|<italic>E</italic>2&#x27E9;} basis, we have:</p>
<disp-formula id="S2.Ex7">
<label>(27)</label>
<mml:math id="M33">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:msubsup>
<mml:mi>U</mml:mi>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>E</mml:mi>
</mml:mrow>
<mml:mrow>
<mml:mtext>&#x2020;</mml:mtext>
</mml:mrow>
</mml:msubsup>
<mml:mo>&#x22C5;</mml:mo>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="left">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="left">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C6;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>1</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:msub>
<mml:mi mathvariant="normal">&#x03C8;</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>where &#x2020; indicates the transpose-conjugate operation, as <inline-formula><mml:math id="INEQ39"><mml:mrow><mml:mrow><mml:msub><mml:mi>U</mml:mi><mml:mrow><mml:mi>P</mml:mi><mml:mo>&#x2062;</mml:mo><mml:mi>E</mml:mi></mml:mrow></mml:msub><mml:mo>&#x22C5;</mml:mo><mml:mpadded width="+3.3pt"><mml:msubsup><mml:mi>U</mml:mi><mml:mrow><mml:mi>P</mml:mi><mml:mo>&#x2062;</mml:mo><mml:mi>E</mml:mi></mml:mrow><mml:mrow><mml:mtext>&#x2020;</mml:mtext></mml:mrow></mml:msubsup></mml:mpadded></mml:mrow><mml:mo rspace="5.8pt">=</mml:mo><mml:mi>I</mml:mi></mml:mrow></mml:math></inline-formula>, where <italic>I</italic> is an identity matrix.</p>
<p>The incompatibility between the prediction system and evidence system, in <xref ref-type="fig" rid="F3">Figure 3</xref>, represents a form of fundamental uncertainty, related to the famous Heisenberg uncertainty principle. Indeed, if we are certain in the evidence system&#x2014;we observe a specific sensory input&#x2014;we must accept some uncertainty in the prediction system&#x2014;different predictions are still potential&#x2014;and vice versa. In other words, once the state vector collapses in a system, it remains in a superposed state in the complementary system. This point is a tenet of the QPB, positing that we can determine the state of the top-down system only if we remain uncertain about the state of the bottom-up system, and vice versa.</p>
<sec id="S2.SS2.SSS1">
<title>Order Effects and Interference</title>
<p>A fundamental implication of complementarity lies in the presence of non-commutativity between events (explained in section &#x201C;Complementarity Between Top-Down and Bottom-Up Systems&#x201D;), which gives rise to <italic>order effects</italic> (discussed in <xref ref-type="bibr" rid="B62">Wang and Busemeyer, 2013</xref>). Let us consider the state from the top-down system. Firstly, we want to analyze the transition from <italic>S</italic> to <italic>P1</italic> passing through the state E2:</p>
<disp-formula id="S2.E28">
<label>(28)</label>
<mml:math id="M35">
<mml:mrow>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>&#x2192;</mml:mo>
<mml:mrow>
<mml:mo fence="true" stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>In this case, we first have to project the <italic>S</italic> state on the <italic>E2</italic> ray:</p>
<disp-formula id="S2.Ex8">
<label>(29)</label>
<mml:math id="M36">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.89940.4372</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.2269</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.9739</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>&#x2005;0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.4372</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.6299</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The probability, as explained above, is:</p>
<disp-formula id="S2.E30">
<label>(30)</label>
<mml:math id="M38">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.6299</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.3968</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Now we have to analyze the path E2 to P1:</p>
<disp-formula id="S2.Ex9">
<label>(31)</label>
<mml:math id="M39">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.89940.4372</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>1</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>&#x2005;1</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.4372</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.8994</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>And the probability is:</p>
<disp-formula id="S2.E32">
<label>(32)</label>
<mml:math id="M41">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="10.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.8089</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Hence the probability of the path|<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; is:</p>
<disp-formula id="S2.E33">
<label>(33)</label>
<mml:math id="M42">
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>&#x22C5;</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mpadded width="+5pt">
<mml:mn>0.8089</mml:mn>
</mml:mpadded>
<mml:mo>&#x22C5;</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>0.3968</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.3209</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Now let us imagine that we want to analyze the path |<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;. In this case, with respect to the previous path, the order of evidence <italic>E2</italic> and prediction <italic>P1</italic> is changed. First, we have to project the <italic>S</italic> state on the <italic>P1</italic> ray:</p>
<disp-formula id="S2.Ex10">
<label>(34)</label>
<mml:math id="M43">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>10</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.2269</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.9739</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo rspace="5.8pt">]</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>=</mml:mo>
<mml:mi/>
</mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>1</mml:mn>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>&#x2005;0.2269</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.9739</mml:mn>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.2269</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>So the probability is:</p>
<disp-formula id="S2.E35">
<label>(35)</label>
<mml:math id="M45">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="10.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.2269</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.0515</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Then we calculate:</p>
<disp-formula id="S2.Ex11">
<label>(36)</label>
<mml:math id="M46">
<mml:mrow>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo rspace="5.8pt">&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable columnspacing="5pt" displaystyle="true">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>10</mml:mn>
</mml:mtd>
<mml:mtd/>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
<mml:mo>&#x2062;</mml:mo>
<mml:mrow>
<mml:mo>[</mml:mo>
<mml:mtable displaystyle="true" rowspacing="0pt">
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.8994</mml:mn>
</mml:mtd>
</mml:mtr>
<mml:mtr>
<mml:mtd columnalign="center">
<mml:mn>0.4372</mml:mn>
</mml:mtd>
</mml:mtr>
</mml:mtable>
<mml:mo>]</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mrow>
<mml:mi mathvariant="normal"></mml:mi>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mn>1</mml:mn>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>&#x2005;0.8994</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo>)</mml:mo>
</mml:mrow>
<mml:mo>&#x22C5;</mml:mo>
<mml:mrow>
<mml:mo>(</mml:mo>
<mml:mn>0.4372</mml:mn>
<mml:mo rspace="5.8pt">)</mml:mo>
</mml:mrow>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.8994</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>And the probability is:</p>
<disp-formula id="S2.E37">
<label>(37)</label>
<mml:math id="M48">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="10.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mn>0.8994</mml:mn>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.8089</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Hence the probability of the path|<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9; is:</p>
<disp-formula id="S2.E38">
<label>(38)</label>
<mml:math id="M49">
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>&#x22C5;</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>0.8089</mml:mn>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>0.0515</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0.8604</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>It is important to notice that the two paths present two different probabilities, respectively, 0.3209 for the path|<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; and 0.8604 for the path|<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;. This happens because:</p>
<disp-formula id="S2.Ex12">
<label>(39)</label>
<mml:math id="M50">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>E</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">&gt;</mml:mo>
<mml:msup>
<mml:mrow>
<mml:mo>|</mml:mo>
<mml:mrow>
<mml:mo>&#x27E8;</mml:mo>
<mml:mrow>
<mml:mi>P</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
<mml:mo stretchy="false">|</mml:mo>
<mml:mi>S</mml:mi>
<mml:mo>&#x27E9;</mml:mo>
</mml:mrow>
<mml:mo>|</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mn>0.3968</mml:mn>
</mml:mpadded>
<mml:mo rspace="5.8pt">&gt;</mml:mo>
<mml:mn>0.0515</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Notice also that |&#x27E8;<italic>E</italic>2|<italic>P</italic>1&#x27E9;|2=|&#x27E8;<italic>E</italic>1|<italic>P</italic>2&#x27E9;|2 because of the <italic>law of reciprocity</italic>. Importantly, this symmetry condition only applies to events represented by unidimensional rays, but not to such events represented by multiple dimensions (see <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>). Indeed, quantum formalism allows distinguishing between <italic>complete measurements</italic>&#x2014;the events are identified by the rays (one-dimensional subspaces) spanned by each of the basis vectors&#x2014;and <italic>coarse measurements</italic>&#x2014;the events are not rays but whole subspaces of dimension greater than one, so that the transitions through pure or mixed states are defined. For simplicity in our stylized model, we do not consider this articulation, which is postponed to future research.</p>
<p>A fundamental implication of quantum formalism is the violation of the distributive axiom due to the presence of incompatible events and non-commuting projectors. The violation of the distributive axiom implies a violation of the law of total probability, which is fundamental in the Bayesian framework. Indeed, while in a Bayesian framework we know that the conditioned probability must be less than the unconditioned probability, this property is violated in the quantum framework where the probability associated with a direct path between the state vector and a final state could be less than the probability when the path is obtained through intermediate paths. For instance, let us consider the probability of the direct path |<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; and also the mediated paths|<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>1&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; and |<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;. In a quantum framework, nothing grants that the probability of the direct path is consistent with the split into two mediated paths, as happens in a Bayesian framework. Indeed, we could have the case in which the probability of the direct path |<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; is less than the probability that considers both paths|<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>1&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; and |<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;. More interestingly, we could have the case in which the probability of the direct path is also smaller than the probability of a specific mediated path. Indeed, the probability of the direct path |<italic>S</italic>&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9; is |&#x27E8;<italic>S</italic>|<italic>P</italic>1&#x27E9;|2=0.0515 is smaller than the probability of the specific mediated path |<italic>S</italic>&#x27E9;&#x2192;|<italic>E</italic>2&#x27E9;&#x2192;|<italic>P</italic>1&#x27E9;, which is |&#x27E8;<italic>P</italic>1|<italic>E</italic>2&#x27E9;|2&#x22C5;|&#x27E8;<italic>E</italic>2|<italic>S</italic>&#x27E9;|2=0.3209 (see the previous sections for calculation). This property, which represents a substantial violation of the Bayesian framework and a tenet of a quantum approach, is due to the presence of <italic>interference effects</italic>, which (in a quantum-cognitive framework) are intended as positive or negative interferences among the intermediate states affecting the final state. In particular, when the intermediate paths are not determined, they interfere creating positive or negative interference on the probability of the final state (<xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>). According to Feynman, interference is the fundamental mystery of quantum theory (<xref ref-type="bibr" rid="B27">Feynman et al., 1964</xref>).</p>
<p>The violation of the Bayesian rule, which is compatible with interference dynamics of a quantum framework (as in the well-known double-slit experiment), has been experimentally documented in the last two decades, mainly concerning judgments formulation and decision making (<xref ref-type="bibr" rid="B13">Busemeyer et al., 2006</xref>, <xref ref-type="bibr" rid="B12">2011</xref>; <xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>).</p>
</sec>
<sec id="S2.SS2.SSS2">
<title>The Role of Quantum Contextuality</title>
<p>In our stylized model, incompatibility&#x2014;revealed by the presence of order effects (consistently with <xref ref-type="bibr" rid="B62">Wang and Busemeyer, 2013</xref>)&#x2014;is based on the hypothesis that top-down predictions and bottom-up evidence cannot be co-jointly determined to pursue a univocal model of (predictive) brain functioning. The nature of this &#x201C;impossibility&#x201D; is strictly related to the role of <italic>quantum contextuality</italic>. Quantum contextuality became central in quantum theory since the formulation of Bell&#x2019;s well-known argument (<xref ref-type="bibr" rid="B7">Bell, 1966</xref>) along with its complement known as Kochen&#x2013;Specker&#x2019;s theorem (<xref ref-type="bibr" rid="B49">Kochen and Specker, 1967</xref>, see <xref ref-type="bibr" rid="B53">Mermin, 1993</xref> for a retrospective overview)&#x2014;discussing the Einstein&#x2013;Podolsky&#x2013;Rosen paradox about the incompleteness of quantum mechanics and the alleged presence of hidden variables (<xref ref-type="bibr" rid="B25">Einstein et al., 1935</xref>). Generally speaking, contextuality refers to the idea that measurements could be locally consistent, but they can exhibit globally inconsistency, that is to say, a random variable could change its identity depending on the conditions under which it is recorded (<xref ref-type="bibr" rid="B51">Liang et al., 2011</xref>; <xref ref-type="bibr" rid="B22">Dzhafarov and Kujala, 2014</xref>, <xref ref-type="bibr" rid="B23">2015</xref>; <xref ref-type="bibr" rid="B10">Budroni et al., 2021</xref>). Indeed, considering a random variable as fixed under different conditions could lead to contradictions in the joint distribution with other random variables. In non-technical terms &#x201C;the contextuality in a system of random variables recorded under various conditions is a deviation of the possible couplings for this system from a specifically chosen identity coupling&#x201D; (<xref ref-type="bibr" rid="B22">Dzhafarov and Kujala, 2014</xref>, p. 8).</p>
<p>Discriminating the direct effects (occurring when other stimuli influence the response by changing its distribution), from &#x201C;true&#x201D; quantum contextuality, about such changes that cannot be explained by direct influences, is crucial in the current debate on the nature of quantum cognition. According to <xref ref-type="bibr" rid="B24">Dzhafarov et al. (2016)</xref>, the experimental evidence related to order effects&#x2014;collected by <xref ref-type="bibr" rid="B62">Wang and Busemeyer (2013)</xref> and explained through quantum principles&#x2014;is not due to quantum contextuality, but to direct effects. Contextuality can be analyzed by eliminating all the direct influences by the experimental design, as in <xref ref-type="bibr" rid="B15">Cervantes and Dzhafarov (2018)</xref>, experimentally discriminating the two types of effects. An operational procedure, developed specifically to compute &#x201C;true&#x201D; quantum contextuality in the presence of direct effects, is known as &#x201C;contextuality-by-default&#x201D; (<xref ref-type="bibr" rid="B22">Dzhafarov and Kujala, 2014</xref>, <xref ref-type="bibr" rid="B23">2015</xref>). Contextuality-by-default assumes (in a Kolmogorov framework) that contextuality is normally present, that is, any two random variables under different conditions are considered different by default (for instance, instead of considering a set of fair coins as the same and unique random variable, we can identify a different random variable for each of the coins). In the special case in which they are equal with probability = 1, they are considered non-contextual.</p>
<p>We think that quantum contextuality, and its distinction from direct effects, represents a fundamental theoretical tool for the development of Quantum Predictive Brain (cf., <xref ref-type="bibr" rid="B28">Fields and Glazebrook, 2022</xref>); in particular a generalization to <italic>N</italic> dimensions, informed by neuro-cognitive evidence. Indeed, we can hypothesize that the interaction of different pieces of evidence can generate incompatibility whose nature should require experimentally discriminating the role of direct effects and the role of quantum contextuality. This specific development of QPB is postponed to future research.</p>
</sec>
<sec id="S2.SS2.SSS3">
<title>The Bayesian Brain as a Special Case</title>
<p>When systems are compatible, as the prediction system and evidence system are orthogonal, the quantum framework becomes compatible with a classical Bayesian framework. Hence, the Bayesian brain works in the absence of complementarity between predictions and evidence, and could be considered a special case of QPB. In the case of compatibility, the classical assumptions of unicity apply, and non-commutative, order effects disappear. Indeed, when top-down processes and bottom-up processes are compatible, the assumption of unicity (fundamental in the Kolmogorov framework) is repristinated, so it is possible to form a single common sample space in which to place all the events and to define the rule of classical probability theory. A quantum framework differs from a Bayesian framework only when incompatible systems are involved (<xref ref-type="bibr" rid="B11">Busemeyer and Bruza, 2012</xref>).</p>
<p>Generally speaking, the idea that the brain is a predictive machine does not imply that it should work strictly based on Bayesian principles. Bayesian models are more familiar to most researchers, especially in the field of social and behavioral sciences. Unfortunately, such models may be limited, as they require restrictive probabilistic assumptions (for a comparison between Bayesian mechanisms and quantum probability in cognition, see <xref ref-type="bibr" rid="B9">Bruza et al., 2015</xref>). Using again the incipit about the deer, a Bayesian model is useful to update our model about the probability of deer crossing the road and it can be also used to improve our skills when we walk or drive in a forest. But, a Bayesian model hardly seizes the inspirational, higher-order meaning, unveiled by the metaphor and its poetical dimension. We think&#x2014;and we postpone this investigation to future research&#x2014;that quantum formalism offers a more flexible, generalized and sophisticated approach to predictive brain, for which the Bayesian approach represents only a specific case. Hence, QPB is not a <italic>tout court</italic> alternative to a Bayesian brain, but an articulation that can preserve the Bayesian updating mechanisms and can also consider them in a complementary fashion.</p>
</sec>
</sec>
</sec>
<sec id="S3" sec-type="discussion">
<title>Discussion</title>
<p>&#x201C;In my childhood we were always assured that the brain was a telephone switchboard&#x201D; (<xref ref-type="bibr" rid="B58">Searle, 1984</xref>, p. 44). The idea that new scientific ideas come from specific scientific tools is not new, as methods of statistical inference have often been translated into metaphors of mind (cf., <xref ref-type="bibr" rid="B39">Gigerenzer and Murray, 1987</xref>). Predictive coding is probably a case of a well-known formal device (the Bayes&#x2019; theorem was formulated long ago) used not only as an approximation of brain functioning, but also as an inspiring tool. But, if we think that this transposition of Bayesian mechanisms into the brain is only a speculative attempt, we are wrong. Predictive coding is successful not only because of its mathematical elegance, but also because of its internal consistency and explanatory power, as it proposes a successful unifying framework for many neuro-cognitive phenomena including perception, action, belief, memory and learning.</p>
<p>We think that what applies to the Bayesian brain applies to the QPB, which also presents the advantage of overcoming several limitations present in the Bayesian framework. Far from being just formal speculation (based on the use of a non-Kolmogorovian probability), the rationale behind a quantum approach is based on two general arguments. First, current theories of the predictive brain do not appear to be able to explain more sophisticated cognitive phenomena, involving unconventional surprises, incommensurable points of view, contemplative experience and metaphorical meaning, which are all marks of human cognition. Second, current theories of the predictive brain do not consider that predictions and evidence present an evolutionary substrate, which could be non-adaptive. Such arguments (respectively discussed in the following sections &#x201C;Complementarity as a Mark of Human Cognition&#x201D; and &#x201C;Neural Reuse and Complementarity&#x201D;) find a more natural theoretical integration in a quantum framework. A QPB offers a more flexible approach to predictive brain, able to preserve the mechanism of Bayesian updating and, at the same time, overcome its limitations through the general hypothesis of complementarity between top-down and bottom-up processes.</p>
<sec id="S3.SS1">
<title>Complementarity as a Mark of Human Cognition</title>
<p>Let us consider, again, the incipit of this contribution, &#x201C;It&#x2019;s not the deer that crosses the road, it&#x2019;s the road that crosses the forest.&#x201D; If we remain bounded in a Bayesian framework, we will consider the deer as an unexpected event and we will update our model of the forest: deer are not so much rare, so the next time we cross a forest, we should pay attention. Unfortunately, this Bayesian mechanism is as much plausible as it is trivial. The citation is not about deer living in a forest, but lies in a different cognitive order, unveiled by a metaphor (about a deer and a forest). We can conceive this metaphorical meaning only if we conceive the sensory evidence on a totally different and incompatible order of meanings. Indeed, the most interesting surprise is instantiated by the discovery of the ecological embeddedness, occurring when we realize that the road is nothing more than a small line in a huge forest. But, there is more. Once we access this higher-order meaning and we re-formulate the metaphor through an internally consistent and accurate description (the metaphor reveals our ecological embeddedness, disclosing the incapacity of conceiving our life as a part of a bigger picture), its poetical meaning suddenly disappears and becomes vague and uncertain. Notice also, when we try to express the meaning through a consistent and accurate description, new metaphors (such as the &#x201C;bigger picture&#x201D;) will enter again into the game of sense-making. Yet, again, there is more. There is no actual experience of a forest and a deer, our narrative is not part of a poetry book, nor are we interested in ecological embeddedness. The metaphor is a part of a scientific publication and it is instrumental to a totally different purpose and topic. Again, we found a further, higher-level order of sense-making. In short, when we are certain about a specific order of sense-making, we remain vague on the others that instantiate the sense. So, it seems to us that we can be certain about one thing precisely because of the vagueness of the complementary things.</p>
<p>We think that the Bayesian brain is not able to model such kinds of higher-order dynamics among different levels of metaphorical mapping, sensory evidence, poetical value, and logical consistency, and we also think that QPB presents some advantages. A fundamental implicit assumption of the Bayesian brain is that predictions and evidence are modeled as orthogonal sub-spaces. This fundamental property represents a fundamental limitation if analyzed through the quantum lens. Indeed, QPB assumes that prediction and evidence could not be independent (not orthogonal), as they can be expressed, one with respect to the other, with a precision trade-off (they are conjugate systems). The orthogonality between the prediction and evidence systems (in the Bayesian brain) is only an extreme case, and QPB explores all the other infinite possibilities of non-orthogonal but complementary interactions between prediction and evidence. Such types of incompatible interactions are central in QPB.</p>
<p>Speculatively, the human brain presents the &#x201C;ability&#x201D; of adjusting the predictive system with respect to the sensory evidence, and vice versa. Such adjustment is consistent with the well-known &#x201C;adaptive resonance theory&#x201D; (e.g., <xref ref-type="bibr" rid="B41">Grossberg, 2013</xref>), which considers the brain is organized into complementary parallel processing systems&#x2014;respectively related to top-down expectations and bottom-up sensory information&#x2014;whose interactions generate intelligent behaviors (<xref ref-type="bibr" rid="B40">Grossberg, 2000</xref>). Contrary to adaptive resonance theory&#x2014;emphasizing the role of resonance among the processes&#x2014;QPB considers complementarity as a phenomenon that works precisely because top-down and bottom-up processes cannot always be &#x201C;reduced&#x201D; one to the other, but must preserve their incompatibility to generate higher-order cognitive processes. In QPB, the adjustment between predictions and evidence&#x2014;corresponding in our model to a rotation of one system with respect to the other (as shown in <xref ref-type="fig" rid="F3">Figure 3</xref>)&#x2014;instantiates the complementarity of the prediction, <italic>endogenizing error minimization and precision</italic>, both constructs being central in predictive brain theory. Furthermore, complementarity preserves the history of the dynamic interplay (through order effects) and the ability to reinvent the interaction (through interference) in a non-trivial manner. In the QPB framework, we speculatively posit that <italic>incompatibility is necessary for higher-order surprisal</italic>. Specific forms of surprisal (such as the deer metaphor, which makes sense precisely when one oversteps the veil of sensory obviousness) occur when the interaction between prediction and evidence presents a form of non-reducible uncertainty, requiring some indeterminism in the predictive brain (cf. <xref ref-type="bibr" rid="B20">De Ridder and Vanneste, 2013</xref>). Such uncertainty preserves the degrees of freedom necessary to instantiate such incommensurable-but-meaningful wild flights, which are a mark of the human being.</p>
</sec>
<sec id="S3.SS2">
<title>Neural Reuse and Complementarity</title>
<p>The possibility of conceiving prediction and evidence as complementary systems is not a hypothesis that is meaningful only on a cognitive and computational level, but aims to find evidence in the areas of the brain involved in predicting and coding the sensory evidence. Despite the mounting (but also mixed) neuroimaging research on predictive coding (<xref ref-type="bibr" rid="B60">Walsh et al., 2020</xref>), and postulating distinct brain areas for prediction and sensory evidence, we posit that QPB is more consistent with neural reuse, hypothesizing that the same area of the brain can be used for different purposes (<xref ref-type="bibr" rid="B37">Gallese, 2008</xref>; <xref ref-type="bibr" rid="B4">Anderson, 2010</xref>; cf., <xref ref-type="bibr" rid="B38">Gatti et al., 2021</xref>). In particular, the possibility of conceiving the same state vector through incompatible descriptions is a way of modeling neural reuse, where the same neural endowments admit a representation both in the predictive system and in the evidence system. Hence, the possibility of adjusting the prediction and the sensory-motor systems, preserving their incompatibility, is strictly related to the idea of exploiting the same neural resources for both predicting and coding the sensory evidence. Incompatibility is what preserves the specificities of prediction and evidence systems within the same neural resources; speculatively, when a brain area is involved in prediction, its role in coding evidence is uncertain, and vice versa, that is to say, we hypothesize that the same neural endowment enables partial determinations in the form of prediction or evidence.</p>
<p>In QPB, predictions and evidence are not necessarily distinct brain areas, but they are analytical distinctions that identify specific functions, which share some neural resources. This fundamental mechanism&#x2014;the same neural resources for different functions&#x2014;challenges a fundamental property assumed in existing predictive brain theories, that is, the existence of a strictly hierarchical organization of the brain. QPB proposes an alternative topological model that shifts the theoretical focus <italic>from layers to order</italic>s. If we admit that the same neural resources enable different functions, we are substituting the necessity for layers with the possibility of instantiating specific functions, without a strict functional topology but through complementarity. Indeed, predictions and evidence can be determined only by assuming that the same neural resources collapse in a system, while preserving the indeterminacy of the complementary system in a dynamic, non-commutative fashion. It can be noticed, again speculatively, that by avoiding a strictly hierarchical organization and allowing neural &#x201C;shortcuts&#x201D;, complementarity can be also useful to shed new light on neuroplasticity. More specifically, a Bayesian brain is not able to fully account for such predictions that, being phylogenetically-determined adaptations, are resistant to contextual changes (<xref ref-type="bibr" rid="B65">Yon et al., 2019</xref>). A QPB, being consistent with neural reuse, preserves both the adaptive functions and the degree of freedom for the instantiation of high-level processes, to be intended as <italic>exaptations</italic> of the sensory-motor system (<xref ref-type="bibr" rid="B3">Anderson, 2007</xref>; <xref ref-type="bibr" rid="B52">Mastrogiorgio et al., 2022</xref>).</p>
<p>Hence, we do not deny that the human brain presents hierarchies in the topology of neural networks. However, we think that the strict hierarchical organization assumed in current theories of predictive brain seems to be more related to the necessity of formulating a theory consistent with the Bayesian framework, than to the opportunity of interpreting the flourishing neuroimaging evidence through the Bayesian lens. Put differently, it seems to us that a Bayesian framework imposes specific and restrictive topological conditions to preserve its theoretical consistency. This limitation is one that QPB tries to overcome, endorsing the view that specific old brain structures are, evolutionarily speaking, exapted to enable high-level faculties employed in civilized niches.</p>
</sec>
</sec>
<sec id="S4" sec-type="conclusion">
<title>Conclusion</title>
<p>While quantum cognition is, nowadays, mostly applied to high-level processes, mainly in a computationalist, cognitivist framework, QPB exploits quantum formalism to shed new light on the role of embodied mechanisms in a predictive brain framework. QPB is not a representationalist theory to be ascribed to a pure &#x201C;cognitive realm,&#x201D; in which quantum principles have been applied to model high-level information processing (e.g., <xref ref-type="bibr" rid="B47">Khrennikov, 2006</xref>, <xref ref-type="bibr" rid="B48">2015</xref>; <xref ref-type="bibr" rid="B1">Aerts, 2009</xref>; <xref ref-type="bibr" rid="B5">Asano et al., 2015</xref>), nor is it consistent with the controversial hypothesis&#x2014;also known as Orchestrated objective reduction (Orch OR)&#x2014;stating that consciousness originates from quantum states in microtubules (<xref ref-type="bibr" rid="B42">Hameroff, 2012</xref>; <xref ref-type="bibr" rid="B43">Hameroff and Penrose, 2014</xref>).</p>
<p>QPB assumes that the brain is a predictive machine working through conservative principles and proposes a quantum model that is able to seize the complementarity between top-down and bottom-up processes, within a predictive coding framework. QPB challenges the implicit assumption of commensurability between predictions and evidence (assumed in current views of predictive brain) postulating that incompatibility is a mark of human cognition. QPB assumes that prediction and evidence could not be independent but complementary, as they can be determined, one with respect to the other, only with a precision trade-off. Complementarity&#x2014;to be considered necessary for higher-order surprisal&#x2014;preserves the history of the dynamic interplay of the systems (through order effects) and their non-trivial interaction (through interference). QPB is an evolutionary friendly framework, consistent with neural reuse (as the same neural endowment enables partial descriptions in the form of prediction or evidence) and can shed new light on neuroplasticity.</p>
<p>While predictive coding, based on Bayesian principles, is a consolidated domain of research, we are aware that QPB is a novel and speculative hypothesis. But, we think that our hypothesis is no less speculative than a Bayesian brain, as a Bayesian approximation can be considered a special case of QPB. We also think that QPB presents theoretical parsimony and elegance, as it allows considering the updating mechanisms also in a complementary fashion, endogenizing precision and error minimization (without requiring <italic>ad hoc</italic> assumptions).</p>
<p>Generally speaking, predictive brain (on the one side) and quantum cognition (on the other) are two different domains of investigation, each one characterized by well-developed theoretical debates connoted by advanced, dedicated mathematical formalism. We prudently opted for a stylized&#x2014;and speculative&#x2014;model, precisely because of the scientific inopportunity of matching the theoretical complexity of such distinct domains of research (this type of matching has been proposed by <xref ref-type="bibr" rid="B29">Fields et al., 2021</xref>). Notice that our stylized quantum model is deliberately paired with a stylized representation of a Bayesian brain. A less-stylized, more advanced quantum model that is able to take into account more recent articulation of research on active inference is postponed to future research.</p>
<p>In conclusion, we think that QPB could represent a promising framework for future investigations on the predictive nature of the human brain. We also think that QPB deserves the deepest theoretical articulation along with experimental research and neuroimaging evidence to be fully substantiated. Building a realistic model of the QPB represents a challenge for future research. Such a model should be characterized by N dimensions specified on the basis of neuro-cognitive evidence and should take into account the role of quantum contextuality.</p>
</sec>
<sec id="S5" sec-type="data-availability">
<title>Data Availability Statement</title>
<p>The original contributions presented in this study are included in the article/supplementary material, further inquiries can be directed to the corresponding author.</p>
</sec>
<sec id="S6">
<title>Author Contributions</title>
<p>The author confirms being the sole contributor of this work and has approved it for publication.</p>
</sec>
<sec id="conf1" sec-type="COI-statement">
<title>Conflict of Interest</title>
<p>The author declares 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 id="pudiscl1" sec-type="disclaimer">
<title>Publisher&#x2019;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>
</body>
<back>
<ref-list>
<title>References</title>
<ref id="B1"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Aerts</surname> <given-names>D.</given-names></name></person-group> (<year>2009</year>). <article-title>Quantum Structure in Cognition.</article-title> <source><italic>J. Mathemat. Psychol.</italic></source> <volume>53</volume> <fpage>314</fpage>&#x2013;<lpage>348</lpage>. <pub-id pub-id-type="doi">10.1098/rspb.2016.0291</pub-id> <pub-id pub-id-type="pmid">27053743</pub-id></citation></ref>
<ref id="B2"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Aitchison</surname> <given-names>L.</given-names></name> <name><surname>Lengyel</surname> <given-names>M.</given-names></name></person-group> (<year>2017</year>). <article-title>With or without you: predictive coding and Bayesian inference in the brain.</article-title> <source><italic>Curr. Opin. Neurobiol.</italic></source> <volume>46</volume> <fpage>219</fpage>&#x2013;<lpage>227</lpage>. <pub-id pub-id-type="doi">10.1016/j.conb.2017.08.010</pub-id> <pub-id pub-id-type="pmid">28942084</pub-id></citation></ref>
<ref id="B3"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Anderson</surname> <given-names>M. L.</given-names></name></person-group> (<year>2007</year>). <article-title>Massive redeployment, exaptation, and the functional integration of cognitive operations.</article-title> <source><italic>Synthese</italic></source> <volume>159</volume> <fpage>329</fpage>&#x2013;<lpage>345</lpage>.</citation></ref>
<ref id="B4"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Anderson</surname> <given-names>M. L.</given-names></name></person-group> (<year>2010</year>). <article-title>Neural reuse: a fundamental organizational principle of the brain.</article-title> <source><italic>Behav. Brain Sci.</italic></source> <volume>33</volume> <fpage>245</fpage>&#x2013;<lpage>266</lpage>. <pub-id pub-id-type="doi">10.1017/S0140525X10000853</pub-id> <pub-id pub-id-type="pmid">20964882</pub-id></citation></ref>
<ref id="B5"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Asano</surname> <given-names>M.</given-names></name> <name><surname>Khrennikov</surname> <given-names>A.</given-names></name> <name><surname>Ohya</surname> <given-names>M.</given-names></name> <name><surname>Tanaka</surname> <given-names>Y.</given-names></name> <name><surname>Yamato</surname> <given-names>I.</given-names></name></person-group> (<year>2015</year>). <source><italic>Quantum Adaptivity in Biology: from Genetics to Cognition (Vol. 1080).</italic></source> <publisher-loc>Netherlands</publisher-loc>: <publisher-name>Springer</publisher-name>.</citation></ref>
<ref id="B6"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Atmanspacher</surname> <given-names>H.</given-names></name> <name><surname>Romer</surname> <given-names>H.</given-names></name> <name><surname>Walach</surname> <given-names>H.</given-names></name></person-group> (<year>2002</year>). <article-title>Weak quantum theory: complementarity and entanglement in physics and beyond.</article-title> <source><italic>Foundations Phys.</italic></source> <volume>32</volume> <fpage>379</fpage>&#x2013;<lpage>406</lpage>.</citation></ref>
<ref id="B7"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bell</surname> <given-names>J. S.</given-names></name></person-group> (<year>1966</year>). <article-title>On the problem of hidden variables in quantum mechanics.</article-title> <source><italic>Rev. Modern Phys.</italic></source> <volume>38</volume> <fpage>447</fpage>&#x2013;<lpage>452</lpage>.</citation></ref>
<ref id="B8"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Born</surname> <given-names>M.</given-names></name></person-group> (<year>1926</year>). <article-title>Zur Quantenmechanik der Sto&#x00DF;vorg&#x00E4;nge.</article-title> <source><italic>Zeitschrift f&#x00FC;r Physik</italic></source> <volume>37</volume>:<issue>863</issue>.</citation></ref>
<ref id="B9"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bruza</surname> <given-names>P. D.</given-names></name> <name><surname>Wang</surname> <given-names>Z.</given-names></name> <name><surname>Busemeyer</surname> <given-names>J. R.</given-names></name></person-group> (<year>2015</year>). <article-title>Quantum cognition: a new theoretical approach to psychology.</article-title> <source><italic>Trends in cognitive sciences</italic></source> <volume>19</volume> <fpage>383</fpage>&#x2013;<lpage>393</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2015.05.001</pub-id> <pub-id pub-id-type="pmid">26058709</pub-id></citation></ref>
<ref id="B10"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Budroni</surname> <given-names>C.</given-names></name> <name><surname>Cabello</surname> <given-names>A.</given-names></name> <name><surname>G&#x00FC;hne</surname> <given-names>O.</given-names></name> <name><surname>Kleinmann</surname> <given-names>M.</given-names></name> <name><surname>Larsson</surname> <given-names>J. &#x00C5;</given-names></name></person-group> (<year>2021</year>). <article-title>Quantum contextuality.</article-title> <source>arXiv preprint arXiv:2102.13036</source> [<comment>preprint</comment>]</citation></ref>
<ref id="B11"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Busemeyer</surname> <given-names>J. R.</given-names></name> <name><surname>Bruza</surname> <given-names>P. D.</given-names></name></person-group> (<year>2012</year>). <source><italic>Quantum Models of Cognition and Decision.</italic></source> <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge University Press</publisher-name>.</citation></ref>
<ref id="B12"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Busemeyer</surname> <given-names>J. R.</given-names></name> <name><surname>Pothos</surname> <given-names>E. M.</given-names></name> <name><surname>Franco</surname> <given-names>R.</given-names></name> <name><surname>Trueblood</surname> <given-names>J. S.</given-names></name></person-group> (<year>2011</year>). <article-title>A quantum theoretical explanation for probability judgment errors.</article-title> <source><italic>Psychol. Rev.</italic></source> <volume>118</volume> <fpage>193</fpage>&#x2013;<lpage>218</lpage>. <pub-id pub-id-type="doi">10.1037/a0022542</pub-id> <pub-id pub-id-type="pmid">21480739</pub-id></citation></ref>
<ref id="B13"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Busemeyer</surname> <given-names>J. R.</given-names></name> <name><surname>Wang</surname> <given-names>Z.</given-names></name> <name><surname>Townsend</surname> <given-names>J. T.</given-names></name></person-group> (<year>2006</year>). <article-title>Quantum dynamics of human decision-making.</article-title> <source><italic>J. Mathemat. Psychol.</italic></source> <volume>50</volume> <fpage>220</fpage>&#x2013;<lpage>241</lpage>.</citation></ref>
<ref id="B14"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Caves</surname> <given-names>C. M.</given-names></name> <name><surname>Fuchs</surname> <given-names>C. A.</given-names></name> <name><surname>Schak</surname> <given-names>R.</given-names></name></person-group> (<year>2002</year>). <article-title>Quantum probabilities as Bayesian probabilities.</article-title> <source><italic>Phys. Rev.</italic></source> <volume>65</volume> <fpage>1</fpage>&#x2013;<lpage>6</lpage>.</citation></ref>
<ref id="B15"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Cervantes</surname> <given-names>V. H.</given-names></name> <name><surname>Dzhafarov</surname> <given-names>E. N.</given-names></name></person-group> (<year>2018</year>). <article-title>Snow Queen is evil and beautiful: experimental evidence for probabilistic contextuality in human choices.</article-title> <source><italic>Decision</italic></source> <volume>5</volume> <fpage>193</fpage>&#x2013;<lpage>204</lpage>.</citation></ref>
<ref id="B16"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Clark</surname> <given-names>A.</given-names></name></person-group> (<year>2013</year>). <article-title>Whatever next? Predictive brains, situated agents, and the future of cognitive science.</article-title> <source><italic>Behav. Brain Sci.</italic></source> <volume>36</volume> <fpage>181</fpage>&#x2013;<lpage>204</lpage>.</citation></ref>
<ref id="B17"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Clark</surname> <given-names>A.</given-names></name></person-group> (<year>2015</year>). <source><italic>Surfing Uncertainty: Prediction, Action, and the Embodied Mind.</italic></source> <publisher-loc>Oxford</publisher-loc>: <publisher-name>Oxford University Press</publisher-name>.</citation></ref>
<ref id="B18"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Clark</surname> <given-names>A.</given-names></name></person-group> (<year>2018</year>). <article-title>Beyond the&#x2019;Bayesian blur&#x2019;: predictive processing and the nature of subjective experience.</article-title> <source><italic>J. Conscious. Stud.</italic></source> <volume>25</volume> <fpage>71</fpage>&#x2013;<lpage>87</lpage>.</citation></ref>
<ref id="B19"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dayan</surname> <given-names>P.</given-names></name> <name><surname>Hinton</surname> <given-names>G. E.</given-names></name> <name><surname>Neal</surname> <given-names>R. M.</given-names></name> <name><surname>Zemel</surname> <given-names>R. S.</given-names></name></person-group> (<year>1995</year>). <article-title>The helmholtz machine.</article-title> <source><italic>Neural Comput.</italic></source> <volume>7</volume> <fpage>889</fpage>&#x2013;<lpage>904</lpage>.</citation></ref>
<ref id="B20"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>De Ridder</surname> <given-names>D.</given-names></name> <name><surname>Vanneste</surname> <given-names>S.</given-names></name></person-group> (<year>2013</year>). <article-title>The predictive brain and the &#x201C;free will&#x201D; illusion.</article-title> <source><italic>Front. Psychol.</italic></source> <volume>4</volume>:<issue>131</issue>. <pub-id pub-id-type="doi">10.3389/fpsyg.2013.00131</pub-id> <pub-id pub-id-type="pmid">23641219</pub-id></citation></ref>
<ref id="B21"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dirac</surname> <given-names>P. A. M.</given-names></name></person-group> (<year>1939</year>). <article-title>A new notation for quantum mechanics.</article-title> <source><italic>Mathemat. Proc. Cambrid. Phil. Soc.</italic></source> <volume>35</volume> <fpage>416</fpage>&#x2013;<lpage>418</lpage>. <pub-id pub-id-type="doi">10.1109/TIP.2011.2179060</pub-id> <pub-id pub-id-type="pmid">22167631</pub-id></citation></ref>
<ref id="B22"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dzhafarov</surname> <given-names>E. N.</given-names></name> <name><surname>Kujala</surname> <given-names>J. V.</given-names></name></person-group> (<year>2014</year>). <article-title>Contextuality is about identity of random variables.</article-title> <source><italic>Physica Scripta</italic></source> <volume>2014</volume>:<issue>014009</issue>.</citation></ref>
<ref id="B23"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dzhafarov</surname> <given-names>E. N.</given-names></name> <name><surname>Kujala</surname> <given-names>J. V.</given-names></name></person-group> (<year>2015</year>). &#x201C;<article-title>Random Variables Recorded Under Mutually Exclusive Conditions: Contextuality-by-Default</article-title>,&#x201D; in <source><italic>Advances in Cognitive Neurodynamics (IV). Advances in Cognitive Neurodynamics</italic></source>, <role>ed.</role> <person-group person-group-type="editor"><name><surname>Liljenstr&#x00F6;m</surname> <given-names>H.</given-names></name></person-group> (<publisher-loc>Dordrecht</publisher-loc>: <publisher-name>Springer</publisher-name>).</citation></ref>
<ref id="B24"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Dzhafarov</surname> <given-names>E. N.</given-names></name> <name><surname>Zhang</surname> <given-names>R.</given-names></name> <name><surname>Kujala</surname> <given-names>J.</given-names></name></person-group> (<year>2016</year>). <article-title>Is there contextuality in behavioural and social systems?</article-title> <source><italic>Phil. Trans. R. Soc. A.</italic></source> <volume>374</volume>:<issue>20150099</issue>. <pub-id pub-id-type="doi">10.1098/rsta.2015.0099</pub-id> <pub-id pub-id-type="pmid">26621988</pub-id></citation></ref>
<ref id="B25"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Einstein</surname> <given-names>A.</given-names></name> <name><surname>Podolsky</surname> <given-names>B.</given-names></name> <name><surname>Rosen</surname> <given-names>N.</given-names></name></person-group> (<year>1935</year>). <article-title>Can quantum-mechanical description of physical reality be considered complete?</article-title> <source><italic>Phys. Rev.</italic></source> <volume>47</volume>:<issue>777</issue>.</citation></ref>
<ref id="B26"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Feldman</surname> <given-names>H.</given-names></name> <name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2010</year>). <article-title>Attention, uncertainty, and free-energy.</article-title> <source><italic>Frontiers in human neuroscience</italic></source> <volume>4</volume>:<issue>215</issue>. <pub-id pub-id-type="doi">10.3389/fnhum.2010.00215</pub-id> <pub-id pub-id-type="pmid">21160551</pub-id></citation></ref>
<ref id="B27"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Feynman</surname> <given-names>R.</given-names></name> <name><surname>Leighton</surname> <given-names>R.</given-names></name> <name><surname>Sands</surname> <given-names>M.</given-names></name></person-group> (<year>1964</year>). <source><italic>The Feynman Lectures on Physics. Vol. 3.</italic></source> <publisher-loc>Pasadena</publisher-loc>: <publisher-name>California Institute of Technology</publisher-name>.</citation></ref>
<ref id="B28"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Fields</surname> <given-names>C.</given-names></name> <name><surname>Glazebrook</surname> <given-names>J. F.</given-names></name></person-group> (<year>2022</year>). <article-title>Information flow in context-dependent hierarchical Bayesian inference.</article-title> <source><italic>J. Exp. Theor. Artificial Intell.</italic></source> <volume>34</volume> <fpage>111</fpage>&#x2013;<lpage>142</lpage>.</citation></ref>
<ref id="B29"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Fields</surname> <given-names>C.</given-names></name> <name><surname>Friston</surname> <given-names>K.</given-names></name> <name><surname>Glazebrook</surname> <given-names>J. F.</given-names></name> <name><surname>Levin</surname> <given-names>M.</given-names></name></person-group> (<year>2021</year>). <article-title>A free energy principle for generic quantum systems.</article-title> <source><italic>Prog. Biophys. Mol. Biol.</italic></source> <comment>[Epub ahead of print]</comment>. <pub-id pub-id-type="doi">10.1016/j.pbiomolbio.2022.05.006</pub-id> <pub-id pub-id-type="pmid">35618044</pub-id></citation></ref>
<ref id="B30"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Franco</surname> <given-names>R.</given-names></name></person-group> (<year>2009</year>). <article-title>The conjunctive fallacy and interference effects.</article-title> <source><italic>J. Mathemat. Psychol.</italic></source> <volume>53</volume> <fpage>415</fpage>&#x2013;<lpage>422</lpage>.</citation></ref>
<ref id="B31"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2003</year>). <article-title>Learning and inference in the brain.</article-title> <source><italic>Neural Netw.</italic></source> <volume>16</volume> <fpage>1325</fpage>&#x2013;<lpage>1352</lpage>.</citation></ref>
<ref id="B32"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2008</year>). <article-title>Hierarchical models in the brain.</article-title> <source><italic>PLoS Computat. Biol.</italic></source> <volume>4</volume>:<issue>e1000211</issue>. <pub-id pub-id-type="doi">10.1371/journal.pcbi.1000211</pub-id> <pub-id pub-id-type="pmid">18989391</pub-id></citation></ref>
<ref id="B33"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2009</year>). <article-title>The free-energy principle: a rough guide to the brain?</article-title> <source><italic>Trends in cognitive sciences</italic></source> <volume>13</volume> <fpage>293</fpage>&#x2013;<lpage>301</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2009.04.005</pub-id> <pub-id pub-id-type="pmid">19559644</pub-id></citation></ref>
<ref id="B34"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2012</year>). <article-title>The history of the future of the Bayesian brain.</article-title> <source><italic>NeuroImage</italic></source> <volume>62</volume> <fpage>1230</fpage>&#x2013;<lpage>1233</lpage>. <pub-id pub-id-type="doi">10.1016/j.neuroimage.2011.10.004</pub-id> <pub-id pub-id-type="pmid">22023743</pub-id></citation></ref>
<ref id="B35"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</given-names></name></person-group> (<year>2018</year>). <article-title>Does predictive coding have a future?</article-title> <source><italic>Nat. Neurosci.</italic></source> <volume>21</volume> <fpage>1019</fpage>&#x2013;<lpage>1021</lpage>.</citation></ref>
<ref id="B36"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Friston</surname> <given-names>K.</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>2017</year>). <article-title>Active inference: a process theory.</article-title> <source><italic>Neural Comput.</italic></source> <volume>29</volume> <fpage>1</fpage>&#x2013;<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="B37"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gallese</surname> <given-names>V.</given-names></name></person-group> (<year>2008</year>). <article-title>Mirror neurons and the social nature of language: the neural exploitation hypothesis.</article-title> <source><italic>Soc. Neurosci.</italic></source> <volume>3</volume> <fpage>317</fpage>&#x2013;<lpage>333</lpage>. <pub-id pub-id-type="doi">10.1080/17470910701563608</pub-id> <pub-id pub-id-type="pmid">18979384</pub-id></citation></ref>
<ref id="B38"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gatti</surname> <given-names>D.</given-names></name> <name><surname>Rinaldi</surname> <given-names>L.</given-names></name> <name><surname>Ferreri</surname> <given-names>L.</given-names></name> <name><surname>Vecchi</surname> <given-names>T.</given-names></name></person-group> (<year>2021</year>). <article-title>The Human Cerebellum as a Hub of the Predictive Brain.</article-title> <source><italic>Brain Sci.</italic></source> <volume>11</volume>:<issue>1492</issue>. <pub-id pub-id-type="doi">10.3390/brainsci11111492</pub-id> <pub-id pub-id-type="pmid">34827491</pub-id></citation></ref>
<ref id="B39"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Gigerenzer</surname> <given-names>G.</given-names></name> <name><surname>Murray</surname> <given-names>D. J.</given-names></name></person-group> (<year>1987</year>). <source><italic>Cognition as Intuitive Statistics.</italic></source> <publisher-loc>Hillsdale, NJ</publisher-loc>: <publisher-name>Erlbaum</publisher-name>.</citation></ref>
<ref id="B40"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Grossberg</surname> <given-names>S.</given-names></name></person-group> (<year>2000</year>). <article-title>The complementary brain: unifying brain dynamics and modularity.</article-title> <source><italic>Trends Cogn. Sci.</italic></source> <volume>4</volume> <fpage>233</fpage>&#x2013;<lpage>246</lpage>. <pub-id pub-id-type="doi">10.1016/s1364-6613(00)01464-9</pub-id> <pub-id pub-id-type="pmid">10827446</pub-id></citation></ref>
<ref id="B41"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Grossberg</surname> <given-names>S.</given-names></name></person-group> (<year>2013</year>). <article-title>Adaptive Resonance Theory: how a brain learns to consciously attend, learn, and recognize a changing world.</article-title> <source><italic>Neural Netw.</italic></source> <volume>37</volume> <fpage>1</fpage>&#x2013;<lpage>47</lpage>. <pub-id pub-id-type="doi">10.1016/j.neunet.2012.09.017</pub-id> <pub-id pub-id-type="pmid">23149242</pub-id></citation></ref>
<ref id="B42"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hameroff</surname> <given-names>S.</given-names></name></person-group> (<year>2012</year>). <article-title>How quantum brain biology can rescue conscious free will.</article-title> <source><italic>Front. Integr. Neurosci.</italic></source> <volume>6</volume>:<issue>93</issue>. <pub-id pub-id-type="doi">10.3389/fnint.2012.00093</pub-id> <pub-id pub-id-type="pmid">23091452</pub-id></citation></ref>
<ref id="B43"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hameroff</surname> <given-names>S.</given-names></name> <name><surname>Penrose</surname> <given-names>R.</given-names></name></person-group> (<year>2014</year>). <article-title>Reply to seven commentaries on &#x201C;Consciousness in the universe: review of the &#x2018;Orch OR&#x2019;theory&#x201D;.</article-title> <source><italic>Phys Life Rev</italic></source> <volume>11</volume> <fpage>94</fpage>&#x2013;<lpage>100</lpage>.</citation></ref>
<ref id="B44"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hohwy</surname> <given-names>J.</given-names></name></person-group> (<year>2012</year>). <article-title>Attention and conscious perception in the hypothesis testing brain.</article-title> <source><italic>Front. Psychol.</italic></source> <volume>3</volume>:<issue>96</issue>. <pub-id pub-id-type="doi">10.3389/fpsyg.2012.00096</pub-id> <pub-id pub-id-type="pmid">22485102</pub-id></citation></ref>
<ref id="B45"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Huang</surname> <given-names>Y.</given-names></name> <name><surname>Rao</surname> <given-names>R. P.</given-names></name></person-group> (<year>2011</year>). <article-title>Predictive coding.</article-title> <source><italic>Wiley Interdiscipl. Rev. Cogn. Sci.</italic></source> <volume>2</volume> <fpage>580</fpage>&#x2013;<lpage>593</lpage>.</citation></ref>
<ref id="B46"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kahneman</surname> <given-names>D.</given-names></name> <name><surname>Slovic</surname> <given-names>S. P.</given-names></name> <name><surname>Slovic</surname> <given-names>P.</given-names></name> <name><surname>Tversky</surname> <given-names>A.</given-names></name></person-group> (<year>1982</year>). <source><italic>Judgment Under Uncertainty: Heuristics and Biases.</italic></source> <publisher-loc>Cambridge</publisher-loc>: <publisher-name>Cambridge university press</publisher-name>.</citation></ref>
<ref id="B47"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Khrennikov</surname> <given-names>A.</given-names></name></person-group> (<year>2006</year>). <article-title>Quantum-like brain:&#x201C;Interference of minds&#x201D;.</article-title> <source><italic>BioSystems</italic></source> <volume>84</volume> <fpage>225</fpage>&#x2013;<lpage>241</lpage>. <pub-id pub-id-type="doi">10.1016/j.biosystems.2005.11.005</pub-id> <pub-id pub-id-type="pmid">16427733</pub-id></citation></ref>
<ref id="B48"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Khrennikov</surname> <given-names>A.</given-names></name></person-group> (<year>2015</year>). <article-title>Quantum-like modeling of cognition.</article-title> <source><italic>Front. Phys.</italic></source> <volume>3</volume>:<issue>77</issue>. <pub-id pub-id-type="doi">10.3389/fphy.2015.00077</pub-id></citation></ref>
<ref id="B49"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Kochen</surname> <given-names>S.</given-names></name> <name><surname>Specker</surname> <given-names>E. P.</given-names></name></person-group> (<year>1967</year>). <article-title>The problem of hidden variables in quantum mechanics.</article-title> <source><italic>J. Mathemat. Mech.</italic></source> <volume>17</volume> <fpage>59</fpage>&#x2013;<lpage>87</lpage>.</citation></ref>
<ref id="B50"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Lambert-Mogiliansky</surname> <given-names>A.</given-names></name> <name><surname>Zamir</surname> <given-names>S.</given-names></name> <name><surname>Zwirn</surname> <given-names>H.</given-names></name></person-group> (<year>2009</year>). <article-title>Type indeterminacy: a model of the KT (Kahneman-Tversky)-man.</article-title> <source><italic>J. Mathemat. Psychol.</italic></source> <volume>53</volume> <fpage>349</fpage>&#x2013;<lpage>361</lpage>.</citation></ref>
<ref id="B51"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Liang</surname> <given-names>Y. C.</given-names></name> <name><surname>Spekkens</surname> <given-names>R. W.</given-names></name> <name><surname>Wiseman</surname> <given-names>H. M.</given-names></name></person-group> (<year>2011</year>). <article-title>Specker&#x2019;s parable of the overprotective seer: a road to contextuality, nonlocality and complementarity.</article-title> <source><italic>Phys. Rep.</italic></source> <volume>506</volume> <fpage>1</fpage>&#x2013;<lpage>39</lpage>.</citation></ref>
<ref id="B52"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mastrogiorgio</surname> <given-names>A.</given-names></name> <name><surname>Felin</surname> <given-names>T.</given-names></name> <name><surname>Kauffman</surname> <given-names>S.</given-names></name> <name><surname>Mastrogiorgio</surname> <given-names>M.</given-names></name></person-group> (<year>2022</year>). <article-title>More Thumbs Than Rules: is Rationality an Exaptation?</article-title> <source><italic>Front. Psychol.</italic></source> <volume>13</volume>:<issue>805743</issue>. <pub-id pub-id-type="doi">10.3389/fpsyg.2022.805743</pub-id> <pub-id pub-id-type="pmid">35282257</pub-id></citation></ref>
<ref id="B53"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Mermin</surname> <given-names>N. D.</given-names></name></person-group> (<year>1993</year>). <article-title>Hidden variables and the two theorems of John Bell.</article-title> <source><italic>Rev. Modern Phys.</italic></source> <volume>65</volume> <fpage>803</fpage>&#x2013;<lpage>815</lpage>.</citation></ref>
<ref id="B54"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Millidge</surname> <given-names>B.</given-names></name> <name><surname>Seth</surname> <given-names>A.</given-names></name> <name><surname>Buckley</surname> <given-names>C. L.</given-names></name></person-group> (<year>2021</year>). <article-title>Predictive coding: a theoretical and experimental review.</article-title> <source><italic>arXiv arXiv:2107.12979.</italic></source> [<comment>preprint</comment>].</citation></ref>
<ref id="B55"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Plotnitsky</surname> <given-names>A.</given-names></name></person-group> (<year>2014</year>). <article-title>What is complementarity?: niels Bohr and the architecture of quantum theory.</article-title> <source><italic>Phys. Scripta</italic></source> <volume>2014</volume>:<issue>014002</issue>.</citation></ref>
<ref id="B56"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Rao</surname> <given-names>R. P.</given-names></name> <name><surname>Ballard</surname> <given-names>D. H.</given-names></name></person-group> (<year>1999</year>). <article-title>Predictive coding in the visual cortex: a functional interpretation of some extraclassical receptive-field effects.</article-title> <source><italic>Nat. Neurosci.</italic></source> <volume>2</volume> <fpage>79</fpage>&#x2013;<lpage>87</lpage>. <pub-id pub-id-type="doi">10.1038/4580</pub-id> <pub-id pub-id-type="pmid">10195184</pub-id></citation></ref>
<ref id="B57"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Safron</surname> <given-names>A.</given-names></name></person-group> (<year>2021</year>). <article-title>Integrated world modeling theory (IWMT) expanded: implications for theories of consciousness and artificial intelligence.</article-title> <source><italic>PsyArxiv</italic></source> [<comment>preprint</comment>]. <pub-id pub-id-type="doi">10.31234/osf.io/rm5b2</pub-id></citation></ref>
<ref id="B58"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Searle</surname> <given-names>J.</given-names></name></person-group> (<year>1984</year>). <source><italic>Minds, Brains and Science.</italic></source> <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>Harvard University Press</publisher-name>.</citation></ref>
<ref id="B59"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>von Neumann</surname> <given-names>J.</given-names></name></person-group> (<year>1932/1955</year>). <source><italic>Mathematical Foundations of Quantum Theory.</italic></source> <publisher-loc>Princeton</publisher-loc>: <publisher-name>Princeton University Press</publisher-name>.</citation></ref>
<ref id="B60"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Walsh</surname> <given-names>K. S.</given-names></name> <name><surname>McGovern</surname> <given-names>D. P.</given-names></name> <name><surname>Clark</surname> <given-names>A.</given-names></name> <name><surname>O&#x2019;Connell</surname> <given-names>R. G.</given-names></name></person-group> (<year>2020</year>). <article-title>Evaluating the neurophysiological evidence for predictive processing as a model of perception.</article-title> <source><italic>Ann. N. Y. Acad. Sci.</italic></source> <volume>1464</volume>:<issue>242</issue>. <pub-id pub-id-type="doi">10.1111/nyas.14321</pub-id> <pub-id pub-id-type="pmid">32147856</pub-id></citation></ref>
<ref id="B61"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wang</surname> <given-names>Z.</given-names></name> <name><surname>Busemeyer</surname> <given-names>J.</given-names></name></person-group> (<year>2015</year>). <article-title>Reintroducing the concept of complementarity into psychology.</article-title> <source><italic>Front. Psychol.</italic></source> <volume>6</volume>:<issue>1822</issue>. <pub-id pub-id-type="doi">10.3389/fpsyg.2015.01822</pub-id> <pub-id pub-id-type="pmid">26640454</pub-id></citation></ref>
<ref id="B62"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wang</surname> <given-names>Z.</given-names></name> <name><surname>Busemeyer</surname> <given-names>J. R.</given-names></name></person-group> (<year>2013</year>). <article-title>A quantum question order model supported by empirical tests of an a priori and precise prediction.</article-title> <source><italic>Topics Cogn. Sci.</italic></source> <volume>5</volume> <fpage>689</fpage>&#x2013;<lpage>710</lpage>. <pub-id pub-id-type="doi">10.1111/tops.12040</pub-id> <pub-id pub-id-type="pmid">24027203</pub-id></citation></ref>
<ref id="B63"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Wigner</surname> <given-names>E.</given-names></name> <name><surname>Margenau</surname> <given-names>H.</given-names></name></person-group> (<year>1967</year>). <article-title>Remarks on the Mind Body Question, in Symmetries and Reflections, Scientific Essays.</article-title> <source><italic>Am. J. Phys.</italic></source> <volume>35</volume> <fpage>1169</fpage>&#x2013;<lpage>1170</lpage>.</citation></ref>
<ref id="B64"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Yon</surname> <given-names>D.</given-names></name> <name><surname>Frith</surname> <given-names>C. D.</given-names></name></person-group> (<year>2021</year>). <article-title>Precision and the Bayesian brain.</article-title> <source><italic>Curr. Biol.</italic></source> <volume>31</volume> <fpage>R1026</fpage>&#x2013;<lpage>R1032</lpage>. <pub-id pub-id-type="doi">10.1016/j.cub.2021.07.044</pub-id> <pub-id pub-id-type="pmid">34520708</pub-id></citation></ref>
<ref id="B65"><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Yon</surname> <given-names>D.</given-names></name> <name><surname>de Lange</surname> <given-names>F. P.</given-names></name> <name><surname>Press</surname> <given-names>C.</given-names></name></person-group> (<year>2019</year>). <article-title>The predictive brain as a stubborn scientist.</article-title> <source><italic>Trends Cogn. Sci.</italic></source> <volume>23</volume> <fpage>6</fpage>&#x2013;<lpage>8</lpage>. <pub-id pub-id-type="doi">10.1016/j.tics.2018.10.003</pub-id> <pub-id pub-id-type="pmid">30429054</pub-id></citation></ref>
</ref-list>
</back>
</article>