A symbolic computer model, employing the perceptual strategy, is presented for solving Tower of Hanoi problems. The model is calibrated—in terms of the number of problems solved, time taken, and number of moves made—to the performance of 20 normal subjects. It is then “lesioned” by increasing the decay rate of elements in working memory to model the performance of 20 patients with lesions to the prefrontal cortex. The model captures both the main effects of subject groups (patients and (...) normal controls) performance, and the subject groups (patients and normal controls) by problem difficulty interactions. This leads us to support the working memory hypothesis of frontal lobe functions, but for a narrow range of problems. (shrink)

Increasing working memory (WM) capacity is often cited as a major influence on children's development and yet WM capacity is difficult to examine independently of long‐term knowledge. A computational model of children's nonword repetition (NWR) performance is presented that independently manipulates long‐term knowledge and WM capacity to determine the relative contributions of each in explaining the developmental data. The simulations show that (a) both mechanisms independently cause the same overall developmental changes in NWR performance, (b) increase in long‐term knowledge (...) provides the better fit to the child data, and (c) varying both long‐term knowledge and WM capacity adds no significant gains over varying long‐term knowledge alone. Given that increases in long‐term knowledge must occur during development, the results indicate that increases in WM capacity may not be required to explain developmental differences. An increase in WM capacity should only be cited as a mechanism of developmental change when there are clear empirical reasons for doing so. (shrink)

In the field of economic analysis, computability in the formation of economic hypotheses is seen as the way forward. In this book, Professor Velupillai implements a theoretical research program along these lines. Choice theory, learning rational expectations equlibria, the persistence of adaptive behaviour, arithmetical games, aspects of production theory, and economic dynamics are given recursion theoretic interpretations. These interpretations lead to new kinds of questions being posed by the economic theorist. In particular, recurison theoretic decision problems replace standard optimisation paradigms (...) in economic analysis. Economic theoretic questions, posed recursion-theoretically, lead to answers that are ambiguous: undecidable choices, uncomputable learning processes, and algorithmically unplayable games become standard answers. Professor Velupillai argues that a recursion theoretic formalisation of economic analysisComputable Economicsmakes the subject intrinsically inductive and computational. (shrink)

This study presents a process model of very long‐term episodic memory. The process presented is a reconstructive process. The process involves application of three kinds of reconstructive strategies—component‐to‐context instantiation strategies, component‐instantiation strategies, and context‐to‐context instantiation strategies. The first is used to direct search to appropriate conceptual categories in memory. The other two are used to direct search within the chosen conceptual category. A fourth type of strategy, called executive search strategies, guide search for concepts related to the one (...) targeted for retrieval.A conceptual memory organization implied by human reconstructive memory is presented along with examples which motivate it. A basic retrieval algorithm is presented for traversing that stucture. Retrieval strategies arise from failures in that algorithm. The memory organization and retrieval processes are implemented in a computer program called CYRUS which stores events in the lives of former Secretaries of State Cyrus Vance and Edmund Muskie and answers questions posed in English concerning that information. Examples which motivate the process model are drawn from protocols of human memory search. Examples of CYRUS's behavior demonstrate the implemented process model. Conclusions are drawn concerning retrieval failures and the relationship of episodic and semantic memory. (shrink)

Memory, attention, and decision-making are three major areas of cognitive neuroscience. They are however frequently studied in isolation, using a range of models to understand them. This book brings a unified approach to understanding these three processes, showing how these fundamental functions can be understood in a common and unifying framework.

Computational methods and perspectives can transform the history of science by enabling the pursuit of novel types of questions, dramatically expanding the scale of analysis , and offering novel forms of publication that greatly enhance access and transparency. This essay presents a brief summary of a computational research system for the history of science, discussing its implications for research, education, and publication practices and its connections to the open-access movement and similar transformations in the natural and social sciences that emphasize (...) big data. It also argues that computational approaches help to reconnect the history of science to individual scientific disciplines. (shrink)

In this paper, I present an overview of personal and intimate technologies within a pedagogical context. I describe two courses that I have developed for Computation Arts at Concordia University: “Tangible Media and Physical Computing” and “Second Skin and Soft Wear.” Each course deals with different aspects of physical computing and tangible media in a Fine Arts context. In both courses, I introduce concepts of soft computation and intimate reactive artifacts as artworks. I emphasize the concept of memory (contrasting (...) computer memory and personal, interpretive memory), and explore how responsive or interactive objects can create a new medium for annotating architectural space and objects, for leaving traces of presence, and for recording personal histories. At the core of this pedagogical practice is a strong emphasis on engaging a vulnerable, personal approach to working with electronics and physical computation. To contextualize the teaching practice, I begin by presenting some of my own research projects developed at Extra Soft Labs (also known as XS Labs), then segue into a detailed discussion of these two classes, and conclude with a discussion of some student work. (shrink)

