02.11.2012 Views

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

a)<br />

b)<br />

394<br />

From Topology to Logic. The Neural <strong>Reduction</strong> of Compositional Representation — Markus Wern<strong>in</strong>g<br />

Figure 1: Cortical realizations of attributes. a) Fragment (ca. 4mm 2 )<br />

of <strong>the</strong> neural feature map for <strong>the</strong> attribute orientation of cat V1<br />

(adapted from Crair et. al., 1997). The arrows <strong>in</strong>dicate <strong>the</strong> polar<br />

topology of <strong>the</strong> orientation values represented with<strong>in</strong> each hypercolumn.<br />

Hypercolumns are arranged <strong>in</strong> a ret<strong>in</strong>otopic topology. b)<br />

Color b<strong>and</strong> (ca. 1 mm 2 ) from <strong>the</strong> th<strong>in</strong> stripes of macaque V2<br />

(adapted from Xiao et. al., 2003). The values of <strong>the</strong> attribute color<br />

are arranged <strong>in</strong> a topology that follows <strong>the</strong> similarity of hue as def<strong>in</strong>ed<br />

by <strong>the</strong> Commission Internationale de l’Eclairages (xycromaticity).<br />

The topology among <strong>the</strong> various color b<strong>and</strong>s of V2 is<br />

ret<strong>in</strong>otopic.<br />

The fact that values of different attributes may be<br />

<strong>in</strong>stantiated by <strong>the</strong> same object, but are processed <strong>in</strong><br />

dist<strong>in</strong>ct regions of cortex poses <strong>the</strong> problem of how this<br />

<strong>in</strong>formation is <strong>in</strong>tegrated <strong>in</strong> an object-specific way: <strong>the</strong><br />

b<strong>in</strong>d<strong>in</strong>g problem. How can it be that <strong>the</strong> color <strong>and</strong> <strong>the</strong><br />

orientation of an object are represented <strong>in</strong> dist<strong>in</strong>ct regions<br />

of cortex, but still are part of <strong>the</strong> representation of one <strong>and</strong><br />

<strong>the</strong> same object? A prom<strong>in</strong>ent <strong>and</strong> experimentally well<br />

supported solution postulates oscillatory neural<br />

synchronization as a mechanism of b<strong>in</strong>d<strong>in</strong>g: Clusters of<br />

neurons that are <strong>in</strong>dicative for different attribute values<br />

sometimes show synchronous oscillatory activity, but only<br />

when <strong>the</strong> values <strong>in</strong>dicated are <strong>in</strong>stantiated by <strong>the</strong> same<br />

object <strong>in</strong> <strong>the</strong> perceptual field; o<strong>the</strong>rwise <strong>the</strong>y are fir<strong>in</strong>g<br />

asynchronously. Synchronous oscillation, thus, might be<br />

regarded to fulfill <strong>the</strong> task of b<strong>in</strong>d<strong>in</strong>g toge<strong>the</strong>r various<br />

representations of attibute values to form <strong>the</strong><br />

representation of an object with <strong>the</strong>se values (S<strong>in</strong>ger,<br />

1999, for review). Us<strong>in</strong>g oscillatory networks as biologically<br />

motivated models, it can be demonstrated how <strong>the</strong><br />

topological organization of <strong>in</strong>formation <strong>in</strong> <strong>the</strong> cortex, by<br />

mechanisms of synchronization, may yield a logically<br />

structured semantics of concepts (Maye & Wern<strong>in</strong>g, 2004).<br />

Oscillation functions play <strong>the</strong> role of object concepts.<br />

Clusters of feature sensitive neurons play <strong>the</strong> role of<br />

attributive concepts – or predicates.<br />

Oscillatory Networks<br />

From Gestalt psychology <strong>the</strong> pr<strong>in</strong>ciples govern<strong>in</strong>g object<br />

concepts are well known. Accord<strong>in</strong>g to some of <strong>the</strong> Gestalt<br />

pr<strong>in</strong>ciples, spatially proximal elements with similar attribute<br />

values (e.g., similar color/similar orientation) are likely to<br />

be perceived as one object or, <strong>in</strong> o<strong>the</strong>r words, represented<br />

by one <strong>and</strong> <strong>the</strong> same object concept. The Gestalt pr<strong>in</strong>ciples<br />

