Institute of Neuroinformatics, University of Zürich and ETH Zürich, Zürich 8057, Switzerland.
Neural Comput. 2013 Sep;25(9):2303-54. doi: 10.1162/NECO_a_00477. Epub 2013 May 10.
Temporal spike codes play a crucial role in neural information processing. In particular, there is strong experimental evidence that interspike intervals (ISIs) are used for stimulus representation in neural systems. However, very few algorithmic principles exploit the benefits of such temporal codes for probabilistic inference of stimuli or decisions. Here, we describe and rigorously prove the functional properties of a spike-based processor that uses ISI distributions to perform probabilistic inference. The abstract processor architecture serves as a building block for more concrete, neural implementations of the belief-propagation (BP) algorithm in arbitrary graphical models (e.g., Bayesian networks and factor graphs). The distributed nature of graphical models matches well with the architectural and functional constraints imposed by biology. In our model, ISI distributions represent the BP messages exchanged between factor nodes, leading to the interpretation of a single spike as a random sample that follows such a distribution. We verify the abstract processor model by numerical simulation in full graphs, and demonstrate that it can be applied even in the presence of analog variables. As a particular example, we also show results of a concrete, neural implementation of the processor, although in principle our approach is more flexible and allows different neurobiological interpretations. Furthermore, electrophysiological data from area LIP during behavioral experiments are assessed in light of ISI coding, leading to concrete testable, quantitative predictions and a more accurate description of these data compared to hitherto existing models.
时间尖峰编码在神经信息处理中起着至关重要的作用。特别是,有强有力的实验证据表明,在神经系统中,尖峰间间隔(ISI)被用于刺激表示。然而,很少有算法原理利用这种时间编码来进行刺激或决策的概率推断。在这里,我们描述并严格证明了一种基于尖峰的处理器的功能特性,该处理器使用 ISI 分布来执行概率推断。抽象处理器架构作为在任意图形模型(例如贝叶斯网络和因子图)中实现信念传播(BP)算法的更具体的神经实现的构建块。图形模型的分布式性质与生物学所施加的架构和功能约束很好地匹配。在我们的模型中,ISI 分布表示因子节点之间交换的 BP 消息,从而将单个尖峰解释为遵循这种分布的随机样本。我们通过在完整图中的数值模拟来验证抽象处理器模型,并证明即使在存在模拟变量的情况下,它也可以应用。作为一个特定的例子,我们还展示了处理器的具体神经实现的结果,尽管原则上我们的方法更灵活,并允许不同的神经生物学解释。此外,根据 ISI 编码评估了行为实验中 LIP 区域的电生理数据,从而得出了具体的可测试、定量的预测,并与现有模型相比更准确地描述了这些数据。