It is well known that working memory performance changes with age. Two recent computational models of working memory, TBRS* and SOB-CS, developed from young adults WM performances are opposed regarding the postulated causes of forgetting, namely time-based decay and interference for TBRS* and SOB-CS, respectively. In the present study, these models are applied on a set of complex span data produced by young and older adults. As expected, these models are unable to account for the older adult data. (...) An investigation on the effect of the main parameters of these models showed that the poorer performance of older adults does not come from a weaker encoding of item but rather from difficulties during the free time that immediately follows each distractor, as well as from a higher level of confusion between items. These results are discussed with respect to the current theories of working memory and aging. (shrink)

One challenge to creating realistic cognitive models of memory is the inability to account for the vast common–sense knowledge of human participants. Large computational knowledge bases such as WordNet and DBpedia may offer a solution to this problem but may pose other challenges. This paper explores some of these difficulties through a semantic network spreading activation model of the Deese–Roediger–McDermott false memory task. In three experiments, we show that these knowledge bases only capture a subset of human associations, (...) while irrelevant information introduces noise and makes efficient modeling difficult. We conclude that the contents of these knowledge bases must be augmented and, more important, that the algorithms must be refined and optimized, before large knowledge bases can be widely used for cognitive modeling. (shrink)

Recent advances in philosophical thinking about consciousness, such as cognitive phenomenology and mereological analysis, provide a framework that facilitates using computational models to explore issues surrounding the nature of consciousness. Here we suggest that, in particular, studying the computational mechanisms of working memory and its cognitive control is highly likely to identify computational correlates of consciousness and thereby lead to a deeper understanding of the nature of consciousness. We describe our recent computational models of human working memory and (...) propose that three computational correlates of consciousness follow from the results of this work: itinerant attractor sequences, top-down gating, and very fast weight changes. Our current investigation is focused on evaluating whether these three correlates are sufficient to create more complex working memory models that encompass compositionality and basic causal inference. We conclude that computational models of working memory are likely to be a fruitful approach to advancing our understanding of consciousness in general and in determining the long-term potential for development of an artificial consciousness specifically. (shrink)

Computational models of memory presented in this issue reflect varied empirical data and levels of representation. From mathematical models to neural and cognitive architectures, all aim to converge on a unified theory of the mind.

We compared the processing of natural language quantifiers in a group of patients with schizophrenia and a healthy control group. In both groups, the difficulty of the quantifiers was consistent with computational predictions, and patients with schizophrenia took more time to solve the problems. However, they were significantly less accurate only with proportional quantifiers, like more than half. This can be explained by noting that, according to the complexity perspective, only proportional quantifiers require working memory engagement.

Theory of Mind (ToM), the cognitive capacity to attribute internal mental states to oneself and others, is a crucial component of social skills. Its formal study has become important, witness recent research on reasoning and information update by intelligent agents, and some proposals for its formal modelling have put forward settings based on Epistemic Logic (EL). Still, due to intrinsic idealisations, it is questionable whether EL can be used to model the high-order cognition of ‘real’ agents. This manuscript proposes a (...) framework that takes visibility, memory, perspective and communication as the main factors underpinning mental attributions. This is more in-line with findings in cognitive science and allows us to model well-known False-Belief Tasks that are typically used in testing people's ToM. We discuss some of the framework's technical features, arguing why it does justice to empirical observations. (shrink)

There is a popular hypothesis that performance on implicit and explicit memory tasks reflects 2 distinct memory systems. Explicit memory is said to store those experiences that can be consciously recollected, and implicit memory is said to store experiences and affect subsequent behavior but to be unavailable to conscious awareness. Although this division based on awareness is a useful taxonomy for memory tasks, the authors review the evidence that the unconscious character of implicit memory (...) does not necessitate that it be treated as a separate system of human memory. They also argue that some implicit and explicit memory tasks share the same memory representations and that the important distinction is whether the task (implicit or explicit) requires the formation of a new association. The authors review and critique dissociations from the behavioral, amnesia, and neuroimaging literatures that have been advanced in support of separate explicit and implicit memory systems by highlighting contradictory evidence and by illustrating how the data can be accounted for using a simple computational memory model that assumes the same memory representation for those disparate tasks. (shrink)

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, (...) class='Hi'>computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. (shrink)