are implemented <strong>in</strong> oscillatory networks by <strong>the</strong> follow<strong>in</strong>g<br />

mechanism: Oscillators that select <strong>in</strong>put from proximal<br />

stimulus elements with like attribute values tend to synchronize,<br />

while oscillators that select <strong>in</strong>put from proximal<br />

stimulus elements with unlike values (e.g., red <strong>and</strong> green<br />

for color or horizontal <strong>and</strong> vertical for orientiation) tend to<br />

desynchronize. As a consequence, oscillators selective for<br />

proximal stimulus elements with like values tend to exhibit<br />

synchronous oscillation functions when stimulated simultaneously.<br />

The oscillation <strong>in</strong> question can be regarded as<br />

one object concept. In contrast, <strong>in</strong>puts that conta<strong>in</strong> proximal<br />

elements with unlike values tend to cause antisynchronous<br />

oscillations, i.e., different object concepts.<br />

In our model (Fig. 2) a s<strong>in</strong>gle oscillator – marked as<br />

a cubicle – renders <strong>the</strong> statistical electrical discharge behavior<br />

of 100 to 200 biological cells <strong>and</strong> codes for an attibute<br />

value (z-coord<strong>in</strong>ate) for a stimulus <strong>in</strong> <strong>the</strong> relevant region<br />

of <strong>the</strong> receptive field (x,y-coord<strong>in</strong>ates). Differential<br />

equations describe <strong>the</strong> dynamics of <strong>the</strong> i-th oscillator as<br />

<strong>the</strong> temporal evolution of a variable xi(t). The oscillators for<br />

an attribute are arranged on a three-dimensional grid form<strong>in</strong>g<br />

a module. Two dimensions represent <strong>the</strong> spatial doma<strong>in</strong>,<br />

while <strong>the</strong> attribute values are encoded by <strong>the</strong> third<br />

dimension. Thus <strong>the</strong> twofold topology of biological feature<br />

maps is reflected <strong>in</strong> <strong>the</strong> network architecture. Spatially<br />

close oscillators that represent similar values synchronize.<br />

The desynchroniz<strong>in</strong>g connections establish a phase lag<br />

between different groups of synchronously oscillat<strong>in</strong>g clusters.<br />

Modules for different attributes can be comb<strong>in</strong>ed by<br />

establish<strong>in</strong>g synchroniz<strong>in</strong>g connections between oscillators<br />

of different modules <strong>in</strong> case <strong>the</strong>y code for <strong>the</strong> same stimulus<br />

region<br />

Stimulated oscillatory networks (e.g., by stimulus of<br />

Fig. 3a), characteristically, show object-specific patterns of<br />

synchronized <strong>and</strong> de-synchronized oscillators with<strong>in</strong> <strong>and</strong><br />

across modules. Oscillators that represent attributes of <strong>the</strong><br />

same object synchronize, while oscillators that represent<br />

attributes of different objects de-synchronize. We observe<br />

that for each represented object a certa<strong>in</strong> oscillation<br />

spreads through <strong>the</strong> network. The oscillation perta<strong>in</strong>s only<br />

to oscillators that represent <strong>the</strong> attributes of <strong>the</strong> object <strong>in</strong><br />

question.<br />

Semantic Interpretation<br />

An oscillation function x(t) of an oscillator is its excitatory<br />

activity as a function of time dur<strong>in</strong>g a time w<strong>in</strong>dow [0,T].<br />

Ma<strong>the</strong>matically speak<strong>in</strong>g, activity functions can be conceived<br />

of as vectors <strong>in</strong> <strong>the</strong> Hilbert space L2[0,T] of functions<br />

that are square-<strong>in</strong>tegrable <strong>in</strong> <strong>the</strong> <strong>in</strong>terval [0,T]. Thus,<br />

a precise measure of synchrony can be established <strong>and</strong> a<br />

powerful algebraic framework for <strong>the</strong> semantic <strong>in</strong>terpretation<br />

of <strong>the</strong> network is provided. The degree of synchrony<br />

between two oscillations lies between −1 <strong>and</strong> +1 <strong>and</strong> can<br />

be def<strong>in</strong>ed as <strong>the</strong> <strong>the</strong>ir normalized <strong>in</strong>ner product<br />

(1)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!