PATTERN RECOGNITION SYSTEM

Abstract: A self-categorizing pattern recognition system includes an adaptive filter for selecting a category in response to an input pattern. A template is then generated in response to the selected category and a coincident pattern indicating the intersection between the expected pattern and the input pattern is generated. The ratio between the number of elements in the coincident pattern to the number of elements in the input pattern determines whether the category is reset. If the category is not reset, the adaptive filter and template may be modified in response to the coincident pattern. Reset of the selected category is inhibited if no expected pattern is generated. Weighting of the adaptive filter in response to a coincident pattern is inversely related to the number of elements in the input pattern. The selected categories reset where a reset function is less than a vigilance parameter which may be varied in response to teaching events.

Description: -1- PATTERN RECOGNITION SYSTEM Government Support The U.S. government has rights to this invention under the following contracts AFOSR85-0149 NSF DMS-84-13119 AFOSR F-49-620-86-C-0037 ARO DAAG-29-85-K0095 NSF-IST-8417756 Related Applications This is a continuation-in-part of U.S. application Serial No. 802,576, filed November 27, 1985, for NEURAL DYNAMICS OF CATEGORY LEARNING AND RECOGNITION: ATTENTION, MEMORY CONSOLIDATION, AND AMNESIA. Related Publications The following publications describe features of this invention and are incorporated herein by reference. Carpenter, ' G.A. and Grossberg, S., Category learning and adaptive pattern recognition: A neural network model. Proceedings of the Third Army Conference on Applied Mathementics and Computing, 1986. ARO Report 86-1, pp. 37-56. Carpenter, G.A. and Grossberg, S., Neural dynamics of category learning and recognition: Attention, memory consolidation, and amnesia. In J. Davis, R. Newburgh, and E. Wegman (Eds.), Brain structure, learning, and memory, AAAS Symposium Series, 1987. Carpenter, G.A. and Grossberg, S., Neural dynamics of category learning and recognition: Structural invariants, reinforcement, and evoked potentials. In M.L. Commons, S.M. Kosslyn, and R.J. Herrnstein (Eds.) Pattern recognition and concepts in animals, people, and machines. Hillsdale, NJ: Erlbaum, 1987. Carpenter, G.A. and Grossberg, S., Adaptive resonance theory: Stable self-organization of neural recognition codes in response to arbitrary lists of input patterns. Proceedings Cognitive Science Society,.1986. Carpenter, G.A. and Grossberg, S., A massively parallel architecture for a self-organizing neural pattern recognition machine. Computer Vision, Graphics, and Image Processing, 1987. Carpenter, G.A. and Grossberg, S., Associative learning, adaptive pattern recognition, and competitive decision making by neural networks. Hybrid and Optical Computing, H. Szu, Ed. SPIE, 1986. Carpenter, G.A. and Grossberg, S., Absolutely stable learning of recognition codes by a self- organizing neural network. Proceedings Snowbird Conference, American Institute of Physics, 1986. Background Theories have been proposed on which it has been hoped that systems could be developed to receive patterns, such as audio or visual patterns, and automatically develop a scheme for categorizing those patterns into a specific number of categories. Thereafter, such a system should recognize whether a pattern belongs in a previously established cate¬ gory. For example, a system might recognize twenty six categories, each corresponding to a different letter of the alphabet. During a learning process, the system might receive a series of input patterns which may differ even within each category. Elements of the patterns which are not required to categorize the patterns should be rejected as noise. One theory of category learning was proposed by Stephen Grossberg and is described in "Some Psycho- physiological and Pharmacological Correlates of a Developmental, Cognitive and Motivational Theory", Brain and Information: Event Related Potentials, Volume 425, Annals of the New York Academy of Sciences, 1984. Under that theory, an input pattern would be stored in short term memory and the pattern would be applied through adaptive filters to select a category. The selected category, retained in another short term memory, would generate an expected pattern corresponding to that category through a parallel set of adaptive filters. The correspondence between the expected pattern and the input pattern would determine whether the input pattern belonged in the initially selected category. If it did, the adaptive filters would be modified to reflect information provided by the input pattern. If the input pattern did not belong in the selected category, this system would prevent modification of the adaptive filters associated with the category and select a new category. The present invention is based on development of the initial Grossberg theories into an operable machine architecture. e Disclosure of the Invention A network, called an adaptive resonance theory (ART) architecture, for adaptive pattern recognition is described herein. The architecture self-organizes and self-stabiizes its recognition codes in response to arbitrary orderings of arbi¬ trarily many and arbitrarily complex input patterns. Top-down attentional and matching mechanisms are critical in self-stablizing the code learning process. The architecture embodies a self-adjusting parallel search scheme which updates itself adaptivley to maintain its efficiency as the learning process unfolds. After learning self- stabil'izes, the search process is automatically disengaged. Thereafter input patterns directly access their recognition codes without any search. Thus recognition time does not grow as a function of code complexity. A novel input pattern can directly access a category if it shares invariant properties with the set of familiar exemplars of that category. These invariant properties emerge in the form of learned critical feature patterns, or prototypes. The architecture possesses a context-sensitive self-scaling property which enables its emergent critical feature patterns to form. They detect and remember statistically predictive configurations of featural elements which are derived from the set of all input patterns that are ever experienced. Four types of attentional process — ■ priming, gain control, vigilance, and intermodal competition — are mechanistically characterized. Top-down priming and gain control are needed for code matching and self-stabilization. Attentional vigilance determines how fine the learned categories will be. If vigilance increases due to an environmental disconfirmation, then the system automatically searches for and learns finer recognition categories. A new nonlinear matching law (the 2/3 Rule) and new nonlinear associative laws (the Weber Law Rule, the Associative Decay Rule, and the Template Learning Rule) are needed to achieve these properties. All the rules describe emergent properties of parallel network interactions. The architecture circumvents the noise, saturation, capacity, orthogonality, and linear predictability constraints that limit the codes which can be stably learned by alternative recognition models. An ART system can be primed to reject all input patterns that are not consistent with its prototype without undergoing any search or further learning. In accordance with the present invention, a plurality of input elements of an input pattern are applied to a self-organizing pattern recognition system. The input elements may be processed through an adaptive filter which individually weights the elements relative to each of a plurality of cate¬ gories. Each category is available to learn patterns derived from input patterns with the elimination of noise. For each category the adaptive filter provides a category selection indication which represents a combination of .the weighted input elements. At least one of the categories is then selected based on the magnitude of the combined weighted signals. Each category defines an expected pattern through a template. Initially, each category defines an expected pattern which includes all possible elements. The expected pattern from the selected category is compared to the input pattern to detect the coincidence of the two. By weighing the coincidence relative to pattern complexity, which may be defined by the number of elements in the input pattern, the system is self-scaling in its categorization decisions. Preferably, coincidence may be determined from a coincident pattern which is an intersection betweeen the expected and input patterns. The number of elements in the coincident pattern can be compared to the number of elements in the input pattern to provide a relative coincidence. If a sufficient coincidence is detected, the adaptive filter and the stored expected pattern for the selected category are modified. Elements in common between the input pattern and the expected pattern are retained and all other elements are deemphasized. Specifically, in a fast response system, the noncoincident elements are provided zero weight in the adaptive filter to the selected category and the coincident elements are heavily weighted in the adaptive filter to the selected category. The pattern which is thereafter generated by the selected category is the intersection of the previous expected pattern and the input pattern. If a sufficient relative coincidence is not detected, an alternative category is selected without modifying the adaptive filter or the expected pattern relative to the previously selected category. The alternative category then generates an alternative expected pattern to be compared to the input pattern. The system may thus select a number of previously defined expected patterns in an order determined by previously learned weights in the adaptive filter until an expected pattern is selected which provides sufficient relative coin¬ cidence with the input pattern. Then, any elements which are not in common with the expected pattern and the input pattern are treated as noise in modifying the adaptive filter to the particular category and in redefining the expected pattern from that category. The adaptive filter is modified when coincidence is detected such that future weights are inversely related to the number of elements in the intersection between the previously expected pattern and the input pattern. Thus, both subsets and supersets can be learned and directly accessed through the adaptive filter. In a preferred system, a coincident pattern indicating the coincidence between the expected pattern and the input pattern is generated in a short term memory (STM) . The relative coincidence is determined by then comparing the coincident pattern with the input pattern. Before an expected pattern is received to generate the coincident pattern, the coincident pattern is the input pattern itself with a high gain applied to the short term memory in which the pattern is stored. Thereafter, when an expected pattern is also applied to the short term memory, the gain is reduced and the expected pattern is superimposed on the input pattern. Only those elements which are found in both the input pattern and the expected pattern can combine to a level sufficient to be considered an element of the coincident pattern. A reset function can be defined as the number of elements in the intersection between an expected pattern and an input pattern (the coincident pat- tern) relative to the number of elements in the input pattern. A vigilance parameter can be defined as the ratio of a gain applied to the input pattern elements relative to a gain applied to the coincident pattern. The vigilance parameter can be set for a system and coincidence is considered sufficient to inhibit reset to an alternative selection so long as the reset function is greater than or equal to the vigilance parameter. If the reset function is insufficient, another category is selected according to an order function which can be defined as the ratio of (a) the product of a constant and the number of elements in the coincident pattern to (b) the sum of a constant and the number of elements in the expected pattern. Vigilance can be changed by an external input where the organization provided by the system does not correspond to external requirements. The system can thus be taught to be more vigilant. The system may have a basis other than the input pattern for expecting a particular pattern to be selected by the input pattern. In that case, an expected pattern may be generated from a selected category even prior to receipt of an input pattern. Relative coincidence is then determined and the selected category may be accepted or rejected. Brief Description of the Drawings The foregoing and other objects, features and advantages of the invention will be apparent from the following more particular description of preferred embodiments of the invention, as illustrated in the accompanying drawings in which like reference characters refer to the same parts throughout the differnt views. The drawings are not necessarily to scale, emphasis instead being placed upon illustrating the principles of the invention. Fig. 1 is a block diagram illustrating a system embodying the present invention. Fig. 2 illustrates handling of exemplary patterns by the system of Fig. 1. Fig. 3 is a further example of handling of patterns in the system of Fig. 1. Fig. 4 is a schematic illustration of adaptive filter elements between the memories F. and F-, of Fig. 1. Fig. 5 is a schematic illustration of the response of the system to subset and superset patterns. Fig. 6 is an illustration of possible relationships between an input pattern and an expected pattern. Fig. 7 is an illustration of categorical learning by the system of Fig. 1 where the 2/3 Rule is and is not invoked. Fig. 8 is an illustration of category searching using the system of Fig. 1. Fig. 9 is another illustration of the order of search by the system of Fig. 1. Fig. 10 is an illustration of how the system distinguishes noise from input patterns of variable complexity. Fig. 11 illustrates the response of the system with various levels of vigilance. Fig. 12 is another illustration of operation of the system in different vigilance levels. Description of Preferred Embodiments A system embodying the present invention is illustrated in Figure 1. The invention may be applied to any form of pattern but will be described with respect to a visual pattern recognition system in which the pattern comprises a two dimensional array of picture elements (pixels) . Further, the system may be used with gray tone patterns in which each pixel may assume a wide range of intensity levels but, for the most part, will be described with respect to a bit oriented system in which each pixel has a high or low value. Input pattern I is stored in a buffer memory 12. The input pattern is applied from the buffer 12 to a short term memory (STM) F. from which it is applied through adaptive filters 14 to a second short term memory F-,. A category selected by the input pattern through the adaptive filters 14 is retained in F-, and generates an expected pattern for that category through a second set of adaptive filters 16 which serve as a template. The coincidence between the expected pattern and the input pattern is then determined at F. as will be described below. Through an orienting system A to be described, the system determines whether the coincidence is sufficient to identify the input pattern as being within the selected category. If the input pattern is not in the selected category, that category is disabled in F, and another category is selected. If the orienting subsystem 18 identifies the input pattern as being in the selected category, the adaptive filters 14 and 16 are modified in accordance with a coincident pattern retained in F- to redefine the patterns which select that category and to redefine the expected pattern from the category. Examples of operation of the system are illustrated in Figs. 2 and 3. In Figure 2A, an input pattern I is initially stored at F-. Through the adaptive filters 14, the pattern at F. selects a category at F-,. The selected category in this example has previously been defined by the template 16 to indicate the expected pattern shown at F-,,16. As shown in Figure 2b, the expected pattern is then applied to F- and a pattern indicative of the intersection between the input pattern and the expected pattern is generated. That coincident pattern is then applied to the orienting subsystem 18 along with the input pattern. The orienting system determines whether the number of pixels in the coincident pattern relative to the number of pixels in the input pattern indicates a correlation between the input pattern and the expected pattern sufficient to categorize the input pattern in the selected category. In the case illustrated in Figure 2, the orienting subsystem 18 determines that a sufficient match has not been obtained and disables the selected category in F-,. The system then selects another category. In the operation illustrated by Figure 2, the next selected category is one which has not previously been defined so the expected pattern is the full pixel array. As illus¬ trated in Figure 2C, the intersection between a full pixel array and the input pattern is the input pattern itself. Because the number of pixels in the coincident pattern is identical to the number in the input pattern, the system indicates that the input pattern should be identified with the selected category. The orienting system does not disable the selected category and, as illustrated in Figure 2D, the expected pattern in the selected category is redefined by the coincident pattern through the adaptive filters 14 and 16. Figure 3 illustrates another operation in which the pattern initially selected by the input pattern is previously defined as that illustrated at F-,,16 of Figure 3A. The coincident pattern is illustrated at F.. In this case, the system indicates a suffi- cient correspondence between the coincident pattern and the input pattern and the pattern is redefined by the coincident pattern as illustrated in Figure 3B. The adaptive filter 14 is illustrated schemati- cally in Figure 4. The pattern at F. resides in a plurality of nodes 20, 21, 22, 23, and 24 corresponding to the pixels of the pattern. In Figure 4, a gray tone pattern is assumed since more than just two levels are provided. The level of each pixel at each node in F- is applied through the adaptive filter 14 to each node 25, 26, 27, and 28 at F 2 « Each node at F- represents a category. Thus, for example, if the alphabet is being categorized, 26 nodes would be provided. The signal from each pixel node at F. is weighted by an adaptive filter element 30 of the filter 14 as it is applied, to each category node. The different weights are illustrated by the different sizes of terminations 30. Where the weighting is zero, no lines have been shown between the nodes of F.. and those of F- j . The weights adapt in learned responses to input patterns and are then retained as elements 30 of adaptive filter long term memory (LTM) . In the illustration of Figure 4, the signals from nodes 21 and 22 through their respective adaptive filter elements to the node 26 sum to the largest magnitude, and the category of node 26 is thus initially selected. For each adaptive filter element from a node of F. to a node of F-,, there is a corresponding LTM adaptive filter element of filter 16 from the node of F 2 to the node of F.. It is those adaptive filter elements which define the expected pattern. From the signal 34 applied to selected node 26 down through adaptive filters 32, a pattern is formed at pixels 21 and 22 as shown in Figure 4B. As illustrated, the new pattern may include a different set of pixels from that in the initial input pattern at F- and, in a gray code system, the levels at the respective pixels may be different. The adaptive filter pathways from F- to F 2 will be referred to as bottom-up pathways and those from F- > to F- will be referred to as top-down pathways in view of the orientation presented in Figure 1. The pattern shown at F- in Figure 4A is a signal 34 at a single category node. It will be recognized, however, that a pattern of activity may¬ be promoted at the four nodes and each or selected ones of the signals at F 2 may contribute through the adaptive filters 16 to the expected pattern applied to F.. The present description applies to a special case of contrast enhancement in which only the node which receives the largest input is chosen and only that node can store activity in the short term memory F 2 . More general versions of contrast enhancement are presented in Cohen, M.A. and Grossberg, S., "Neural dynamics of speech and language coding: Developmental programs, perceptual grouping, and competition for short term memory," Human Neurobiology, (1986, v.5, pp. 1-22) and Grossberg, S., "The adaptive self-organization of serial order in behavior: Speech, language and motor control," Pattern recognition by humans and machines. Vol. 1: Speech perception, E.G. Schwab and H.C. Nusbaum (Eds.), New York: Academic Press, 1986, pp. 187-294. Until an expected pattern has been provided through the adaptive filter 16 and coincidence is determined relative to the input pattern, it is important that the orienting subsystem 18 not disable the selected node. To that end, the pattern initially retained at F- is the input pattern itself. When an expected pattern is provided, the resultant coincident pattern is the intersection between the expected pattern and the input pattern. In the present system, this result is obtained by means of a gain control 38. The gain control provides a nonspecific high gain to each pixel of the pattern received at the input pattern side of F- when signal 40 indicates an input pattern is being received and signal 42 indicates that no expected pattern is being generated. However, when an expected pattern is generated, the signal on line 42 is subtracted from that on line 40 to eliminate the gain applied from gain control 38 to F.. Without the applied gain, the pixel signals supplied from the input pattern buffer 12 to F. are insufficient by themselves to generate a coincident pattern on output lines 44; but the signals received from adaptive filters 16 are summed with the signals from the input pattern on a pixel-by-pixel basis. A pixel which receives inputs from both the expected pattern and the input pattern reaches a threshold level in the coincident pattern. However, if a node in F-. receives only a signal from the input pattern or only a signal from the expected pattern, the signal for that pixel does not reach the threshold in the coincident pattern. The result is that the coincident pattern is the intersection between the input pattern and the expected pattern. The above described system can thus be seen to implement a 2/3 Rule whereby a signal is indicated on each pixel for which two of the three inputs from.each of the input pattern, the expected pattern and the gain control are received. Where the pattern elements have binary values, the coincident pattern will be the full intersection of the input pattern and the expected pattern. Where a gray tone is used, however, the coincident pattern may be a partial intersection contained within the full intersection. Where one or both of corresponding elements in the two patterns have low values, the sum of those values may not be sufficient to trigger an element in the coincident pattern. For the self stablilization of the 2/3 Rule, each element of the coincident pattern can be found in both the input pattern and the expected pattern. The coincident pattern, which controls learning, will not cause emphasis of any element not in the expected pattern. All elements within the coincident pattern are retained in the adaptive filters 14 and 16. All elements not in the coincident pattern are deemphasized by reducing their filter weights relative to the selected category. In a fast learning system, the weights are promptly reduced to zero. A gain control 46 to F-, allows all short term memory (STM) activity in F- to be terminated when no input pattern is received. The gain may be activated through an input 48, however, to allow for intentional priming of the system. If the system has a basis other than the input pattern on which to expect that the category to be selected will be a particular one, a signal may be applied to the node at F 2 for that category. The thus generated expected pattern would inhibit the gain control 30, and no coincident pattern would be generated until a second input were provided from the input pattern. Such priming of the system may be intermodal. For example, a visual category system might be primed for a category recognized by an auditory system. Priming allows for fast and accurate response to noisy and/or very fast inputs. It may also direct the order of learning. For example, a visual system may properly categorize a color as red or orange at its level of vigilance. An auditory system may prime the visual system to select one category over the other in the learning process. Learning Rules One aspect of the present system can be motivated by considering the following situation. Suppose that a bottom-up input pattern I has already been perfectly coded by the adaptive filter from F. to F,. Suppose, moreover, that another pattern I (2) has also been perfectly coded and the I contains I as a subset; that is, I equals I at all the nodes where I is positive. If I and I are sufficiently different, they should have access to distinct categories at F-. (2) (1) However, since I equals I at their mter- section, and since all the F. nodes where I (2) does not equal I are inactive when I is presented, how does the network decide between the two cate- gories when I is presented? This question suggests that, in response to an input pattern I (1) that is perfectly coded, the node v. in F 2 which codes I (1) should receive a bigger signal from the adaptive filter than the node v_ which codes a (2) (1) superset I of I (Figure 5A) . In order to realize this constraint, the LTM traces at V-, which filter I (1) should be smaller than the LTM traces at v. which filter I . Since the LTM traces at v- were coded by the superset pattern I (2) , thi.s constraint suggests that larger input patterns are encoded by smaller LTM traces. Thus the absolute sizes of the LTM traces projecting to the different nodes v- and v_ reflect the overall sizes of the input patterns I (1) and I(2) coded by these nodes. The relative sizes of the LTM traces projecting to a single node reflect the internal structuring of the input patterns coded by that node. Consider, for example, the LTM traces in pathways from F. (1) nodes where I equals zero to the F 9 node v- (1) (Figure 5B) . During learning of I , these LTM traces decay toward zero. By contrast, consider the LTM traces to v 2 in pathways from F. cells that are activated by I but not I . These LTM traces (2) become large as learning of I proceeds. The preceding discussion suggests a constraint that enables a subset I to selectively activate its node v. rather than the node corresponding to a (2) (2) superset I . On the other hand, the superset I should be able to directly activate its node v-, rather than the node v- of a subset I (1) . However, the positive LTM traces of v.. are larger than the corresponding LTM traces of v , and presentation of I (21 activates the entire subset pattern I (1) . The (2) . fact that I is filtered by more LTM traces at v 2 than it is at v. must be able to compensate for the larger size of the LTM traces at v... By establishing a proper balance between the size and the number of positive LTM traces, a Weber Law Rule allows both I and I to have direct access to their respective nodes v.. and v . We now describe more precisely the two learning rules whereby the LTM traces allow direct access to both subset and superset F-, codes. The conjoint action of the Weber Law Rule and an Associative Decay Rule for the learned sizes of LTM traces has the desired properties. To fix ideas, suppose that each input pattern I to F- is a pattern of 0's and I's. Let |l| denote the number of I's in the input pattern I. The two rules can be summarized as follows. According to the Associative Decay Rule, after learning of I has taken place, LTM traces in both the bottom-up coding pathways and the top-down template pathways between an inactive F, node and an active F 2 node equal 0, or at least are very small. Associative learning within the LTM traces can thus cause decreases as well as increases in the sizes of the traces. This is a non-Hebbian form of associ¬ ative learning. Under the Weber Law Rule, after learning input pattern I, LTM traces in bottom-up coding pathways corresponding to active F. and F 2 nodes equal By (1) , the size of each positive LTM trace which codes I decreases as ]I| increases. Consider again the subset I and the superset I (2)'. By (1), the positive LTM traces which code I (1 * have size ° (2) β + |ι ( D x 'ji (2) and the positive LTM traces which code I have size _______ (3) β + Jι (2) f where |l (1) | < |l (2) | . When I (1) is presented at F,,Jl I nodes in F, are suprathreshold. Thus the total input to v- has size and the total input to v 2 has size Because |l (1 *| < jl (2) | , it follows that J 11 >J 12 * Thus I activates v, instead of v.. When I is presented at F, , |l '| nodes in F. are suprathreshold. Thus the total input to v 2 is We now invoke the Associative Decay Rule. Because I is a superset of I , only those F- nodes in (2) (1) I that are also activated by I project to positive LTM traces at v.. Thus the total input to V-_ is Both J 22 and J 2 » are expressed in terms of the function W(ξ) =—-L , (8) /?+<_ which is an increasing function of ξ . Since I (1) I (2) , J 22 J 21 . Thus the superset I (2) activates its node v« over the subset node v.. In order to characterize the course of learning, the rate of change of the LTM traces on each learning trial must be specified. Here, we consider cases in which, on every learning trial, the LTM traces can reach the new equilibrium values imposed by the input pattern on that trial. We call these fast learning cases. We have also considered cases in which the LTM traces change too slowly to reach the new equilibrium values imposed by the input pattern on a single trial. We call these the slow learning cases. During both fast learning and slow learning, the STM traces change more quickly than LTM traces. and the learning process eventually self-stablizes. However, the system is more sensitive to the ordering of the input patterns during fast learning than during slow learning. During slow learning, each LTM trace averages across time intervals that are much longer than a single trial, and thereby becomes less sensitive to the ordering of the inputs. We note, finally, that the 2/3 Rule and the Weber Law Rule suggest how the initial values of STM traces and LTM traces should be chosen. The choice of initial STM traces is simple: the system starts out at equilibrium, or with zero STM traces, and the STM traces quickly return to equilibrium after each input pattern shuts off. Initial LTM traces need to be chosen differently in the bottom-up adaptive filter 14 than in the top-down adaptive filter 16. Due to the Weber Law Rule, the individual bottom-up LTM traces that are learned in response to large input patterns will be relatively small. In order for presentation of a perfectly coded large pattern to directly access its coded node, rather than an uncoded node, the initial values of the bottom-up LTM traces must be smaller than the learned LTM values corresponding to large input patterns. In addition, although some bottom-up LTM traces may initially equal zero, other LTM traces abutting each F 2 node must initially be positive in order for F.. to excite that node at all. Due to the 2/3 Rule, the initial top-down LTM traces cannot be too small. When an input pattern first chooses an F-, node, the LTM traces that gate the top-down template of that node must satisfy the 2/3 Rule even before any template learning occurs. If the top-down LTM traces started out too small, no F. node would receive enough top-down input to satisfy the 2/3 Rule. Consequently, the whole system would shut down. Top-down learning is thus a type of learning-by-selection. In summary, bottom-up LTM traces start out small, whereas top-town LTM traces start out large. Bottom-up learning and top-down learning sculpt the spatial distribution of their LTM traces, as well as their overall sizes, through time. The constraint that the initial sizes of the top-down LTM traces be large is a consequence of the 2/3 Rule. The constraint that the initial sizes of the bottom-up LTM traces be small is needed to guarantee direct access to perfectly coded F 2 nodes. We therefore call this latter constraint the Direct Access Rule. Order of Search We can now begin to characterize the order of search in a network that obeys the following constraints: 1) Fast learning occurs; 2) Input patterns are composed of 0's and I's; 3) The 2/3 Rule holds; 4) The Weber Law Rule holds; and 5) The Direct Access Rule holds. This discussion of search order does not analyze whether or not an STM reset event will stop the search at any given step. The criteria for STM reset are provided below. A simple function determines the order in which encoded F 2 nodes v. are searched in response to an input pattern I. This function, which we call the Order Function, is defined as follows: In equation (9), V • - denotes the top-down template pattern that is read-out by node . of F«. Since 3 2 only one node at a time is active in F 2 , the total template read-out by F 2 is the template corresponding to the node which is active at that time. After I has been presented to F, , but before F 2 becomes active, function T. in (9) is the total bottom-up input to node v.. Term a( β + \v ^ \ ) ~ in (9) is a consequence of the Weber Law rule. This term describes the size of the positive learned LTM traces which abut v.. Term Iv -* Ωl( describes the number of pathways abutting node v. which have positive learned LTM traces and which carry positive signals when input I is presented. The total number of pathways abutting v. which have positive learned LTM traces is V (i J ) . T--his is true because a bottom-up LTM trace from node v. in F-, to node v. in F-, grows due to learning * if and only if the corresponding top-down LTM trace from v. to v. grows due to learning. There are as many positive learned LTM traces in pathways le are in pathways leading from v.. I is registered by F λ , only jV pathways are activated. The total input to node v. in F 9 is thus given by T. in (9) . 3 From the selected node v., an expected pattern is applied to F.. That expected pattern may include fewer active pixels then were active in the original pattern in F. and, under the 2/3 Rule, some of those nodes in F. which were initially active may be deactivated. Deactivation of those nodes will, however, not change the value T. received at selected node v. and the selection will thus remain stable. This is because elimination of a top-down pathway is only obtained concurrently with the elimination of a bottom-up pathway, and an F. node which is deactivated by the expected pattern would not have previously presented a pathway to the selected F-, node. With the deactivation of F.. nodes when the expected pattern is received at F. and with activation of additional F. nodes not being possible, the remaining non-selected F-, nodes receive the same or a lesser order function T.. To discuss the order of search in response to the input pattern I, we define three types of learned templates: subset templates, superset templates, and mixed templates. The LTM traces of a subset template V are large only at a subset of the F. nodes which are activated by the input pattern I (Figure 6A) . The LTM traces of a superset template V are large at all the F. nodes which are activated by the input pattern I, as well as at some F- nodes which are not activated by I (Figure 6B) . The LTM traces of a mixed template V are large at some, but not all, the F. nodes which are activated by the input pattern I, as well as at some F-. nodes which are not activated by I (Figure 6C) . If a search ends when a prescribed template V - * = V is being read-out by the F 2 node v., then this template's LTM traces recode to the new template V ■ - = Vfll. This conclusion follows from the conjoint action of the 2/3 Rule and the Associative Decay Rule. Only F. nodes in the set V- I can remain supraliminal due to the 2/3 Rule, and the LTM traces of pathways between v. and inactive F, nodes converge to zero due to the Associative Decay Rule. Thus, after learning occurs, the active template V • * = V, whether it began as a subset template, a superset template, or a mixed template, is recoded into the subset template V ^ ' = VΩI by the input pattern I. This subset recoding property is a key requirement for code stability. We now illustrate the importance of the subset recoding property by describing how its absence can lead to a temporally unstable code. Figure 7A summarizes a computer simulation of unstable code learning where the inhibitory top-down attentional gain control signals 42 are chosen too small for the 2/3 Rule to hold at F.. Figure 7B summarizes a computer simulation that illustrates how reinstatement of the 2/3 Rule can stabilize code learning. The format used in this figure will also be used in displaying our other computer simulations. We therefore describe this figure in detail. The first column of Figure 7A describes the four input patterns that were used in the simulation. These input patterns are labeled A, B, C, and D. Patterns B, C, and D are all subsets of A. The relationships among the inputs that make the simulation work are as follows: DCCCA, (11) BGA, (12) B ΩC = φ (13) These results thus provide infinitely many examples in which an alphabet of just four input patterns cannot be stably coded without the 2/3 Rule. The numbers 1, 2, 3, ... listed in the second column itemize the presentation order. The third column, labeled BU for Bottom-Up, describes the input pattern that was presented on each trial. In both Figures 7A and 7B, the input patterns were periodically presented in the order ABCAD. Each of the Top-Down Template columns in Figure 7 corresponds to a different node in F 2 , with column 1 corresponding to node v.. , column 2 corresponding to node v 2 , and so on. Each row summarizes the network response to its input pattern. The symbol RES, which stands for resonance, designates the node in F 2 which codes the input pattern on that trial. For example, v 2 codes pattern C on trial 3, and v. codes pattern B on trial 7. The patterns in a given row describe the templates after learning has occurred on that trial. In Figure 7A, input pattern A is periodically recoded: On trial 1, it is coded by v.; on trial 4, it is coded by v 2 ; on trial 6, it is coded by v. ; on trial 9, it is coded by v 2 . This alternation in the nodes v 1 and v 2 which code pattern A repeats indefinitely. Violation of the 2/3 Rule occurs on trials 4, 6, 8, 9, and so on. This violation is illustrated by comparing the template of v 2 on trials 3 and 4. On trial 3, the template of v 2 is coded by pattern C, which is a subset of pattern A. On trial 4, pattern A is presented and directly activates node v 2 . Because the 2/3 Rule does not hold, pattern A remains supraliminal, that is above threshold, in F, even after the subset template C is read-out from v 2 . Thus no search is elicited by the mismatch of pattern A and its subset template C. Consequently the template of v 2 is recoded from pattern C to its superset pattern A. In Figure 7B, by contrast, the 2/3 Rule does hold due to a larger choice of the attentional gain control parameter. Thus the network experiences a sequence of recodings that ultimately stabilizes. In particular, on trial 4, node v 2 reads-out the subset template C, which mismatches the input pattern A. The numbers beneath the template symbols in row 4 describe the order of search. First, v 2 's template C mismatches A. Then v. 's template B mismatches A. Finally A activates the uncommitted node v.. , which resonates with F. as it learns the template A. Scanning the rows of Figure 7B, we see that pattern A is coded by v., on trial 1; by v. on trials 4 and 6; and by v. on trial 9. On all future trials, input pattern A is coded by v.. Moreover, all the input patterns A, B, C, and D have learned a stable code by trial 9. Thus the code self- stabilizes by the second run through the input list ABCAD. On trials 11 through 15, and on all future trials, each input pattern chooses a different node (A to v.; B to v.,; C to v_; D to v_) . Each pattern belongs to a separate category because the vigilance parameter discussed below was chosen to be large in this example. Moreover, after code learning stablizes, each input pattern directly activates its node in F 2 without undergoing any additional search. Thus after trial 9, only the "RES" symbol appears under the top-down templates. The patterns shown in any row between 9 and 15 provide a complete description of the learned code. Examples of how a novel exemplar can activate a previously learned category are found on trials 2 and 5 in Figures 7A and 7B. On trial 2, for example, pattern B is presented for the first time and directly accesses the category coded by v., which was previously learned by pattern A on trial 1. In terminology from artificial intelligence, B activates the same categorical "pointer," or "marker," or "index" as in A. In so doing, B does not change the categorical "index," but it may change the categorical template, which determines which input patterns will also be coded by this index on future trials. The category does not change, but its invariants may change. An example of how presentation of very different input patterns can influence the category of a fixed input pattern is found through consideration of trials 1, 4, and 9 in Figure 7B. These are the trials on which pattern A is recoded due to the intervening occurrence of other input patterns. On trial 1, pattern A is coded by v.. On trial 4, A is recoded by v g because pattern B has also been coded by v. and pattern C has been coded by v 2 in the interim. On trial 9, pattern A is recoded by v. both because pattern C has been recoded by v. and pattern D has been coded by v 2 in the interim. In all of these transitions, the global structure of the input pattern determines which F nodes will be activated, and global measures of pattern match at F- determine whether these nodes will be reset or allowed to resonate in STM. -33- Search of Subsets, Supersets, and Mixed Sets Before the code in Figure 7B finally stablizes, it searches the network in the order characterized by the values T.. We now described implications of this search order in a case of special interest, which includes the example described in Figure 7B. This is the case wherein parameter β in equation (9) is "small." By small, we mean that parameter β satisfies the inequality β < , - 115) l '* i_„ - 1 where IIImax. is the largest number of F-l nodes that are activated by any input pattern I. A. Subset Templates Suppose that there exist learned templates which are subsets of the input pattern I (Figure 6A) . Then, if inequality (15) holds, the first node in F 2 to be chosen corresponds to the largest subset template V. Whether or not template V can match the input I well enough to prevent STM reset of F 2 depends upon the orienting system 18 to be described, as well as upon how much smaller V is then I. If V=I, then reset never occurs. In this case, the Direct Access Rule implies that the node corresponding to V is chosen first. This node's template V covers I at F-. Consequently, no reduction in F. activity is caused by the 2/3 Rule, and STM reset does not occur. If the first chosen node does not cover I, then reset may occur. If reset does occur, then the network continues to search F 2 nodes which possess subset templates. Search order proceeds from larger to smaller subset templates. This search order follows from (9) because, whenever V • * α I, then , so that the order function T. satisfies T - °l v [ (16) ■ J ø+ |v 5 >f Thus the order in which subset templates are searched is determined by the relative sizes of V - *1 across all subset templates. Figure 7B illustrates these subset search properties. On trial 9, for example, in response to the input pattern A, the nodes corresponding to the subset templates C, B, and D are searched in order of decreasing template size, as in (14) . B. Superset Templates and No Mixed Templates Suppose that the network has searched all learned subset templates corresponding to the input pattern I. We now consider the subsequent search order by breaking up the possibilities into several cases. We suppose that no mixed templates have been learned, but that at least one superset template has been learned. Our main conclusion is that, if all subset templates have already been reset, then the system will code input I ising the F- node v. with the smallest superset template V ^ = V. Due to this coding event, V -* 1 will be recoded to V ( ^=VΩI--I (17) The network chooses the smallest superset template first because T . SLI± (18) J8 + |V | whenever VDI. Thus the smallest of the superset templates generates the largest bottom-up input T.. The network does not reset this choice because the superset template V completely covers the input pattern I at F.. By the 2/3 Rule, the F. activity pattern caused by I alone persists after the superset template takes effect. No reduction of F. activity is caused by the superset template. Hence its F 2 code is not reset by the orienting subsystem. Thus the same propoerty which guarantees stable choices in STM also implies that search ends if it can reach the smallest superset template. It remains to explain why subsets are searched before supersets, and why supersets are searched before uncommitted nodes. Given a subset template V and a superset template V ■ " of the input pattern I, (19) -36- and It follows from ( 15 ) , (19) , (20 ) , and (21) that T i > T j ' ( 22 ) and hence that subset templates are searched before superset templates. This property depends critically on the small choice of β in (18) . Nodes with superset templates are searched before uncommitted nodes due to the same property that guarantees direct access to perfectly coded nodes. We noted that initial bottom-up LTM values must be chosen small enough to permit direct access to nodes which perfectly code any input pattern. In particular, where z n is the maximal size of any initial bottom-up LTM trace, and α * (/3+|V I )~ is the learned LTM value corresponding to the superset template V ■ . The total bottom-up input to an uncommitted node in response to input I is thus at most Z n JlI, which is less than the total bottom-up input or|l| (/3+|V JI J )~ to a superset node v.. C. Superset Templates and Mixed Templates Suppose that the network has already searched its subset templates. Suppose also that both superset templates and mixed templates have previously been learned. We have shown that, if a node with a superset template is activated, then the input pattern will be coded by that node. In particular, the node's template will be recoded to match the input pattern perfectly. We now characterize the circumstances under which the network will search mixed templates before it searches superset templates. Consider nodes v. which code mixed templates V with resepct to the input pattern I. Also let v 3 be the smallest superset template corresponding to I. Then and A mixed template V will be searched before the superset template V - ■ ' if and only if Since a search always ends when a, superset node is chosen, only nodes v. whose mixed templates satisfy (2β) can possibly be searched. These nodes are searched in order of decreasing |v Ωll |v j . If two nodes have the same ratio, then the one with the larger mixed template is searched first. If the search reaches the node v. with the smallest superset template, then it terminates at v.. Suppose that the network has already searched its subset templates. Suppose that mixed templates, but no superset templates, have previously been learned. In this situation, the search can end by choosing either a node v. with a mixed template V or a node which has not previously been chosen. For example, a node v. with mixed template will be chosen before a new node if where z Q is the maximal initial size of the bottom-up LTM traces. Recall that for all templates V in order to enable perfectly coded nodes to be directly accessed. Inequality (28) can thus hold when Iv Ωll is not too much smaller than I. D. Neither Mixed Templates Nor Superset Templates In this case, after all subset nodes are searched, the previously uncommitted nodes are searched. Their initial bottom-up input sizes to F 2 depend upon the choice of initial LTM traces. Thus the order of search among the uncommitted nodes is determined by a random factor. The first un¬ committed node that is activated ends the search and codes the input pattern I. This is true because all initial top-down LTM traces are chosen large enough to satisfy the 2/3 Rule. In case there are no uncommitted nodes to be searched after all committed nodes are rejected, then the input pattern cannot be coded by the network. This property is a consequence of the network's ability to buffer, or protect, its codes against persistent recoding by unappropriate events. Figures 8 and 9 depict two coding sequences that illustrate the main points in the preceding discussion. In Figure 8, each of nine input patterns was presented once. We consider the order of search that occurred in response to the final input pattern I that was presented on trial 9. By trail 8, nodes v.. and v 2 had already encoded subset templates of this input pattern. On trial 9, these nodes were therfore searched in order of decreasing template size. Nodes v_, v., v.., and v g had encoded mixed templates of the input pattern. These nodes were searched in the order v.- , v.. , v.. This search order was not detemined by template size per se, but was rather governed by the ratio |v (l) Ωl| |v (l) | _1 in (27). These ratios for nodes v, , v_. and v. were 9/10, 14/16 and 7/8, respectively. Since 14/16 = 7/8, node v_. was searched before node v. because jv {5) | = 16 8 =|V (4) |. The mixed template node v- was not searched. After searching v-, the network activated the node v_ which possessed the smallest superset template. A comparison of rows 8 and 9 in column 7 shows how the superset template- of v_ was recoded to match the input pattern. Node v_ was searched before node v β because the ratio III |V (7) | _1 = 17/21 was larger thaniv (6) Ω l| |v (6) l -1 = 14/18. * The eight input patterns of Figure 9 were chosen to illustrate a search followed by coding of an uncommitted node. The last input pattern I in Figure 9 was the same as the last input pattern in Figure 8. In Figure 9, however, there were no superset templates corresponding to input pattern I. Consequently I was coded by a previously uncommitted node v g on trial 8. In particular, on trial 8 the network first searched the nodes with subset templates in the order v 2 ,. v... Then the mixed template nodes were searched in the order v. , v-, v.., v_. The mixed template node 3 was not searched because its template badly mismatched the input pattern I. Instead, the uncommitted node v„ was activated and learned a template that matched the input pattern. If parameter β is not small enough to satisfy inequality (18), then mixed templates or superset templates may be serched before subset templates. In all cases access of a perfectly coded pattern is achieved. The preceding discussion casts new light on the issue of how invariant properties of a category can persist even while new learning takes place. Two main cases need to be differentiated. In the first case, a novel input pattern is coded by a node whose bottom-up filter and top-down template have previously undergone learning. In the second case, a novel input pattern is coded by a previously unchosen node. Our remarks herein will focus on the first case. In this case, presentation of the novel input pattern does not immediately change the number of categories that are coded by the network, nor the set of nodes which code these categories in STM at F 2 . Output signals from F 2 generate the network's observable responses. Hence, in this case, the novel pattern is assimilated into the previously established set of categorical alternatives and observable responses. At least two different types of learning can accompany such an -assimilation process: learning that is external to the categorical recognition process and learning that is internal to this process. As an example of external learning, suppose that the novel input is associated with a different reinforcement schedule than previous inputs in the same category. New learning between the category in F- and reinforcement mechanisms may alter the network's response to all the inputs in the category. Thus the very fact of membership in the same category may force forgetting of old external contingencies as new category exemplars are associated with new external contingencies. As an example of internal learning, we consider the following facts. Even if a novel input pattern is coded by an "old" F 2 node, this input pattern may alter the bottom-up filter and top-down template corresponding to that node. In so doing, the novel input pattern may alter the categorical boundaries of the network as a whole. Input patterns which were coded by prescribed nodes on previous trials may no longer be coded by the sa es nodes when they are presented later on. Thus, even if the number of categories and their pathways to overt responses do not change, the categorical invariants may change. The 2/3 Rule implies, however, that the filters and templates of a category are subsets of all the input patterns that are coded by that category. Adding a new input pattern to a category through learning can.only refine further the filters and templates of the category. Thus, after a template becomes a subset of an input pattern by coding that pattern, the template remains a subset of the input pattern for all future time, no matter how many times the template is refined as other input patterns join the same category. As a template becomes progressively finer, the mismatch between the template and the largest input patterns coded by its category becomes progressively greater. If this mismatch becomes too great, then some of these large input patterns may eventually be recoded. For example, in Figure 7B, pattern B is coded by node v- ^ on trial 2, and no new categories are established. Later, however, when pattern A is next presented on trial 4, it can no longer adequately match the template from node v. , as it did after trial 1. Hence pattern A establishes a new category. Two main conclusions follow from these considerations. First, the code learning process is one of progressive refinement of distinctions. The distinctions that emerge are the resultant of all the input patterns which the network ever experiences, rather than of some preassigned features. Second, the matching process compares whole patterns, not just separate features. For example, two differenct templates may overlap an input pattern to F- at the same set of feature detectors, yet the network could reset the F 2 node of one template yet not reset the F 2 node of the other template. The degree of mismatch of template and input as a whole determines whether recoding will occur. Thus the learning of categorical invariants resolves two opposing tendencies. As categories grow larger, and hence code increasingly global invariants, the templates which define them become smaller, and hence base the code on sets of critical feature groupings. Described below is how these two opposing tendencies can be resolved, leading to dynamic equilibration, or self-stabilization, of recognition categories in response to a prescribed input environment. The next section describes how a sufficiently large mismatch between an input pattern and a template can lead to STM reset, while a sufficiently good match can terminate the search and enable learning to occur. Vigilance, Orienting, and Reset We now show how matching within the attentional subsystem at F.. determines whether or not the orienting subsystem A will be activated, thereby leading to reset of the attentional subsystem at F 2 . The orienting subsystem will only trigger reset of F 2 when the coincident pattern at F. indicates an inadequate coincidence and when an input I is received from the buffer 12. Requirement that an input pattern be received allows the §ystem to distinguish between a mismatch between an expected pattern and an input pattern and mere passive inactivity when no input pattern is received. On • the other hand, when an input is received and a sufficient coincident pattern is generated at F. , reset of F 2 by the orienting system A is inhibited by the coincident pattern. Suppose that a bottom-up input pattern has activated F. and blocked activation of A. Suppose, moreover, that F.. activates an F 2 node which reads-out a template that badly mismatches the bottom-up input at F-. Due to the 2/3 Rule, many of the F. nodes which were activated by the bottom-up input alone are suppressed by the top-down template. -45- Suppose that this mismatch event causes a large collapse in the total activity across F-, and thus a large reduction in the total inhibition which F. delivers to A. If this reduction is sufficiently large, then the excitatory bottom-up input to A may succeed in generating a nonspecific reset signal from A to F-. In order to characterize when a reset signal will occur, we make the following natural assumptions. Suppose that an input pattern I sends positive signals to |l{ nodes of F, . Since every active input pathway projects to A, I generates a total input to A that is proportional to j I | • We suppose that A reacts linearly to the total input ' jll. We also assume that each active F. node generates an inhibitory signal of fixed size to A. Since every active F. node projects to A, the total inhibitory input 61Xl from f- to A is proportional to the number X of active F. nodes. When yjl|>δ|x|, A receives a net excitatory signal and generates a nonspecific reset signal to F 2 . In response to a bottom-up input pattern I of size |l| and prior to receipt of an expected pattern at F.. , the total inhibitory input from F. to A equals δllt so the net input to A equals (T-δ) ll|. In order to prevent A from firing in this case, we assume that δ≥Υ. We call _ y (30) the vigilance parameter of the orienting subsystem. The constraints δ≥Y≥0 are equivalent to O≤P≤ l . The size of p determines the proporation of the input pattern which must be matched in order to prevent reset. When both a bottom-up input I and a top-down template V J are simultaneously active, the 2/3 Rule implies that the total inhibitory signal from F- to A equals δ|v ^ Ωij . In this case, the orienting subsystem is activated only if that is, if The function which determines whether or not F 2 will be reset in response to an input pattern I is called the Reset Function. Inequality (32) shows that the Reset Function should be defined as follows: R = _ |_V__ (j) __Ω__l__l__ (33) The Reset Function R. and the Order Function determine how the search will proceed. This line of argument can be intuitively recapitulated as follows. Due to the 2/3 Rule, a bad mismatch at F- causes a large collapse of total F. activity, which leads to activation of A. In order for this to happen, the system must maintain a measure of the prior level of total F. activity. The criterion level is computed by summing bottom-up inputs at A. This sum can provide a criterion because it is proportional to the intitial activation of F. by the bottom-up input, and yet it remains unchanged as the matching process unfolds in real-time. We now indicate how the network automatically rescales its noise criterion as the complexity of the input pattern varies. In particular, even with fixed parameters, the network can tolerate larger mismatches in response to larger input patterns. Suppose, for example, that the network processes two input patterns at different times. One input pattern I activates just a few F, feature detectors. Whereas the other input pattern I (2) activates many F- feature detectors; that is, |l (1) l <|l (2) | . (34) Suppose, moreover, that I activates the F 2 node _ ^ . I (*2) acti.vates the F- > node v 2 , and that I ^'m' 1 '! = |v< 2 >n- <2 »l. (35) In other words, both input patterns overlap their templates by the same amount. Due to (34) , however, By inequalities (32) and (36) , the network is more (2) likely to reset in response to I than it is to reset v. in response to I (1) . Thus a fixed amount of match with a large input pattern provides less evidence for coding than the same amount of match with a small input pattern. If (35) holds, then the larger pattern I (2)' disagrees with the template at more features than does the smaller pattern I . Hence, by (31) , v 2 may be reset whereas v. may not be reset; this will, in fact, be the case when p lies between R. and R-. The rescaling property shows that the network processes input patterns as a whole. The functional units of the network are activation patterns across a field of feature detectors, rather than individual activations of feature detectors. If the network does not reset v. in response to I (1) , then the template of v. is refined to equal the intersection V 'ΩI . In other words, given that the network accepts the evidence that I should be coded by v., it then suppresses as noise the features at which I ' disagrees with V , both in STM and in LTM. Using this property, the network can also distinguish finer differences between small input patterns than between large input patterns. Suppose that the amount of mismatch between a small input pattern I and its template V equals the amount of mismatch between a large input pattern I (2) and its template V 12) '; that is, . ( Dl jv< 1 > n ι< 1 >/ = lι< 2 >i -|V 2) ΩI (2 . (37) By (34) and (37) , Thus v. is more likely to be reset by I than is v 2 to be reset by I ('2)'. This shows that a fixed amount of mismatch offers more evidence for reset when the input pattern is simple than when it is complex. Otherwise expressed, since the network is reset by smaller mismatches when processing smaller input patterns, it automatically makes finer distinctions between smaller input patterns than between larger input patterns. The simulation in Figure 10 illustrates how the network automatically rescales its matching criterion. On the first four presentations, the patterns are presented in the order ABAB. By trial 2, coding is complete. Pattern A directly accesses node v. on trial 3, and pattern B directly accesses node v 2 on trial 4. Thus patterns A and B are coded within different categories. On trials 5-8, patterns C and D are presented in the order CDCD. Patterns C and D are constructed form patterns A and B, respectively, by adding identical upper halves to A and B. Thus, pattern C differs from pattern D at the same locations where pattern A differs from pattern B. However, because patterns C and D represent many more active features than patterns A and B, the difference between C and D is treated as noise, whereas the difference between A and B is considered significant. In particular, both patterns C and D are coded within the same category on trials 7 and 8. The network's different categorization of patterns A and B vs. patterns C and D can be understood as follows. The core issue is: why on trial 2 does B reject the node v.. which has coded A, whereas D on trial 6 accepts the node v.. which has coded C? This occurs despite the fact that the mismatch between B and V equals the mismatch between D and V (3) : [B|-|V (1) Ω Bj= 3 =|D|- |V (3) ΩD), (39) as in equation (37) . The reason can be seen by comparing the relevant reset functions: ]vlϋnBl__8. 1B |B| 11 and In this simulation, the vigilance parameter p = .8. Thus R 1B < P < R 3D * ( 42 ) By (32) , pattern B resets v.. , but D does not reset v_. Consequently, B is coded by a different category than A, whereas D is coded by the same category as C. As noted, given each fixed vigilance level, the network automatically rescales its sensitivity to patterns of variable complexity. Also, changes in the vigilance level can regulate the coarseness of the categories that are learned in response to a fixed sequence of input patterns. A low vigilance level leads to learning of coarse categories, whereas a high vigilance level leads to learning of fine categories. Suppose, for example, that a low vigilance level has led to a learned grouping of inputs which need to be distinguished for successful adaptation to a prescribed input environment. Suppose, moreover, that a punishing event occurs through input 50 as a consequence of this erroneous grouping. Such a punishing event may have multiple effects. In addition to its negative reinforcing effects, we suppose that it also has a direct cognitive effect; namely, it increases attentive sensitity to the environment. Such an increase in sensitivity is modelled within the network by an increase in the vigilance parameter, P. Increasing this single parameter enables the network to discriminate patterns which previously were lumped together. Once these patterns are coded by different categories in F 2 , the different categories can be associated with different behavioral responses. In this way, environmental feedback such as a punishing event can act as a "teacher" for a self-organizing recognition system. This teaching function does not take the form of an algorithm or any other type of pattern-specific information. Rather, it sets a single nonspecific parameter whose interaction with the internal organization of the network, enables the network to parse more finely whatever input patterns happen to occur. The vigilance parameter will be increased, for example, if all the signals from the input pattern to A are nonspecifically amplified, so that parameter increases. A nonspecific decrease in the size of signals δ from F« to A will also increase P. Alternatively, reinforcement-activated nonspecific excitatory input to A can also facilitate mismatch-mediated activation of A. The process whereby the level of vigilance is monitored is one of the three types of nonspecific arousal that exist within the network. Figure 11 describes a series of simulations in which four input patterns. A, B, C, D, are coded by a network with four nodes in F-. In this simulation, A σ B G C G D. The different parts of the figure show how categorical learning changes with changes of P. The simulation shows that any consecutive pair of patterns, (A,B) , (B,C), (C,D) , can be coded in the same category at different vigilance levels. When P= .8 (Figure 11A) , four categories are learned: (A) (B) (C) (D) . When P = .7 (Figure 11B) , three categories are learned: (A) (B) (C,D) . When P= .6 (Figure 11C) , three different categories are learned: (A) (B,C) (D). When P = .5 (Figure 11D) , two categoreies are learned: (A,B) (C,D) . When P = .3 (Figure HE) , two different categories are learned: (A,B,C) (D) . When P = .2 (Figure 11F) , all the patterns are lumped together into a single category. In order to illustrate how such a network codifies a more complex series of patterns, we show in Figure 12 the first 20 trials of a simulation using alphabet letters as input patterns. In Figure 12A, the vigilance parameter P= .5. In Figure 12B, P = .8. Three properties are notable in these simulations. First, choosing a differnt vigilance parameter can determine different coding histories, such that higher vigilance induces coding into finer categories. Second, the network modifies its search order on each trial to reflect the cumulative effects of prior learning, and bypasses the orienting system to directly access categories after learning has taken place. Third, the templates of coarser categories tend to be more abstract because they must approximately match a larger number of input pattern exemplars. Given P= .5, the network groups the 26 letter patterns into eight stable categories within three presentations. In this simulation, F 2 contains 15 nodes. Thus 7 modes remain uncoded because the network self-stabilizes its learning after satisfying criteria of vigilance and global code self-consistency. Given p = .8 and 15 F- nodes, the network groups 25 of the 26 letters into 15 stable categories within 3 presentations. The 26th letter is rejected by the network in order to self-stablize its learning while satisfying its criteria of vigilance and global code self-consistency. These simulations show that the network's use of processing resources depends upon an evolving dynamic organization with globally- context-sensitive properties. This class of networks is capable of organizing arbitrary sequences of arbitrarily complex input patterns into stable categories subject to the constraints of vigilance, global code self-consistency, and number of nodes in F- and F-,. If slow learning rather than fast learning rates are used, then the categorical code may be learned more slowly but it still enjoys the critical properties just listed. While this invention has been particularly shown and described with references to preferred embodiments thereof, it will be understood by those skilled in the art that various changes in form and details may be made therein without departing from the spirit and scope of the invention as defined by the appended claims.

Claims: CLAIMS 1. A self-organizing pattern recognition system comprising: input means for providing a plurality of input elements of an input pattern; adaptive filter means for individually weighting the input elements relative to each of a plurality of categories and for providing, relative to each category, a category selection indication representing a combination of weighted elements for selecting at least one selected category; template means for defining an expected pattern corresponding to the at least one selected category; means for detecting a sufficient coincidence between the input pattern and the expected pattern; and means for modifying the adaptive filter means and the expected pattern relative to the at least one selected category where the sufficient coincidence is detected, to retain elements in common with the input pattern and expected pattern and to deemphasize all other elements, and for selecting an alternative category without immediate modification of the adaptive filter means and template means where a sufficient coincidence is not detected, the alternative category then serving to generate, through the template means, an alternative expected pattern to be compared to the input pattern. 2. A system as claimed in Claim 1 wherein the means for detecting the sufficient coincidence weighs a coincidence between the patterns relative to pattern complexity. 3. A system as claimed in Claim 2 wherein the coincidence is determined from a coincident pattern which is an intersection between the input pattern and the expected pattern. 4. A system as claimed in Claim 3 wherein the means for detecting the coincidence comprises means for determining the number of elements in the coincident pattern relative to the number of elements in the input pattern. 5. A system as claimed in Claim 3 wherein the means for modifying includes means for reducing to about zero the weighting of elements, relative to the selected category, which are not in the coincident pattern. 6. A system as claimed in Claim 3 wherein the coincident pattern is the input pattern when no expected pattern is generated and the coincident pattern is contained within the intersection between the input pattern and the expected pattern when an expected pattern is received. 7. A system as claimed in Claim 6 wherein the elements of the patterns are of binary values and the coincident pattern is the intersection between the input pattern and the expected pattern when an expected pattern is received. 8. A system as claimed in Claim 3 wherein the predetermined coincidence is detected when the number of elements in the coincident pattern relative to the number of elements in the input pattern is greater than or equal to a vigilance parameter. 9. A system as claimed in Claim 8 wherein the selection means selects a category according to an order function defined as the ratio of (a) the product of a constant a and the number of elements in the coincident pattern to (b) the sum of a constant β and the number of elements in the expected pattern. 10. A system as claimed in Claim 1 wherein the selection means selects only the single category having the largest sum of weighted input elements. 11. A system as claimed in Claim 1 wherein the means for modifying modifies the weighting of the input elements in the adaptive filter to a degree inversely related to the number of elements in the intersection between the input pattern and the expected pattern. -58- 12. A system as claimed in Claim 11 wherein the inverse relationship is of the form a , ■ « β + |IOV i:) '| 13. A system as claimed in Claim 12 wherein β is small. 14. A system as claimed in Claim 12 wherein the initial weighting of all possible elements is low and the initial templates include substantially all possible elements from each of substantially all possible categories. 15. A system as claimed in Claim 14 wherein different initial weighting is provided to each possible category. - 16. A system as claimed in Claim 1 further comprising means for changing the sufficient coincidence of the input pattern and the expected pattern which results in modification of the adaptive filter means and the template means. 17. A system as claimed in Claim 1 further comprising means for defining an expected pattern prior to receipt of an input pattern by the system to anticipate an input pattern of the category corresponding to the expected pattern. 18. A self-organizing pattern recognition system comprising: input means for providing a plurality of input elements of an input pattern; adaptive filter means for individually weighting the input elements relative to each of a plurality of categories and for providing, relative to each category, a category selection indication representing a combination of weighted elements for selecting at least one selected category; template means for defining an expected pattern corresponding to the at least one selected category; means for detecting a sufficient coincidence between the input pattern and the expected pattern by weighing a coincidence between the patterns relative to the complexity of the input pattern; means for modifying the adaptive filter means and the expected pattern relative to the at least one selected category, where the sufficient coincidence is detected, and for selecting an alternative category without immediate modification of the adaptive filter means and template means where a sufficient coincidence is not detected, the alternative category then serving to generate, through the template means, an alternative expected pattern to be compared to the input pattern. 19. A system as claimed in Claim 18 wherein the coincidence is determined from a coincident pattern which is an intersection between the input pattern and the expected pattern. 20. A system as claimed in Claim 19 wherein the means for detecting the coincidence comprises means for determining the number of elements in the coincident pattern relative to the number of elements in the input pattern. 21. A system as claimed in Claim 19 wherein the coincident pattern is the input pattern when no expected pattern is generated and the coincident pattern is contained within the intersection between the input pattern and the . expected pattern when an expected pattern is received. 22. A system as claimed in Claim 19 wherein the predetermined coincidence is detected when the number of elements in the coincident pattern relative to the number of elements in the input pattern is greater than or equal to a vigilance parameter. 23. A system as claimed in Claim 22 wherein the selection means selects a category according to an order function defined as the ratio of (a) the product of a constant and the number of elements in the coincident pattern to (b) the sum of a constant β and the number of elements in the expected pattern. 24. A self-organizing pattern recognition system comprising: input means for providing a plurality of input elements of an input pattern; adaptive filter means for individually weighting the input elements relative to each of a plurality of categories and for providing, relative to each category, a category selection indication representing a combination of weighted elements for selecting at least one selected category; template means for defining an expected pattern corresponding to the at least one selected category; means for detecting a sufficient coincidence between the input pattern and the expected pattern by weighing a coincidence between the patterns relative to the complexity of the input pattern; and means for modifying the adaptive filter means and the expected pattern relative to the at least one selected category where the sufficient coincidence is detected, to modify weighting of input elements in common with the input pattern and expected pattern to a degree inversely related to the number of elements in the intersection between the input pattern and the expected pattern and to deemphasize all other elements, and for selecting an alternative category without immediate modification of the adaptive filter means and template means where a sufficient coincidence is not detected, the alternative category then serving to generate, through the template means, an alternative expected pattern to be compared to the input pattern. 25. A system as claimed in Claim 24 wherein the initial weighting of all possible elements is low and the initial templates include sub¬ stantially all possible elements from each of substantially all possible categories. 26. A system as claimed in Claim 24 wherein the coincident pattern is the input pattern when no expected pattern is generated and the coin¬ cident pattern is contained within the inter¬ section between the input pattern and the expected pattern when an expected pattern is received. 27. A system as claimed in Claim 24 further comprising means for defining an expected pattern prior to receipt of an input pattern by the system to anticipate an input pattern of the category corresponding to the expected pattern. 28. A method of categorizing patterns comprising: individually weighting input elements of an input pattern relative to each of a plurality of categories and selecting at least one category based on combinations of weighted elements; defining an expected pattern corresponding to the at least one selected category; detecting a sufficient coincidence between the input pattern and the expected pattern; and modifying the weighting of the input elements and the expected pattern relative to the at least one selected category where sufficient coincidence is detected to retain elements in common with the input pattern and expected pattern and to deemphasize all other elements, and selecting an alternative category without immediate modification of the weighting and expected pattern where sufficient coin- cidence is not detected. 29. A method as claimed in Claim 28 wherein the sufficient coincidence is detected by weighing a coincidence between the patterns relative to pattern complexity. 30. A method as claimed in Claim 29 wherein the weighting of the input elements is modified to a degree inversely related to the number of elements in the intersection between the input pattern and the expected pattern. 31. A method of categorizing patterns comprising: individually weighting input elements of an input pattern relative to each of a plurality of categories and selecting at least one category based on combinations of weighted elements; defining an expected pattern corresponding to the at- least one selected category; detecting a sufficient coincidence between the input pattern and the expected pattern by weighing a coincidence between the patterns relative to the complexity of the input pattern; and modifying the weighting of the input elements and the expected pattern relative to the at least one selected category where sufficient coincidence is detected and selecting an alternative category without immediate modification of the weighting and expected pattern where sufficient coincidence is not detected.

Inventors: CARPENTER GAIL A, GROSSBERG STEPHEN, CARPENTER, GAIL, A., GROSSBERG, STEPHEN
Applicants: UNIV BOSTON, THE TRUSTEES OF BOSTON UNIVERSITY
Application year: 1986
Main classification: G06K9
IPC codes: G06F15, G06K9, G06N3, G06T7