Memory is studied at a bewildering number of levels, with a vast array of methods, and in a daunting range of disciplines and subdisciplines. Is there any sense in which these various memory theorists – from neurobiologists to narrative psychologists, from the computational to the cross-cultural – are studying the same phenomena? In this exploratory position paper, I sketch the bare outline of a positive framework for understanding current work on constructive remembering, both within the various cognitive sciences, (...) and across gulfs between the cognitive and the social sciences. I pinpoint some lines of psychological theory and research which offer promising and compatible ways of thinking about individual memory and shared or social memory simultaneously. These are obviously ambitious projects, and this paper seeks more to elicit help with forging these connections than to present firm results. The aim is to draw out some consequences of empirical work on social memory and in developmental psychology. (shrink)

The paper presents a study examining the role of working<br>memory in quantifier verification. We created situations similar to the<br>span task to compare numerical quantifiers of low and high rank, parity<br>quantifiers and proportional quantifiers. The results enrich and support<br>the data obtained previously in and predictions drawn from a computational<br>model.

As part of the development of the Symbolic and Sub-symbolic Robotics Intelligence Control System, we have implemented a memory store to allow a robot to retain knowledge from previous exp...

This book represents the views of one of the greatest mathematicians of the twentieth century on the analogies between computing machines and the living human brain.

‘External memories’ raise a question about context: ‘external to what?’ External memory is a technical term applied to everything that can be memorized in an individual's environment. As a general rule I have decided to retain the technical terms that characterize the area of the topic under discussion. It was Ted Nelson who coined the word hypertext in 1967 to signify non-sequential writing as well as a computer technology that allowed the user to move about freely by means (...) of software links. I shall use the term software to mean computer programs. Electronic publishing started with the Xanadu system developed by Nelson. At the lowest level a hypertext is a system for managing databases that allows the user to connect together information screens using links. It is a collection of texts interconnected by means of interactive switches. This dynamic presentation of non-linear texts could not be printed on a conventional page. Hypertext allows the origin of a piece of information to be traced. In this article traceability is synonymous with explanation: ‘Why was this equipment designed in one way rather than another?’ It is about discovering the route of the design process that led to the eventual idea for the equipment. The necessary explanations are often required long after decisions were made, and this is why traceability is a matter of memory. The term agent is often used to mean those members of a community that act on its behalf. There are agents for a company or public department. There are biological agents. In a non-technological world traceability is ideally carried out by human agents who explain to other human agents. The term agent has been extended into the computer world to mean software to which the user delegates, sometimes unwittingly, tasks of varying complexity. These are then called software agents. In this article I refer to agent in its wider meaning, to be understood as an actor or an entity able to act in a limited context and having a quite specific role and appropriate resources. (shrink)

We present a computational evaluation of three hypotheses about sources of deficit in sentence comprehension in aphasia: slowed processing, intermittent deficiency, and resource reduction. The ACT-R based Lewis and Vasishth model is used to implement these three proposals. Slowed processing is implemented as slowed execution time of parse steps; intermittent deficiency as increased random noise in activation of elements in memory; and resource reduction as reduced spreading activation. As data, we considered subject vs. object relative sentences, presented in a (...) self-paced listening modality to 56 individuals with aphasia and 46 matched controls. The participants heard the sentences and carried out a picture verification task to decide on an interpretation of the sentence. These response accuracies are used to identify the best parameters that correspond to the three hypotheses mentioned above. We show that controls have more tightly clustered parameter values than IWA; specifically, compared to controls, among IWA there are more individuals with slow parsing times, high noise, and low spreading activation. We find that individual IWA show differential amounts of deficit along the three dimensions of slowed processing, intermittent deficiency, and resource reduction, overall, there is evidence for all three sources of deficit playing a role, and IWA have a more variable range of parameter values than controls. An important implication is that it may be meaningless to talk about sources of deficit with respect to an abstract verage IWA; the focus should be on the individual's differential degrees of deficit along different dimensions, and on understanding the causes of variability in deficit between participants. (shrink)

The Hard Question of memory is the following: how are memory representations stored and organized so as to be made available for retrieval in the appropriate circumstances and format? In this essay, I argue that philosophical theories of memory should engage with the Hard Question directly and seriously. I propose that declarative memory is a faculty performing a kind of cognitive triage: management of information for a variety of uses under significant computational constraints. In such triage, (...) memory representations are preferentially selected and stabilized, but also systematically modified and integrated into generalized, model-like representational structures. Further, I propose a hybrid theory of remembering, which takes into account both the nature of the cognitive processes underlying remembering and the norms that govern representational success in relevant cognitive/epistemic contexts. (shrink)

