Abstract
In 1943 McCulloch and Pitts suggested that the brain is composed of reliable logic-gates similar to the logic at the core of today's computers. This framework had a limited impact on neuroscience, since neurons exhibit far richer dynamics. Here we propose a new experimentally corroborated paradigm in which the truth tables of the brain's logic-gates are time dependent, i.e., dynamic logic-gates (DLGs). The truth tables of the DLGs depend on the history of their activity and the stimulation frequencies of their input neurons. Our experimental results are based on a procedure where conditioned stimulations were enforced on circuits of neurons embedded within a large-scale network of cortical cells in-vitro. We demonstrate that the underlying biological mechanism is the unavoidable increase of neuronal response latencies to ongoing stimulations, which imposes a non-uniform gradual stretching of network delays. The limited experimental results are confirmed and extended by simulations and theoretical arguments based on identical neurons with a fixed increase of the neuronal response latency per evoked spike. We anticipate our results to lead to better understanding of the suitability of this computational paradigm to account for the brain's functionalities and will require the development of new systematic mathematical methods beyond the methods developed for traditional Boolean algebra.
Introduction
This year we are celebrating the 70th anniversary of the publication of the seminal work by Warren S. McCulloch, a neuroscientist, and Walter Pitts, a logician, entitled “A logical calculus of the ideas immanent in nervous activity” (Mcculloch and Pitts, ). They attempted to understand how the brain could produce highly complex patterns by using many interconnected building blocks of the brain, the neurons. In their model, the brain is composed of Boolean entities functioning as threshold units. Such simplified units constitute pure and reliable logic-gates (e.g., AND, XOR), similar to the logic at the core of today's computers. The generalization of this simplified Boolean framework to include unreliable elements has emerged in 1956 by the innovative work of John von Neumann (Von Neumann, 1956). These concepts as well as the earlier pioneering work of Claude Shannon to simplify Boolean circuits (Shannon, ) are at the cornerstone of today's computational paradigm (Turing, ).
The computational framework of McCulloch and Pitts had a tremendous impact on the development of artificial neural networks (Hopfield, ; Krogh, ; Qian et al., ; Gerstner et al., ; Gilja et al., ) and machine learning theory (Sutton and Barto, ; Hunt et al., ). Their concept triggered the next major development in theoretical neural networks when in 1958 Frank Rosenblatt introduced the concept of the perceptron (Rosenblatt, ), the prototypical linear classifier, which ever since has been theoretically investigated and generalized to more structured multi-layer and recurrent architectures (Litwin-Kumar and Doiron, ; Stoianov and Zorzi, ). Nevertheless, it is fair to conclude that the concept of simplified Boolean neurons had a limited impact on neuroscience, which exhibit much richer temporal dynamics (Izhikevich, ; Izhikevich and Hoppensteadt, ; Gal et al., ; Vardi et al., ). Moreover, it appears that the brain is the most ineffective environment to implement such a Boolean logical operating system, comprised of static logic-gates (SLGs).
Seven decades after the proposed neuronal paradigm by McCulloch and Pitts, the fundamental concept of the computational abilities of the nervous system remains unclear (Hodges, ). On the one hand, one might conclude that the search for a comprehensive computational logic framework is irrelevant, as specialization in specific behavioral and perceptual tasks requires different “operating systems.” On the other hand, it is evident that the “hardware” implementations of all complex brain tasks are composed of similar basic interconnected building blocks (neurons) having many features in common, which are enhanced and possibly dominant when operating as an ensemble (Abeles, ).
In the present study, we extend the recently demonstrated new experimentally corroborated paradigm in which the logical operations of the brain differ from the logic of computers (Vardi et al., ). Unlike a burned logic-gate on a designed chip that consistently follows the same truth-table, here the functionality of the brain's logic-gates depend on the history of their activity, the stimulation frequencies of their input neurons, as well as on the activity of their interconnections. Our results are based on an experimental procedure where conditioned stimulations were enforced on circuits of neurons embedded within a large-scale network of cortical cells in-vitro (Marom and Shahaf, ; Morin et al., ; Wagenaar et al., 2006; Vardi et al., 2012b). We demonstrate that the underlying biological mechanism is the unavoidable increase of neuronal response latencies to ongoing stimulations (Aston-Jones et al., ; De Col et al., ; Ballo and Bucher, ; Gal et al., ; Soudry and Meir, ), which imposes a non-uniform gradual stretching of delays associated with the neuronal circuit (Kanter et al., ; Vardi et al., , ,c). To further support and expand the limited experimental results, we present a straightforward theoretical model based on the assumption of identical neurons with a constant increase in their neuronal response latency per evoked spike. This model, corroborated with simulations, allows us to explore the behavior of more complex structured neuronal DLGs in addition to SLG (Vogels and Abbott, 2005). We anticipate our results to be a starting point for larger scale in-vitro experiments and structured recurrent neuronal circuits, which will lead to a better understanding of the suitability of this computational paradigm to account for the brain's functionalities. In addition, this paradigm will require the development of new systematic methods and practical tools beyond the methods developed for traditional Boolean algebra (Chavesa et al., ; Nahin, ).
Elastic response latency
Single neuron
The neuronal response latency, measured as the time-lag between a stimulation and its corresponding evoked spike, is one of the most significant time-dependent features at the single neuron level, and typically it is on the order of several milliseconds (Eccles et al., ; Van Pelt et al., ; Ballo and Bucher, ; Gal et al., ; Vardi et al., ). When stimulated repeatedly, a neuron exhibits a tendency to gradually stretch its stimulus-response delay over few milliseconds (Spira et al., ; Grossman et al., ; Thomson and West, ; Tal et al., ; Fuhrmann et al., ; Bakkum et al., ; Scroggs, ).
To exemplify this neuronal feature, stimulations at a rate of 10 Hz (Figure 1A; Vardi et al., ) were given to cultured cortical neurons that were functionally isolated from their network by pharmacological blockers of both excitatory and inhibitory synapses (see Supplementary Material). The stimulated neuron responded with a very high reliability, resulting in a typical increase of a few milliseconds in the response latency over a few hundreds of repeated stimulations (Figure 1A; Vardi et al., ). Results indicate that the neuronal response latency increases by a few μs per evoked spike, which represents a finer time scale of cortical dynamics, μs, as discussed at (Vardi et al., ). Specifically, one might notice three main trends of the response latency increase. For the first several stimulations there is a large increase in the neuronal response latency, in the order of several dozen μs per evoked spike (Figure 1A; Vardi et al., ). This state is followed by a fast decay to the second state, where the average increase in the neuronal response latency per evoked spike is only several μs, and the stretching of the neuronal response latency is roughly linear. The second state is the main contributor to the latency increase and lasts for a relatively long section of the stimulation period. In the presented experiment the second state starts after ~100 stimulations and lasts for approximately 550 stimulations, periods which vary across different neurons. Finally the neuron enters the third state, known as the intermittency phase (Gal et al., ; Vardi et al., ), characterized by fluctuations around an average latency (starts after ~650 stimulation in the presented experiment). An apparent increase in the neuronal response latency to periodic stimulations can be observed for stimulation rates higher than ~3 Hz. Typically, the higher the stimulation rate, the larger the average increase of the response latency per evoked spike (Gal et al., ; Vardi et al., ). This process is a fully reversible phenomenon and after a waiting time of a few seconds without stimulations, the response latency substantially decays and in a timescale of several minutes the initial response latency is completely restored.
Figure 1
The approximately linear increase in the neuronal response latency per evoked spike before entering the intermittent stage is at the center of our study. Consequently, the proposed theoretical methods are based on the approximation that the neuronal response latency increases by a constant value (Δ) per evoked spike (identical for all neurons and time-independent).
Circuit level
To analyze the impact of dynamic neuronal response latency at a circuit level, we artificially generated conditioned stimulations over a circuit of neurons embedded within a large scale network of cortical cells in-vitro (see Supplementary Material). Our first experimental design consisted of a chain of two neurons (Figure 1B; Vardi et al.,
The increase in the delays of the neuronal chain has an accumulative effect, as a result of the increase in the neuronal response latencies of the neurons comprising the chain (Figure 1C; Vardi et al.,
It is evident that the total delay stretching of a five-neuron chain is superior to that of a two-neuron chain, as the stretching of each individual neuron is accumulative. The experimentally corroborated paradigm presented below is based on this key feature of the unavoidable accumulated stretching, enabling the implementation of different types of DLGs in the brain.
Experimentally examined DLGs
Neuronal logic-gates consist of a multilayer feedforward neural network, with a single output neuron. In this study we differentiate between two main classes of logic-gates, SLGs and DLGs. For illustration, a typical static neuronal AND-gate would consist of two input neurons and an output neuron which fires if and only if both input neurons are stimulated simultaneously. However, a dynamic AND-gate would change its functionality over time.
Dynamic AND-gate
The first experimentally examined feedforwad neuronal circuit is a dynamic AND-gate consisting of five neurons and 6 conditional stimulations, which split to weak/strong stimulations represented by dashed/full lines (Figure 2A; Vardi et al.,
Figure 2

(Color online) Dynamic AND gate. (A) Schematic of an AND-gate consisting of five neurons and weak/strong stimulations (sub/above threshold) represented by dashed/full lines. (B) The delays are initially set to τBE = 80 ms and τAE ≈ τBE – 1.6 ms (in the presented experiment the initial delays between consecutive neurons in the left chain were selected to be equal, however, results are robust to arbitrary delays summing up to τAE). Applying simultaneous stimulations at ~10 Hz to the input neurons, the two delays become the same and later reverse roles where τAE ≈ τBE + 1 ms, as presented by the blue circles as a function of the stimulation number. Unified longer stimulations were given for events where |τAE – τBE| < 200 μs and are presented by zero time-lag open blue circles (Methods in Supplementary Material). The probability of an evoked spike of neuron E over a sliding window of 10 stimulations is presented by the purple line. Different segments of the voltage recordings of neuron E are exemplified below, the arrows point from different scenarios to their matching recordings. Reproduced upon permission from Vardi et al. (
The delay of the three-neuron chain, τAE, is defined as the time gap between stimulation to the input neuron and its corresponding stimulation to the output neuron (and similarly for other neuronal chains composing the DLG). Consequently, the time gap between two stimulations of the output neuron is |τAE– τBE|. Initially, τAE is shorter in comparison to the one-neuron chain, τBE. This ratio reverses as repeated simultaneous stimulations are given to the input neurons, A and B, and the neuronal response latencies increase (Figure 2B; Vardi et al.,
Table 1
| Logic-gate | Truth table | Dynamic logic operation | ||
|---|---|---|---|---|
| in1 | in2 | output | ||
| AND | 0 | 0 | 0 | NULL → AND → NULL |
| 0 | 1 | 0 | ||
| 1 | 0 | 0 | ||
| 1 | 1 | 1 | ||
| OR | 0 | 0 | 0 | IF[in1] + IF[in2] → OR → IF[in2] + IF[in1] |
| 0 | 1 | 1 | ||
| 1 | 0 | 1 | ||
| 1 | 1 | 1 | ||
| NOT | 0 | 1 | 1 → NOT → 1 | |
| 1 | 0 | |||
| XOR | 0 | 0 | 0 | OR → XOR → OR |
| 0 | 1 | 1 | ||
| 1 | 0 | 1 | ||
| 1 | 1 | 0 | ||
Experimentally examined DLGs and their dynamic operations.
The first column lists the logic-gates. The second column details the truth table, the input/output relations. The third column presents the confirmed dynamic transitions among different logic operating modes, as a gate was repeatedly stimulated. The symbols “0/1” stand for a non-evoked/evoked spike, “NULL” indicates a non-evoked output spike independent of the inputs and IF(ini) indicates an output identical to the ith input. The order of IF(in1) and IF(in2) in the second row indicates the timing of their effects on the output unit. Reproduced upon permission by Vardi et al. (
At the bottom of Figure 2B (Vardi et al.,
The experimental results also indicate a slight asymmetry, where the first NULL-AND transition occurs at a shorter time-lag in comparison to the second AND-NULL transition (Figure 2B; Vardi et al.,
Dynamic OR-gate
The experimental setup of the dynamic OR-gate is similar to the AND-gate (Figure 2A; Vardi et al.,
Figure 3

(Color online) Dynamic OR gate. (A) Schematic of an OR-gate consisting of a four-neuron input chain (green) and a one-neuron input chain (orange), where all stimulations are strong. (B) Independent experiments for a fixed time-lag τAF – τBF. The probability for neuron F to respond by two-spikes was averaged over several tens of input stimulations. (C) Input stimulations at a rate of 10 Hz resulting in dynamic changes of τBF – τAF from 8 to 3 ms (blue dots). A dynamic transition from the region of typically two output spikes to an OR operating mode (similar to the entry in B) occurs after ~30 input stimulations. Missed evoked spikes resulting in only one stimulation to neuron F are marked as “−1.” (D) Similar to the entry in (B), τAF – – τBF increases from ~2.5 to 7 ms (blue dots) and a dynamic exit from the OR region to the region of typically two evoked spikes occurs after ~60 input stimulations. Different segments of the voltage recording of neuron F are exemplified below, the arrows point from different scenarios to their matching recordings. Reproduced upon permission from Vardi et al. (
The dynamic logic operating modes are exemplified for an entry from a region of typically two evoked spikes (when both input neurons are stimulated) into an OR mode, characterized by a single output spike in response to stimulation in in1OR in2 (Figure 3C; Vardi et al.,
Dynamic NOT-gate
The implementation of the dynamic NOT-gate is similar to the previous ones (Figures 2A, 3A; Vardi et al.,
Figure 4

(Color online) Dynamic NOT and XOR gates. (A) Schematic of a NOT-gate consisting of five neurons, with one inhibition (red). A NOT-gate has one input (Table 1, 3rd row), where in2 stands for an outer stimulation which is given for every computation. (B) Independent experiments for a fixed time-lag τBE – τAD and τBE = 80 ms. The input neurons are simultaneously stimulated at 1 Hz. (C) Input stimulations at a rate of 10 Hz resulting in dynamic changes in τBE – τAD, averaged over a sliding window of 20 stimulations, as shown by time segments c1, c2, and c3 in (B). (D) Schematic of a XOR-gate containing two inhibitory stimulations (red). (E) Input neurons are simultaneously stimulated at 1 Hz. Independent experiments where τBF – τAC is varied, a fixed time-lag τAE – τBD = 3 ms was selected to inhibit the stimulation from neuron A, τAE ≈ 100, τBF ≈ 50, and τAG ≈ τBG = 150 ms were performed (circles connected with dashed guideline). The conditional probabilities of an evoked spike of the output neuron G are presented by the three colored dashed lines. Reproduced upon permission from Vardi et al. (
For low stimulation rates, the stretching of neuronal response latencies is negligible; hence the logic operation of the gate was independently measured for each relative delay between excitation and inhibition of the output neuron E, τBE– τAD (Figure 4B; Vardi et al.,
Dynamic XOR-gate
The logic operation of a XOR-gate is identical to an OR-gate, except for the entry (1, 1), two input stimulations, which do not generate an evoked spike (Table 1, 4th row). Its implementation is similar to the OR-gate setup with additional two inhibitory stimulations (Supplementary Material), from the first input to a neuron belonging to the chain of the second input and vice versa (red connections in Figure 4D; Vardi et al.,
Theoretical analysis
Complex DLGs based on time-dependent neuronal response latencies usually require larger scale networks consisting of a greater amount of neurons. Their experimental implementations are associated with some difficulties, especially when delays, timing of stimulations and evoked spikes must be monitored on sub-millisecond timescales. Hence, the computational horizon of the new logic-gates requires a simplified theoretical framework which is based on the following two assumptions.
First, for each neuron comprising the gate, we assume a constant increase in the neuronal response latency per evoked spike, Δ, independent of its current latency and identical for all neurons. This assumption approximately fits the second state of the latency increase (stimulation responses 100–650 in Figure 1A; Vardi et al.,
where l0 stands for the neuron's initial response latency, q is the number of evoked spikes and Δ is a constant which in our experiments is typically in the range of 2–7 μs. Similarly, the time delay of a chain is defined as the time-lag between the stimulation of the first neuron and the stimulation of the neuron at the end of the chain. Consequently the time delay for a chain consisting of n neurons is given by
where τ0 stands for the initial time delay of the chain. Similar to the experimental results, the increase in the delay of a chain is linear with the number of neurons in the chain, n.
The second assumption is that a strong excitatory stimulation generates an evoked spike with a probability of 1 (1:1 response), thus the number of evoked spikes of a neuron is equal to the number of its stimulations.
Dynamic AND-gate
The AND-gate is examined below under this theoretical framework and results are compared to the experimental findings (section Experimentally Examined DLGs, Figure 2A; Vardi et al.,
The delays of the green and orange chains (Figure 2A; Vardi et al.,
Figure 5

(Color online) Theoretical analysis of the dynamic AND-gate. (A) A graph of τAE (the lower border of the green line) and τBE (the lower border of the orange line) of the AND gate in Figure 2B as a function of the number of input stimulations. The width of the lines is 0.5 ms and the difference between the initial delays of the green and the orange chains is 1.3 ms. The black line indicates the firing probability of the output neuron. (B) The absolute difference between τAE and τBE as a function of the number of input stimulations (blue). The black line indicates the firing probability of the output neuron, similar to Figure 2B.
The similarities between the dynamical transition predicted by the theoretical model (Figure 5B) and the experimental results (Figure 2B; Vardi et al.,
Generalized AND-gate
Using the theoretical model presented above, several DLGs are examined. These DLGs implement complex transitions illustrating additional properties of their dynamics. To simplify the presentation we mainly concentrate on generalized AND-gates.
The first examined generalized AND-gate consists of three excitatory input chains consisting of 1/2/5 neurons (Figure 6A). A dashed arrow stands for a weak stimulation such that at least two weak stimulations at a time-lag less than 0.4 ms are required to generate an evoked spike in the output neuron. The initial time delays from the stimulations of the three input neurons to the stimulation of the output neuron are selected to be 30/27/25 ms for the chains consisting of 1/2/5 neurons, respectively. Note that in the limiting case of simultaneous stimulation to the three input neurons, this complex DLG is equivalent to the DLG consisting of only two input signals but with a more structured internal wiring, as exemplified in Figure 6B. Using equation (2) with Δ = 0.004 μs (4 ms) we show the time delays of the three input chains as a function of the number of given stimulations in Figure 6C. An intersection of two lines implies that the difference of the matching delays is less than 0.4 ms, thus resulting in a spike of the output neuron (black line in Figure 6C). In the intersection regions the gate acts as an AND gate for the two appropriate inputs (e.g., in the intersection of the “blue” and “orange” lines the output neuron fires if and only if in1AND in2 are stimulated).
Figure 6

(Color online) Generalized AND-gates exhibiting complex dynamic logic-gate transitions for simultaneous stimulations of all input neurons. (A) Schematic of a generalized AND-gate consisting of three excitatory input chains. (B) Schematic of an AND-gate with two inputs which is equivalent to (A) for the case of simultaneous stimulations of the input neurons. (C) Time delays of the input chains as a function of stimulations, calculated using equation (2) for Δ = 0.004 ms. The black line indicates the firing probability of the output neuron. (D) Same as (C) but the calculation is done for Δ = 0.006 ms. Schematic of the equivalent time-dependent logic-gate is presented at the bottom, where a NULL (“N”) operation stands for a non-evoked output spike independent of the input stimulations and “&” stands for an AND operation. (E) The same configuration and initial delays as in (D), where the rightmost input chain (purple) is comprised now of three neurons (instead of five). The three AND states merge into one region (bounded by two vertical dashed lines). The black line indicates the firing probability of the output neuron.
Increasing the input stimulation rate typically results in an enhanced stretching of the neuronal latency per spike (Vardi et al.,
In a more general scenario of k input chains to the output neuron where all input neurons are simultaneously stimulated, the maximal number of AND regions scales quadratically with k, since the number of intersections of k non-parallel lines is 0.5k(k – 1). To exemplify a scenario where the number of transitions exceeds k, a gate with k = 4 with 1/2/4/6 neuronal chains is examined (Figure 7A). Using equation (2) with Δ = 0.006 ms, where the maximal time-lag between two weak stimulations resulting in an evoked spike is 0.4 ms, one can spot six (0.5*4*3 = 6) transitions to an AND operating mode (Figure 7A).
Figure 7

(Color online) Advanced logic-gates. (A) An AND-gate consisting of four inputs. The time delays of the input chains are presented as a function of the number of stimulations, calculated using equation (2) for Δ = 0.006 ms. The black line indicates the firing probability of the output neuron. (B) An AND-gate of the same architecture as in Figure 6A, but the three weak stimulations have different strengths. The time delays of the input chains are presented as a function of the number of stimulations, calculated using equation (2) for Δ = 0.004 ms. The black line indicates the firing probability of the output neuron.
To illustrate how the strength of the connections between neurons affects the gate's transitions, we examine an AND-gate of the same architecture as in Figure 6A, but the three input stimulations to the output neuron are weak and have the relative strengths of 0.3/0.75/0.5 for the orange/blue/purple connections, respectively (Figure 7B). To generate a spike at the output neuron, the sum of the stimulation strengths must exceed a threshold of 1. Note that the second transition to an AND-gate (Figure 6A) disappears (Figure 7B), since the sum of the strengths of the orange connection and purple connection is 0.8 and does not exceed the threshold (Markram and Tsodyks,
Dynamic XOR-gate
The temporal activation of the XOR-gate was experimentally exemplified by a series of independent setups, where one of the inhibitory delays was gradually updated (Figure 4E). To illustrate the transitions of the dynamic XOR operation modes, three neurons are added to the excitatory purple input chain (Figure 8) in comparison to the experimental setup (Figure 4D). Initially we set the same delay for both inhibitions which are effective in a time window of [1, 7] ms prior to the excitatory stimulation (i.e., if an inhibitory stimulation occurs at time T then the neuron will not respond to any stimulation in the time interval [T + 1, T + 7] ms). The region where the excitatory stimulation is inhibited is depicted by the light-red region bounded by dashed red lines (Figure 8). Consequently, in1 is always inhibited by in2, while in2 is only temporarily inhibited by in1, and a temporal XOR operation is observed.
Figure 8

(Color online) Dynamic XOR gate. A dynamic XOR-gate with 2/5 neuronal excitatory input chains (green/purple), and two inhibitory stimulations (red) with identical initial delays of 32 ms. The inhibition is effective in a time window of [1, 7] ms prior to the excitatory stimulation and is represented by the light-red region. The first input is always blocked (as the green line is always inside the light-red region). The black line indicates the firing probability of the output neuron. A temporal XOR operating mode is observed at the stimulation range of [250, 750], where simultaneous stimulations (of in1 and in2) result in no evoked spikes of the output neuron.
Transition among multiple modes
In the following example we present a gate consisting of two inputs and an outer stimulation given for every computation (as in section Dynamic NOT-Gate, NOT-Gate), resulting in four different logic operating modes (Figure 9). The gate contains two inhibition chains (black and purple), with initial time delays of 30 and 42 ms, respectively. Both inhibitions are effective in a time window of [1, 7] ms prior to an excitatory stimulation (as in section Dynamic XOR-Gate). The initial blue and orange delays are 40 and 10 ms, respectively. For every computation of the logic-gate, the outer stimulation and the stimulations of the input neurons are given simultaneously. In the initial stage, the output neuron fires as a result of the outer stimulation independent of both inputs. The inhibition is ineffective, since the delays of the black and purple chains are too short (in comparison to the blue and orange delays). The black and purple delays increase with the neuronal response latencies, and the gate enters its second operating mode. The entire delay of the black chain grows relatively faster than the delay from the outer stimulation (blue) due to the number of neurons comprising each chain. Hence, when stimulated repeatedly, the delay of the black chain increases enough to inhibit the output spike which is caused by the outer stimulation, whereas the delay of the purple chain is still too short to affect the output. Consequently, the output spike caused by the excitatory outer stimulation is inhibited by in1 = 1, resulting in a NOT(in1) functionality. In the third operation mode, the delays of the black and purple chains are both long enough to cause inhibition, therefore an output evoked spike will occur only in the case where both inputs are 0. In the fourth operation mode, the inhibition caused by the purple chain is still effective, whereas the inhibition caused by the black chain vanishes as a result of its enhanced stretching, resulting in a NOT(in2) functionality. In the final operation mode, the delays of both inhibition chains are too large to inhibit the output spike caused by the outer stimulation, thus the logic-gate returns to its initial functionality where an output spike is generated independent of both inputs.
Figure 9

(Color online) Multiple operation modes. A gate consisting of two inputs, an outer stimulation and two inhibition chains (black and purple), exemplifying transitions among 5 different operation modes. The increase of the delays results in a transition between the logic operation modes illustrated by the flow chart at the bottom.
Varying inputs
So far, the limited case where simultaneous stimulations were given to all inputs of the gates was discussed. This scenario revealed many properties of the DLGs, however it is clear that more structured types of temporal input stimulations are expected to enrich the dynamic transitions. To exemplify this scenario we consider an AND-gate with two input chains consisting of three and six neurons (Figure 10). Applying a fixed stimulation rate to the two input neurons results solely in one AND-region (first AND region in Figure 10). A temporal reduction in the probability for a stimulation of the purple input chain results in a moderated latency increase, thus the delay of the blue chain becomes larger than the delay of the purple chain, and a second AND region emerges. When a fixed stimulation rate is applied again to the two input neurons, the delay of the purple chain overshoots the delay of the blue one, resulting in a reentry to a third AND region (Figure 10).
Figure 10

(Color online) Non periodic input stimulations. An AND-gate with the following input pattern: in1 is stimulated at a fixed rate, while the stimulation of in2 is relatively moderated in the stimulation period (250, 475) to probability 0.1 in comparison to in1. The horizontal axis stands for the number of stimulation given to in1. The black line indicates the firing probability of the output neuron per stimulation to in2.
Multiple component networks and signal processing
We differentiate between two main computational capabilities of the DLGs. The first approach aims at reaching a specific operating mode of the dynamic gates using intentional repeated stimulations, which enables the desirable computations on occasional inputs. In the second approach, we are not interested in performing computations using specific logic operations but rather in using the dynamic properties of the gates. The purpose is to discover information regarding the input sequences. This approach is exemplified by a collaboration of a large number of dynamic components which together can implement a basic edge detector (Figure 11).
Figure 11

(Color online) Edge detector. An edge detector is built from a combination of dynamic AND-gates. The stimulation rate of each input neuron is proportional to the brightness of the corresponding position in the input vector.
The input of an edge detector is a vector of size n and its task is to identify radical structural changes or discontinuities. For instance, if the vector's values represent a degree of brightness as a function of (one dimensional) position, the mission of an edge detector is to identify two consecutive points with significant changes in their brightness. The proposed edge detector, consisting of n input neurons, is sketched in Figure 11. Each two consecutive neurons serve as inputs to a dynamic AND-gate. Initially all delays are equal, thus simultaneous stimulations to all input neurons result in the firing of all output neurons. We assume that the number of stimulations of each input neuron is proportional to the brightness of the corresponding position in the input vector. To avoid extreme scenarios we assume that the inter-spike-intervals of each neuron do not vary much in time. Since the stretching of each delay is proportional to the number of input stimulations, a significant difference between two input chains of a dynamic AND-gate will be developed in case of a significant change between the brightness of two consecutive inputs. As a result their shared dynamic AND-gate will reach a NULL state. The examination of edges will be then achieved by a simultaneous stimulation to all input neurons. The sensitivity of the detection is determined by the duration of the stimulating period of the input neurons, where longer periods result in higher sensitivity. Since the stretching of the neuronal response latency is reversible, this edge detector can be reused after a short period without input stimulations.
Suitability of dynamic logic-gates to brain functionality
It is implausible to assume that brain functionality is as simple as a combination of standard SLGs, especially since it requires accurate predefined set of delays that are static and do not change over time. In this study we introduced a paradigm which is more suitable for brain functionality, DLGs. We will now discuss the feasibility and reliability of the DLGs in an environment more suitable for the functioning brain.
Short synaptic delays
Our experimental procedure, corroborated and extended by theoretical evidence, was examined under conditions of synaptic delays of a few tens of millisecond, which are typically beyond cortical synaptic delays. This constraint can be adapted to the time scales of synaptic delays and transient periods of the brain, several ms (Abeles,
Figure 12

(Color online) Short delays. (A) The dynamic AND-gate and a portion of the graph presented in Figure 6, showing 2 transitions to AND regions. This gate consists of three input chains of 1/2/5 neurons each, and contains relatively long delays, up to 34 ms. (B) A similar AND-gate with long chains consisting of 26/27/30 neurons, resulting in short delays of 5–6 ms between consecutive neurons. For Δ = 0.006 ms the delays of the input chains are presented in the right graph as a function of stimulation number, where the black line indicates the firing probability of the output neuron.
Time scales of operation modes
The reported periods of operating logic modes consist of a few hundred stimulations, which exceed a few seconds under stimulation frequencies that are in the order of few dozens. These periods can be shortened by two orders of magnitude using the following two enhanced stretching effects: Long synfire chains increase the stretching linearly with the number of their relays and in addition, the neuronal response latencies increase significantly faster (by one order of magnitude) in the initial spiking activity (first state, Figure 1A; Vardi et al.,
Population dynamics
The reliability of the DLGs is in question, since a finite probability of a neuronal response failure is expected. A mechanism to enhance signal-to-noise ratio can be achieved using population dynamics (Abeles,
To examine the firing probability of a population stimulated by a sum of weak stimulations, we use the setup shown in Figure 13A. Populations A, B, and C are comprised of 40 Hodgkin-Huxley neurons with parameters similar to those in Kanter et al. (
Figure 13

(Color online) Population dynamics. (A) Schematic of an AND-gate in population dynamics form. Population C receives week stimulations (represented by dashed arrows) from 0.1 of the neurons of each of the populations A and B. (B) For simultaneous stimulations of all neurons in populations A and B, the firing probability of the output population, C, is presented as a function of the time-lag between τAC and τBC, γ. In the range where γ is less than 1 ms an increased firing probability of population C is detected and the functionality of an AND-gate is maintained. (C) A dynamic AND-gate as in Figure 2 in population dynamics form. (D) The input populations, A and B, are simultaneously stimulated, resulting in the decrease of the time-lag between stimulations of the output population |τAE – τBE| (blue line) which increases again after ~25 stimulations. For short time-lags the output population fires at high probability (as shown in B) thus resulting in an AND mode functionality. For large time lags the probability is low and the gate is effectively NULL. Therefore, a dynamic NULL-AND-NULL transition is observed.
To demonstrate the dynamic AND-gate we construct a similar setup, containing a synfire chain from population B to population E (Figure 13C), where gmax = 1.6 mS/cm2 for strong synaptic strengths. The initial time delays between population are taken from a Gaussian distribution with a standard deviation of 0.15 ms. The neuronal response latency increase per evoked spike is taken to be Δ = 0.04 ms per spike (to reduce computation complexity). Simultaneous stimulations are given to all neurons in the input populations A and B. Initially, the difference |τAE – τBE| is ~2 ms, therefore no output spikes are expected. As the delays between neuronal populations increase (as a result of the increase in the neuronal response latency of the population neurons) |τAE – τBE| decreases, resulting in a population DLG, NULL-AND-NULL transitions (Figure 13D).
Conclusion
We proposed a new computational paradigm in which the brain consists of dynamic logic gates (DLGs) which are governed by time-dependent logic modes. The relevance of our work to the brain's functionalities has to be evaluated using many aspects including: (a) Do DLGs exist in the dynamics of a network of interconnected neurons? (b) Is the concept of DLGs robust to population dynamics and specifically to recurrent networks? (c) Is DLGs a mechanism which the brain could plausibly use to any extent and especially when it is critically rely on precise relative timing of neural activities? (d) Can one find a realistic learning mechanism, e.g., Hebb's rules, to implement DLGs?
The brain is composed of large neural networks, where neurons are interconnected via excitatory and inhibitory synapses as well as sub-threshold and above-threshold synapses. In the events of weak synapses, spatial and temporal summations of excitations are required to generate an evoked spike. Hence, the examined gate architectures have to be locally embedded in such large interconnected networks. The existence of weak synapses with high probability indicates that complex DLGs, where several input chains exist, are also expected to be a common building block of such networks. We verified that the phenomenon of DLGs is robust to population dynamics and hence it is expected to be less sensitive to unexpected fluctuations in the response timings of a single neuron. However, there are many unavoidable effects of brain activity which are not assumed to carry any significant information, e.g., synaptic noise. Is the DLGs one of these unavoidable effects? The answer is not yet clear, however, we showed that the increase in the neuronal response latency to ongoing stimulations cannot be ignored, as it may double its value and therefore affect the time dependent connectivity of a recurrent network. As for the implication of such DLGs to cognitive activities, we demonstrated some preliminary tasks such as edge detections, which obviously can be generalized to more complex tasks. Nevertheless, our work is a call for advanced in-vivo experiments and theoretical studies, which can pinpoint the existence and the importance of the suggested DLGs in various functionalities of the brain. Moreover, the proposed mechanism of DLGs opens a manifold of theoretical questions regarding advanced paradigm for the brain activity including the search for efficient local learning rules for the DLGs.
It is evident that the variety of possible DLGs is much larger than the abovementioned examples. For recurrent networks, the complexity is expected to be enhanced in comparison to feedforward networks. As opposed to feedforward networks with given simultaneous external stimulations, in recurrent networks the timings of the input stimulations are a function of the large scale activity of the entire network. One of the open theoretical questions is the number of realizable logic operations among PN, where each one of the N gates has P operating modes.
On mathematical grounds, the key question is whether recurrent networks consisting of DLGs might go beyond the computation paradigm of the universal Turing machine (Turing,
Conflict of interest statement
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Statements
Acknowledgments
We thank Moshe Abeles and Eytan Domany for fruitful discussions and comments on the manuscript, as well as the computational assistance by Mathias Mahn, Igor Reidler, Yair Sahar, Alexander Kalmanovitch and Haya Brama. The authors thank Hana Arnon for invaluable technical assistance. This research was supported by the Ministry of Science and Technology, Israel.
Conflict of interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Supplementary material
The Supplementary Material for this article can be found online at: http://www.frontiersin.org/journal/10.3389/fncom.2014.00052/abstract
References
1
AbelesM. (1991). Corticonics: Neural Circuits of the Cerebral Cortex. Cambridge University Press. 10.1017/CBO9780511574566
2
AbelesM.HayonG.LehmannD. (2004). Modeling compositionality by dynamic binding of synfire chains. J. Comput. Neurosci.17, 179–201. 10.1023/B:JCNS.0000037682.18051.5f
3
Aston-JonesG.SegalM.BloomF. E. (1980). Brain aminergic axons exhibit marked variability in conduction velocity. Brain Res. 195, 215–222. 10.1016/0006-8993(80)90880-X
4
BakkumD. J.ChaoZ. C.PotterS. M. (2008). Long-term activity-dependent plasticity of action potential propagation delay and amplitude in cortical networks. PLoS ONE3:e2088. 10.1371/journal.pone.0002088
5
BalloA. W.BucherD. (2009). Complex intrinsic membrane properties and dopamine shape spiking activity in a motor axon. J. Neuroscience29, 5062–5074. 10.1523/JNEUROSCI.0716-09.2009
6
BuzsákiG. (2010). Neural syntax: cell assemblies, synapsembles, and readers. Neuron68, 362–385. 10.1016/j.neuron.2010.09.023
7
ChavesaM.AlbertbR.SontagaE. D. (2005). Robustness and fragility of Boolean models for genetic regulatory networks. J. Theo. Bio. 235, 431–449. 10.1016/j.jtbi.2005.01.023
8
DayanP. (2009). A neurocomputational jeremiad. Nat. Neuroscience12, 1207–1207. 10.1038/nn1009-1207
9
De ColR.MesslingerK.CarrR. W. (2008). Conduction velocity is regulated by sodium channel inactivation in unmyelinated axons innervating the rat cranial meninges. J. physiology586, 1089–1103. 10.1113/jphysiol.2007.145383
10
EcclesJ. C.LlinasR.SasakiK. (1966). Excitatory synaptic action of climbing fibres on purkinje cells of cerebellum. J. Physiology182, 268–296.
11
FuhrmannG.MarkramH.TsodyksM. (2002). Spike frequency adaptation and neocortical rhythms. J. Neurophysiol. 88, 761–770. 10.1007/s00422-008-0244-y
12
GalA.EytanD.WallachA.SandlerM.SchillerJ.MaromS. (2010). Dynamics of excitability over extended timescales in cultured cortical neurons. J. Neuroscience30, 16332–16342. 10.1523/JNEUROSCI.4859-10.2010
13
GerstnerW.SprekelerH.DecoG. (2012). Theory and Simulation in Neuroscience. Science338, 60–65. 10.1126/science.1227356
14
GiljaV.NuyujukianP.ChestekC. A.CunninghamJ. P.ByronM. Y.FanJ. M.et al. (2012). A high-performance neural prosthesis enabled by control algorithm design. Nat. Neurosci. 15, 1752–1757. 10.1038/nn.3265
15
GrossmanY.ParnasI.SpiraM. E. (1979). Mechanisms involved in differential conduction of potentials at high frequency in a branching axon. J. Physiol. 295, 307–322.
16
HodgesA. (2012). Beyond turing's machines. Science336, 163–164. 10.1126/science.1218417
17
HodgkinA. L.HuxleyA. F. (1952). A quantitative description of membrane current and its application to conduction and excitation in nerve. J. Physiol. 117, 500–544.
18
HopfieldJ. J. (1982). Neural networks and physical systems with emergent collective computational abilities. Proc. Natl. Acad. Sci. U.S.A. 79, 2554–2558. 10.1073/pnas.79.8.2554
19
HuntL. T.KollingN.SoltaniA.WoolrichM. W.RushworthM. F. S.BehrensT. E. J. (2012). Mechanisms underlying cortical activity during value-guided choice. Nat. Neurosci. 15, 470–476. 10.1038/nn.3017
20
IkegayaY.AaronG.CossartR.AronovD.LamplI.FersterD.et al. (2004). Synfire chains and cortical songs: temporal modules of cortical activity. Science304, 559–564. 10.1126/science.1093173
21
IzhikevichE. M. (2006). Polychronization: computation with spikes. Neural Comput. 18, 245–282. 10.1162/089976606775093882
22
IzhikevichE. M.HoppensteadtF. C. (2009). Polychronous wavefront computations. Int. J. Bif. Chaos19, 1733–1739. 10.1142/S0218127409023809
23
JiY. Y.LuY.YangF.ShenW. H.TangT. T. T.FengL. Y.et al. (2010). Acute and gradual increases in BDNF concentration elicit distinct signaling and functions in neurons. Nat. Neurosci. 13, 302–309. 10.1038/nn.2505
24
KanterI.KopelowitzE.VardiR.ZigzagM.KinzelW.AbelesM.et al. (2011). Nonlocal mechanism for cluster synchronization in neural circuits. EPL93:66001. 10.1209/0295-5075/93/66001
25
KawasakiF.HazenM.OrdwayR. W. (2000). Fast synaptic fatigue in shibire mutants reveals a rapid requirement for dynamin in synaptic vesicle membrane trafficking. Nat. Neurosci. 3, 859–860. 10.1038/78753
26
KopelowitzE.AbelesM.CohenD.KanterI. (2012). Sensitivity of global network dynamics to local parameters versus motif structure in a cortexlike neuronal model. Phys. Rev. E85:051902. 10.1103/PhysRevE.85.051902
27
KroghA. (2008). What are artificial neural networks?Nat. Biotechnol. 26, 195–197. 10.1038/nbt1386
28
Litwin-KumarA.DoironB. (2012). Slow dynamics and high variability in balanced cortical networks with clustered connections. Nat. Neurosci. 15, 1498–1505. 10.1038/nn.3220
29
LongM. A.JinD. Z.FeeM. S. (2010). Support for a synaptic chain model of neuronal sequence generation. Nature468, 394–399. 10.1038/nature09514
30
MainiP. K.BakerR. E.ChuongC. (2006). The turing model comes of molecular age. Science314, 1397. 10.1126/science.1136396
31
MarkramH.TsodyksM. (1996). Redistribution of synaptic efficacy between neocortical pyramidal neurons. Nature382, 807–810. 10.1038/382807a0
32
MaromS.ShahafG. (2002). Development, learning and memory in large random networks of cortical neurons: lessons beyond anatomy. Q. Rev. Biophys. 35, 63–87. 10.1017/S0033583501003742
33
MccullochW. S.PittsW. (1943). A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5, 115–133. 10.1007/BF02478259
34
MorinF. O.TakamuraY.TamiyaE. (2005). Investigating neuronal activity with planar microelectrode arrays: achievements and new perspectives. J. Biosci. Bioeng. 100, 131–143. 10.1263/jbb.100.131
35
NahinP. J. (2012). The Logician and The Engineer: How George Boole and Claude Shannon Created the Information Age. Princeton, NJ: Princeton Univ. Press.
36
PastalkovaE.ItskovV.AmarasinghamA.BuzsákiG. (2008). Internally generated cell assembly sequences in the rat hippocampus. Science321, 1322–1327. 10.1126/science.1159775
37
QianL.WinfreeE.BruckJ. (2011). Neural network computation with DNA strand displacement cascades. Nature475, 368–372. 10.1038/nature10262
38
RosenblattF. (1958). The perceptron: a probabilistic model for information storage and organization in the brain. Psychol. Rev. 65, 386. 10.1037/h0042519
39
ScroggsR. S. (2008). Evidence of a physiological role for use-dependent inactivation of nav1.8 sodium channels. J. Physiol. 586, 923. 10.1113/jphysiol.2008.150821
40
ShannonC. (1938). A symbolic analysis of relay and switching circuits. Trans. AIEE57, 713–723.
41
SoudryD.MeirR. (2012). Conductance-based neuron models and the slow dynamics of excitability. Front. Neurosci. 6:4. 10.3389/fncom.2012.00004
42
SpiraM. E.YaromY.ParnasI. (1976). Modulation of spike frequency by regions of special axonal geometry and by synaptic inputs. J. Neurophysiol. 39, 882–899.
43
StoianovI.ZorziM. (2012). Emergence of a “visual number sense” in hierarchical generative models. Nat. Neurosci. 15, 194–196. 10.1038/nn.2996
44
SuttonR. S.BartoA. G. (1998). Reinforcement Learning: An Introduction. Cambridge: Cambridge Univ Press.
45
TalD.JacobsonE.LyakhovV.MaromS. (2001). Frequency tuning of inputoutput relation in a rat cortical neuron in-vitro. Neurosci. Lett. 300, 21–24. 10.1016/S0304-3940(01)01534-8
46
ThomsonA. M.WestD. C. (1993). Fluctuations in pyramid excitatory postsynaptic potentials modified by presynaptic firing pattern and postsynaptic membrane-potential using paired intracellular-recordings in rat neocortex. Neuroscience54, 329–346. 10.1016/0306-4522(93)90256-F
47
TuringA. M. (1938). On computable numbers, with an application to the Entscheidungsproblem. A Correction, in Proceedings of the London Mathematical Society (London), Ser. 2, 544. 10.1112/plms/s2-43.6.544
48
Van PeltJ.WoltersP. S.CornerM. A.RuttenW. L. C.RamakersG. J. A. (2004). Long-term characterization of firing dynamics of spontaneous bursts in cultured neural networks. IEEE Trans. Biomed. Eng. 51, 2051–2062. 10.1109/TBME.2004.827936
49
VardiR.GoldentalA.GubermanS.KalmanovichA.MarmariH.KanterI. (2013a). Sudden synchrony leaps accompanied by frequency multiplications in neuronal activity. Front. Neural Circuits7:176. 10.3389/fncir.2013.00176
50
VardiR.GubermanS.GoldentalA.KanterI. (2013b). An experimental evidence-based computational paradigm for new logic-gates in neuronal activity. EPL103:66001. 10.1209/0295-5075/103/66001
51
VardiR.TimorR.MaromS.AbelesM.KanterI. (2012a). Synchronization with mismatched synaptic delays: a unique role of elastic neuronal latency. EPL100:48003. 10.1209/0295-5075/100/48003
52
VardiR.TimorR.MaromS.AbelesM.KanterI. (2013c). Synchronization by elastic neuronal latencies. Phys. Rev. E87:012724. 10.1103/PhysRevE.87.012724
53
VardiR.WallachA.KopelowitzE.AbelesM.MaromS.KanterI. (2012b). Synthetic reverberating activity patterns embedded in networks of cortical neurons. EPL97:66002. 10.1209/0295-5075/97/66002
54
VogelsT. P.AbbottL. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. J. Neurosci. 25, 10786–10795. 10.1523/JNEUROSCI.3508-05.2005
55
Von NeumannJ. (1956). Probabilistic logics and the synthesis of reliable organisms from unreliable components. Automata Stud. 34, 43–98.
56
WagenaarD.PineJ.PotterS. (2006). An extremely rich repertoire of bursting patterns during the development of cortical cultures. BMC Neurosci. 7:11. 10.1186/1471-2202-7-11
Summary
Keywords
neuronal circuit, logic-gates, neuronal response latency, in vitro modular networks, Boolean algebra
Citation
Goldental A, Guberman S, Vardi R and Kanter I (2014) A computational paradigm for dynamic logic-gates in neuronal activity. Front. Comput. Neurosci. 8:52. doi: 10.3389/fncom.2014.00052
Received
03 February 2014
Accepted
07 April 2014
Published
29 April 2014
Volume
8 - 2014
Edited by
Gabriel A. Silva, University of California, San Diego, USA
Reviewed by
Paolo Del Giudice, Italian National Institute of Health, Italy; Yasuhiro Tsubo, Ritsumeikan University, Japan
Copyright
© 2014 Goldental, Guberman, Vardi and Kanter.
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) or licensor 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.
*Correspondence: Ido Kanter, Gonda Interdisciplinary Brain Research Center, Bar-Ilan University, Ramat-Gan 52900, Israel e-mail: ido.kanter@gmail.com
†These authors have contributed equally to this work.
This article was submitted to the journal Frontiers in Computational Neuroscience.
Disclaimer
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.