The Sternberg Experiments: An Ersatz Test Program

1. The Sternberg Experiments: An Ersatz Test Program James Anderson Department of Cognitive and Linguistic Sciences Brown University September 10, 2007

2. Ersatz Results, Plans and Goals Overall goal: design a brain-like computer architecture, both hardware and software. Such a device must be capable of being programmed. Such a device must compute results for interesting and important classes of problems. And (potentially) do it better than traditional computers.

3. Potential Applications We have studied several applications areas. First, Cognitive Signal Processing: • Invariant Vowel Formant Ratio Computation • A Morse Code reader.

4. Operations and Programs Second, we have realized several simple, useful basic program operations. Examples: • Identity of two patterns. • Symmetry of two patterns. • Ratio of two amplitudes. • Ersatz “logic.”

5. A More Complex Program Third, we have designed a multi-step Ersatz Program to perform a significant task. The task is to decide whether or not a new item is part of a previously learned list. The task has similarities to many significant practical problems. An example: deciding whether or not a character string (MANTY) is an English word.

6. Multiple Scales Ersatz Programs work at multiple scales. The Ersatz Brain has a natural set of functional scaling mechanisms. First, single cortical columns (modules) modeled as a dynamical system.

7. Arrays of Modules Second, we proposed large sets of these modules formed the Network of Networks.

8. Module Assemblies Third, small numbers of active modules in a Network of Networks array can became associatively linked through learning. These module assemblies can form self-exciting groupings that can represent concepts.

9. Sparse Representation In the brain representations seem to be sparse. Sparse means there are not many active neurons. By extension, we hypothesize that not too many columns are active to represent a complex figure, percept, or concept. Tanaka’s IT data supports that claim. Sparseness also turns out to be very useful for designing Ersatz applications.

10. For a useful programmable system we need to work at multiple scales. The next step in scale is to work with multiple module arrays. Module assemblies in multiple arrays work together in self exciting “arrays of arrays.” Note these levels are all technically dynamical systems based on scaled components.

11. Development Strategy: Low Level We are working at both low and high levels of system organization. At a low level, we want to show that emergent structures such as module assemblies arise naturally given: • The Network of Networks topographically organized array. • Module and system dynamics. • Hebbian associative learning. Several small simulations suggest this is indeed the case.

12. Development Strategy: High Level At a high level, we assume that module assemblies have formed and that multiple interconnected arrays can exist. We then ask what kind of computations can this rich system perform? How can these computations be programmed? And how well do they work? My part of this presentation will largely be concerned with this set of issues.

13. Biological Evidencefor Module Assemblies(These papers and figures played a large role in our thinking about assemblies and scaling.)

14. Biological Evidence:Columnar Organization in Inferotemporal Cortex Tanaka (2003) suggests a columnar organization of different response classes in primate inferotemporal cortex. There seems to be internal structure in these regions: for example, spatial representation of orientation of the image in the column.

15. IT Response Clusters: Imaging Tanaka (2003) used intrinsic visual imaging of cortex. Train video camera on exposed cortex, cell activity can be picked up.  At least a factor of ten higher resolution than fMRI.  Size of response is around the size of functional columns seen elsewhere: 300-400 microns.

16. Columns: Inferotemporal Cortex Responses of a region of IT to complex images involve discrete columns. The response to a picture of a fire extinguisher shows how regions of activity are determined. Boundaries are where the activity falls by a half. Note: some spots are roughly equally spaced.

17. Active IT Regions for a Complex Stimulus Note the large number of roughly equally distant spots (2 mm) for a familiar complex image.

18. Basic “Hello World” Operations We will look next at interesting operations that might be performed on single NofN arrays. We look at two operations in details: • Identity of two patterns. • Ratio of two analog quantities.

19. Topographic Model for Identity

20. Identity Consider simple identity. Two sets of (sparse coded) features are on a Network of Networks array in any location. Are the two sets the same? Note: The “identity” operation really mean to “very high degree of similarity” not logical identity.

21. Pattern Spread Patterns spread laterally from their origin. When two of the same patterns meet they add. The interference pattern module response is large. These are spatio-temporal interactions like optics, or surface acoustic wave filters [SAW].)

26. Computing Ratios with an Array