All epistemic agents physically consist of parts that must somehow comprise an integrated cognitive self. Biological individuals consist of subunits (organs, cells, molecular networks) that are themselves complex and competent in their own context. How do coherent biological Individuals result from the activity of smaller sub-agents? To understand the evolution and function of metazoan bodies and minds, it is essential to conceptually explore the origin of multicellularity and the scaling of the basal cognition of individual cells into a coherent larger (...) organism. In this paper I synthesize ideas in cognitive science, evolutionary biology, and developmental physiology toward a hypothesis about the origin of Individuality: “Scale-Free Cognition”. I propose a fundamental definition of an Individual based on the ability to pursue goals at an appropriate level of scale and organization, and suggest a formalism for defining and comparing the cognitive capacities of highly diverse types of agents. Any Self is demarcated by a computational surface – the spatio-temporal boundary of events that it can measure, model, and try to affect. This surface sets a functional boundary - a cognitive “light cone” which defines the scale and limits of its cognition. I hypothesize that higher-level goal-directed activity and agency, resulting in larger cognitive boundaries, evolve from the primal homeostatic drive of living things to reduce stress – the difference between current conditions and life-optimal conditions. The mechanisms of developmental bioelectricity - the ability of all cells to form electrical networks that process information - suggests a plausible set of gradual evolutionary steps that naturally lead from physiological homeostasis in single cells to memory, prediction, and ultimately complex cognitive agents, via scale-up of the drive of infotaxis. Recent data on the molecular mechanisms of pre-neural bioelectricity suggest a model of how increasingly sophisticated cognitive functions emerge smoothly from cell-cell communication used to guide embryogenesis and regeneration. This set of hypotheses provides a novel perspective on numerous phenomena, such as cancer, and makes several unique, testable predictions for interdisciplinary research that have implications not only for evolutionary developmental biology but also for biomedicine and perhaps artificial intelligence and exobiology. (shrink)

``Neural computing'' is a research field based on perceiving the human brain as an information system. This system reads its input continuously via the different senses, encodes data into various biophysical variables such as membrane potentials or neural firing rates, stores information using different kinds of memories (e.g., short-term memory, long-term memory, associative memory), performs some operations called ``computation'', and outputs onto various channels, including motor control commands, decisions, thoughts, and feelings. We show a natural model of (...) neural computing that gives rise to hyper-computation. Rigorous mathematical analysis is applied, explicating our model's exact computational power and how it changes with the change of parameters. Our analog neural network allows for supra-Turing power while keeping track of computational constraints, and thus embeds a possible answer to the superiority of the biological intelligence within the framework of classical computer science. We further propose it as standard in the field of analog computation, functioning in a role similar to that of the universal Turing machine in digital computation. In particular an analog of the Church-Turing thesis of digital computation is stated where the neural network takes place of the Turing machine. (shrink)

Neural network models of memory are notorious for catastrophic interference: Old items are forgotten as new items are memorized (French, 1999; McCloskey & Cohen, 1989). While working memory (WM) in human adults shows severe capacity limitations, these capacity limitations do not reflect neural network style catastrophic interference. However, our ability to quickly apprehend the numerosity of small sets of objects (i.e., subitizing) does show catastrophic capacity limitations, and this subitizing capacity and WM might reflect a common capacity. Accordingly, (...) computational investigations (Knops, Piazza, Sengupta, Eger & Melcher, 2014; Sengupta, Surampudi & Melcher, 2014) suggest that mutual inhibition among neurons can explain both kinds of capacity limitations as well as why our ability to estimate the numerosity of larger sets is limited according to a Weber ratio signature. Based on simulations with a saliency map‐like network and mathematical proofs, we provide three results. First, mutual inhibition among neurons leads to catastrophic interference when items are presented simultaneously. The network can remember a limited number of items, but when more items are presented, the network forgets all of them. Second, if memory items are presented sequentially rather than simultaneously, the network remembers the most recent items rather than forgetting all of them. Hence, the tendency in WM tasks to sequentially attend even to simultaneously presented items might not only reflect attentional limitations, but also an adaptive strategy to avoid catastrophic interference. Third, the mean activation level in the network can be used to estimate the number of items in small sets, but it does not accurately reflect the number of items in larger sets. Rather, we suggest that the Weber ratio signature of large number discrimination emerges naturally from the interaction between the limited precision of a numeric estimation system and a multiplicative gain control mechanism. (shrink)