贝叶斯脑计算与自由能原理：Karl Friston访谈 | NSR
海归学者发起的公益学术平台
分享信息，整合资源
交流学术，偶尔风月
采写：卢文联｜（复旦大学类脑智能科学与技术研究院教授）
NSR 采访了一位在理论神经科学和脑成像领域具有权威的顶尖科学家——统计参量映射 (SPM)、体素级形态测量 (VBM) 和动态因果建模 (DCM) 的发明者Karl Friston。Friston还因自由能原理和主动推理等应用对理论生物学的贡献而闻名。Friston目前担任Wellcome Trust神经影像中心科学主任、伦敦大学学院 Queen Square 神经病学研究所教授以及英国国家神经病学和神经外科医院名誉顾问。
本访谈文章收录于《国家科学评论》（National Science Review, NSR）“人类大脑计算与类脑智能”专题。
Karl Friston 教授是理论神经科学和脑成像领域的权威科学家。(照片由Friston教授提供)
NSR：您认为脑计算的基本原理是什么？
Friston：脑计算的基本原理有不同的叫法，也许最简洁、最直观的是“自证性”。对于感知、认知和行动来说，自证性是指大脑通过感知世界，最大化（即收集）其生成模型（又称世界模型）的证据。从技术上讲，自由能原理可以用近似贝叶斯推断来表达。自由能原理基于开放的随机动力系统物理学，提出任何具有持久特征的实体都可以被描述为具有自证性。在实践中，为了在这一原理下模拟大脑功能，人们会诉诸因子图上的信念传播或变分消息传递，其中因子图包含生成模型和贝叶斯信念更新方案。因为这种基于信念的描述本质上具有执行力，所以这种第一性原理方法表明大脑以概率推断的方式进行规划，随后基于推断出的规划选择行动。
自证性
一个给定假设 H 通过解释可观测证据 E为自身提供了证据[1]。也就是说，E 作为 H 的证据取决于H 解释 E 的程度。在这些情况下，证据是否可获取这一事实是 H的证据基础不可或缺的一部分。Carl Hempel[2]因此将 H 描述为一种具有自证性的解释，即当“有关[E 发生]的信息或假设构成了 H 的唯一可用证据支持中不可或缺的一部分”。
NSR：您认为大脑执行贝叶斯计算的理由是什么？自由能原理的神经生理学基础是什么？
Friston：贝叶斯计算是描述大脑功能的一种恰当方法，原因是，这种描述适用于任何可以从其环境或世界中（通过“马尔可夫毯”Markov blanket）独立出来的自组织系统。这种通用描述（用贝叶斯机制的术语来说）依赖于所讨论的实体所蕴含的生成模型。我们的大脑可能蕴藏着我们已知世界中最深层、最具表现力的生成模型。这里的“深层”指的是层级表征的深度。这就引出了自由能原理可以应用于大脑的第一个基础，也就是说，就其稀疏连接性和层次结构而言，大脑的功能架构和连接性与深层生成模型一致。
就神经生理学本身而言，信念传播和变分信息传递的动力学为突触处理和可塑性的许多方面提供了令人信服的解释，例如前向和后向连接的功能不对称性和神经元动力学等等。这些结构和动力学基础的例子还有很多：我们可以根据执行贝叶斯信念更新时的不同时间尺度对它们分类。
例如，感知推断可以被视为推断环境的潜在状态。程序性学习（procedure learning）可以理解为，通过经历或神经活动依赖可塑性改变连接强度来更新关于生成模型参数的信念。在神经发育和进化的时间尺度上，结构性学习（structure learning）可以被理解为贝叶斯模型选择的过程，具体来说，就是选择那些具有最大模型证据或边缘似然度的结构和形态。
自由能原理[3]. (上)自由能有关变量的示意图。(下)自由能的其他表达形式，展示其最小化所涉及的对象，包括内部状态量（如大脑活动），感知输入
和行动
以及描述环境的隐变量，其中
为随机涨落；内部状态量所编码的概率表征（变分密度）
。
NSR：人脑的神经成像数据，鉴于其分辨率和在测量大脑功能方面的间接性——是否（或者在多大程度上）能够刻画人类智能？
Friston：是的。神经成像——不管是何种形式，或许是推断人类智能本质的唯一方法。这是因为要成为一个具有智能或感知能力的实体，必须拥有一个将你从其他所有事物中独立出来的马尔可夫毯（Markov blanket）。关键是，作为观察者，你永远无法直接测量另一个人的大脑里面——即马尔可夫毯内部的内容。这意味着你只能进行间接测量，也就是说，通过使用血液动力学或电磁神经成像技术，尝试观测马尔可夫毯下的信息。
这意味着我们只能从神经成像测量中推断出信念更新的函数形式和所需的生成模型。换句话说，如果将智能理解为自证性，那么理解智能就是要理解支配感知、规划和行动的生成模型。从某种意义上说，所有的成像神经科学都是为了这一目标服务的——从转化研究的角度看，即理解导致异常行为和心理病理学的特定生成模型（及其隐含的先验）。
NSR：我们如何描述从微观、介观到宏观尺度的多模态脑数据，以理解人脑智能，并且你认为这里是否存在一个神经生理学原理？
Friston：是的，我认为存在一些深刻的原理将这些尺度联系起来。将智能理解为自证性需要理解感知力或智能的产物（比如我们自己）所蕴含的生成模型。
这必然涉及到时间尺度的分离，并且至关重要的是，一个尺度如何相对下一层（和上一层）尺度产生意义，并受到它们影响。由此产生的基于自由能原理的尺度不变应用带来了一些好处。
例如，这意味着模型参数的缓慢更新在影响神经元活动的快速更新的同时，也受到神经元活动快速更新的影响。从生理学上讲，这意味着由环境感官交互引发或诱导神经元响应取决于突触连通性。然而，突触活动又以活动依赖可塑性的形式依赖于神经元响应。类似地，大脑的结构和连接组学在影响突触可塑性的同时也受到突触可塑性的影响；即突触连接若要存在，就必须是连接组的一部分。同样，微观结构也取决于任一特定突触连接的持续或退化。关于智能的尺度不变性或跨尺度性质的另一个例子依赖于空间尺度的增加。另一个很好的例子是单个脉冲神经元活动与群体活动之间的联系。从自证性的角度——在特定的（连续状态空间）生成模型下——可以将神经元群体视为通过随机采样来近似地进行精确的贝叶斯推断。或者，也可以将神经元群体视为精确地进行近似的贝叶斯推断。简而言之，为了获取具有跨尺度自证性的智能的完整画面，跨尺度方法（即多尺度、多模态观测）是必不可少的。
NSR：与脑计算和类脑智能相关的最前沿领域有哪些，您认为这些领域中最重要的问题是什么？
Friston：最先进的仿生计算，在数学上，是在深层或具有层次结构的因子图上执行信念传播或变分信息传递。目前，这种计算是在冯·诺依曼架构上模拟的。可以想象（在几年内），最先进的技术将避开冯·诺依曼瓶颈，转向存内处理，使用反应式消息传递（沿用计算机科学中的actor模型的思路）。*译注：actor指具有决策和行动能力的个体。
如果我们把计算视为支持自证性的信息交换，那么这也可以与有生（mortal）计算（即自然计算）的概念相比较。这种有生或神经拟态的变分信息传递越接近大脑结构上的神经动力学，我们就越接近于人工智能中的最先进的脑计算。换句话说，用于信念传播和变分信息传递的生成模型越接近我们自己的生成模型，人工智能就会越来越接近自然智能，因此变得更加先进。
NSR：这些关于大脑智能的原理如何能够启发人工智能理论和技术，并且在您看来，什么是基本的常规做法？
Friston：上述论点对于人工智能的结论是直接的。未来发展的方向应是，在一个分布式智能或自证性生态系统中，发展适合与其他非人和人进行交互的生成模型的选择机制——即结构学习。这将需要一种可以被理解为在图上进行变分信息传递的存内处理方式。这个图可能存在于计算机芯片上、世界各地的网络中或在你我的大脑中。但支持所需信息传递调度和构成的原理在每个尺度上保持不变。
【参考文献】
[1] Hohwy J. Noûs 2016; 50: 259-85.
[2] Hempel CG. Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. 1965, New York, Free Press.
[3] Friston K. Nat rev neurosci 2010; 11: 127-38.
[4] Kirchhoff M, Parr T, Palacios E et al. J R Soc Interface 2018; 15: 20170792.
扩展阅读
微信扫码关注该文公众号作者