27. Ratio Computation Need to measure ratios of quantities for programs like Identity. Can use amplitude timing relationships to generate spatial representation of a ratio. General neural rule: weak signals produce slower responses than strong ones. One name: Strength-latency tradeoff. Found from peripheral sensory systems up to cortex.

28. Desired Spatial Behavior Assume a linear array of modules. Low (q1/q2): q1oooooRooooooooooooooooooooooooooooooq2. ^ ^ Input Strength q1 Input Strength q2 High (q1/q2): q1ooooooooooooooooooooooooooooooRooooq2. ^ ^ R indicates the location of active modules. The location of R should be related to the value of the ratio, (q1/q2).

29. Example Suppose we have a linear array of modules Assume that q1 and q2 arrive simultaneously as inputs on the ends.   Assume the time, Δt, for a module to respond to an input is a function of the input amplitude. Example: Δt1 = c/q1 and Δt2 = c/q2 At a given time, the stronger input has traveled further than the weaker one.

30. Bar Code for Ratios Approximate spatial locations for this strength-latency relationship. q1q2 XoooooooooooooooooooooooooooooooooooooooooooooooooooY ^ ^ small 1:5 1:3 1:2 1:1 2:1 3:1 5:1 large q1/q2q1/q2

31. Other Points A system much like this is used for spatial localization in the auditory system. This is a spatially arranged parallel system so we can compute several ratios simultaneously. q1-R-----q2 \ / \ R R / q3

32. Applications of the Identity Program

33. Identity as a Protean Function • The Identity function is a flexible starting point. • Note: Ersatz-Identity is based on a similarity measure, not logical identity. Other application examples: • Ersatz Logic • Ersatz Symmetry

34. Symmetry Use a variant of the identity program to compute symmetry Use lateral pattern spread with different weighting regions and times.

39. Relationships Key Point: Our approach to Eratz “software” is based on observing, using, and manipulating the spatial and temporal relationships among module activity patterns.

40. Next Step: Multiple Arrays Consider complex systems involving multiple NofN arrays and multiple module assemblies. Two ways to look at the operation of memory in Ersatz Systems. First is simple pattern recognition. Useful but inflexible. Call it “passive memory.” The second is task based memory. Can be programmed and is much more flexible. Call it “active memory.”

41. Passive Memory

42. Active Memory: Three NofN Arrays

43. Active Memory For active memory, memory and sensory data from different NofN arrays mix together at another array. We call this array the mixer. In some programs the activity level at the mixer provides the result of the computation. Such an architecture can be: • Flexible. • Task dependent. • Programmable.

44. The Sternberg Experiment We outline next a program to perform the famous (among cognitive scientists!) Sternberg List Scanning Experiments. Task: • Memorize a short list of items (2 to 5 items). • Decide quickly whether a new item was on the list or not.

45. The Task Assume we learn a short list of letters. A, B, G, K, L K is presented. Press the positive response key. M is presented. Press the negative response key. Record the time it takes to respond.

46. Not Trivial! For non-academics: This task is not trivial and is similar to many real world tasks. An important example: Is MANTY a word? (Need to check the full lexicon to answer.) Is Corvette a car name? Is Peerless a car name? Is Utopian Turtletop a car name?

47. Blink One mental function that we have great interest in doing with the Ersatz system is described in detail in a recent best selling book by Malcolm Gladwell: Blink. The subtitle of Blink is “The Power of Thinking without Thinking.”

48. Blink The point of the book: “We believe that we are always better off gathering as much information as possible and spending as much time as possible in deliberations. There are moments …when our snap judgments and first impressions can offer a much better means of making sense of the world. The first task of Blink is to convince you of a simple fact: decisions made very quickly can be every bit as good as decisions made cautiously and deliberately. (p. 13-14)

49. Fast Decision Systems One goal of the Ersatz project is to make an artificial system with these properties: • Be Fast (Work in a single or very small number of steps. No tree searches.) • Be able to integrate information from many sources. • Example: Combine information from the senses and from perceptual analysis with past information stored in memory in a fast, efficient, programmable manner. • Be right most of the time. We will use the Sternberg list experiments as our first attempt at showing how this might be done.

50. Response Time Data Plot average response time against list length. Key experimental finding: Positive (present) and negative (absent) responses have the same slope.