Open‐ended tasks can be decomposed into the three levels of Newell's Cognitive Band: the Unit‐Task level, the Operation level, and the Deliberate‐Act level. We analyzed the video game Co‐op Space Fortress at these levels, reporting both the match of a cognitive model to subject behavior and the use of electroencephalogram (EEG) to track subject cognition. The Unit Task level in this game involves coordinating with a partner to kill a fortress. At this highest level of the Cognitive Band, there is (...) a good match between subject behavior and the model. The EEG signals were also strong enough to track when Unit Tasks succeeded or failed. The intermediate Operation level in this task involves legs of flight to achieve a kill. The EEG signals associated with these operations are much weaker than the signals associated with the Unit Tasks. Still, it was possible to reconstruct subject play with much better than chance success. There were significant differences in the leg behavior of subjects and models. Model behavior did not provide a good basis for interpreting a subject's behavior at this level. At the lowest Deliberate‐Act level, we observed overlapping key actions, which the model did not display. Such overlapping key actions also frustrated efforts to identify EEG signals of motor actions. We conclude that the Unit‐task level is the appropriate level both for understanding open‐ended tasks and for using EEG to track the performance of open‐ended tasks. (shrink)

The human cognitive architecture consists of a set of largely independent modules associated with different brain regions. This book discusses in detail how these various modules can combine to produce behaviours as varied as driving a car and solving an algebraic equation.

This book is the first systematic account of the syntax and semantics of names. Drawing on work in onomastics, philosophy, and linguistics John Anderson examines the distribution and subcategorization of names within a framework of syntactic categories, and considers how the morphosyntactic behaviour of names connects to their semantic roles. He argues that names occur in two basic circumstances: one involving vocatives and their use in naming predications, where they are not definite; the other their use as arguments of (...) predicators, where they are definite. This division is discussed in relation to English, French, Greek, and Seri, and a range of other languages. Professor Anderson reveals that the semantic status of names, including prototypicality, is crucial to understanding their morphosyntax and role in derivational relationships. He shows that semantically coherent subsets of names, such as those referring to people and places, are characterized by morphosyntactic properties which may vary from language to language. His original and important investigation will appeal to scholars and advanced students of linguistics and philosophy. (shrink)

This book addresses fundamental issues in linguistic theory, including the relation between formal and cognitive approaches, the autonomy of syntax, the content of universal grammar, and the value of generative and functional approaches to grammar. It focuses on the grammar of case relations, signalled by morphological case, prepositions, and word order. Part I offers a critical history of modern grammars of case, focussing on the last four decades and setting this in the context of earlier, including ancient, developments. The subjects (...) considered include the evolution of ideas concerning deep structure and semantic and grammatical relations, and arguments for the maintenance of the traditional central position of case in the grammar. In parts II and III Professor Anderson examines the category of case and central unresolved issues in the grammar of case. The latter include questions relating to the idea of an ontologically-based grammar, particularly the degree to which syntactic categories and relationships are grounded in meaning, and the notion of linguistic creativity. This involves a consideration of the way in which cases may be identified and whether their distribution is determined through semantics. The book sheds new light on the interactions between meaning and grammar and on the structure and development of lexical and grammatical systems. The argument and its far-reaching consequences will be of wide interest to linguists, philosophers and others seeking to understand the workings of language. (shrink)

Studies in Empirical Philosophy was published in 1962 shortly after Anderson's death and had been prepared by him to include most of his published articles from the Australasian Journal of Philosophy and Psychology. It also includes a couple of articles written especially for the book. It remains the main published source of material on Anderson's systematic philosophy. John Passmore has kindly granted permission for his introduction to be included in this new release. John Anderson (1893-1962) was Challis Professor (...) of Philosophy at the University of Sydney from 1927 until 1958. He is generally regarded as the most important philosopher to have worked in Australia. His students included not only academic philosophers but also important figures in politics, law and journalism. His impact upon Sydney's social and cultural life was enormous. (shrink)

Multi-voxel pattern recognition techniques combined with Hidden Markov models can be used to discover the mental states that people go through in performing a task. The combined method identifies both the mental states and how their durations vary with experimental conditions. We apply this method to a task where participants solve novel mathematical problems. We identify four states in the solution of these problems: Encoding, Planning, Solving, and Respond. The method allows us to interpret what participants are doing on individual (...) problem-solving trials. The duration of the planning state varies on a trial-to-trial basis with novelty of the problem. The duration of solution stage similarly varies with the amount of computation needed to produce a solution once a plan is devised. The response stage similarly varies with the complexity of the answer produced. In addition, we identified a number of effects that ran counter to a prior model of the task. Thus, we were able to decompose the overall problem-solving time into estimates of its components and in way that serves to guide theory. (shrink)

We studied collaborative skill acquisition in a dynamic setting with the game Co-op Space Fortress. While gaining expertise, the majority of subjects became increasingly consistent in the role they adopted without being able to communicate. Moreover, they acted in anticipation of the future task state. We constructed a collaborative skill acquisition model in the cognitive architecture ACT-R that reproduced subject skill acquisition trajectory. It modeled role adoption through reinforcement learning and predictive processes through motion extrapolation and learned relevant control parameters (...) using both a reinforcement learning procedure and a new to ACT-R supervised learning procedure. This is the first integrated cognitive model of collaborative skill acquisition and, as such, gives us valuable insights into the multiple cognitive processes that are involved in learning to collaborate. (shrink)

Can the output of human cognition be predicted from the assumption that it is an optimal response to the information-processing demands of the environment? A methodology called rational analysis is described for deriving predictions about cognitive phenomena using optimization assumptions. The predictions flow from the statistical structure of the environment and not the assumed structure of the mind. Bayesian inference is used, assuming that people start with a weak prior model of the world which they integrate with experience to develop (...) stronger models of specific aspects of the world. Cognitive performance maximizes the difference between the expected gain and cost of mental effort. Memory performance can be predicted on the assumption that retrieval seeks a maximal trade-off between the probability of finding the relevant memories and the effort required to do so; in categorization performance there is a similar trade-off between accuracy in predicting object features and the cost of hypothesis formation; in casual inference the trade-off is between accuracy in predicting future events and the cost of hypothesis formation; and in problem solving it is between the probability of achieving goals and the cost of both external and mental problem-solving search. The implemention of these rational prescriptions in neurally plausible architecture is also discussed. (shrink)

The appropriate methodology for psychological research depends on whether one is studying mental algorithms or their implementation. Mental algorithms are abstract specifications of the steps taken by procedures that run in the mind. Implementational issues concern the speed and reliability of these procedures. The algorithmic level can be explored only by studying across-task variation. This contrasts with psychology's dominant methodology of looking for within-task generalities, which is appropriate only for studying implementational issues.The implementation-algorithm distinction is related to a number of (...) other “levels” considered in cognitive science. Its realization in Anderson's ACT theory of cognition is discussed. Research at the algorithmic level is more promising because it is hard to make further fundamental scientific progress at the implementational level with the methodologies available. Protocol data, which are appropriate only for algorithm-level theories, provide a richer source than data at the implementational level. Research at the algorithmic level will also yield more insight into fundamental properties of human knowledge because it is the level at which significant learning transitions are defined.The best way to study the algorithmic level is to look for differential learning outcomes in pedagogical experiments that manipulate instructional experience. This provides control and prediction in realistically complex learning situations. The intelligent tutoring paradigm provides a particularly fruitful way to implement such experiments.The implications of this analysis for the issue of modularity of mind, the status of language, research on human/computer interaction, and connectionist models are also examined. (shrink)

This article describes the path‐mapping theory of how humans integrate analogical mapping and general problem solving. The theory posits that humans represent analogs with declarative roles, map analogs by lower‐level retrieval of analogous role paths, and coordinate mappings with higher‐level organizational knowledge. Implemented in the ACT‐R cognitive architecture, the path‐mapping theory enables models of analogical mapping behavior to incorporate and interface with other problem‐solving knowledge. Path‐mapping models thus can include task‐specific skills such as encoding analogs or generating responses, and can (...) make behavioral predictions at the level of real‐world metrics such as latency or correctness. We show that the path‐mapping theory can successfully account for the major phenomena addressed by previous theories of analogy. We also describe a path‐mapping model that can account for subjects' incremental eye‐movement and typing behavior in a story‐mapping task. We discuss extensions and implications of this work to other areas of analogy and problem‐solving research. (shrink)

Newell proposed that cognitive theories be developed in an effort to satisfy multiple criteria and to avoid theoretical myopia. He provided two overlapping lists of 13 criteria that the human cognitive architecture would have to satisfy in order to be functional. We have distilled these into 12 criteria: flexible behavior, real-time performance, adaptive behavior, vast knowledge base, dynamic behavior, knowledge integration, natural language, learning, development, evolution, and brain realization. There would be greater theoretical progress if we evaluated theories by a (...) broad set of criteria such as these and attended to the weaknesses such evaluations revealed. To illustrate how theories can be evaluated we apply these criteria to both classical connectionism and the ACT-R theory. The strengths of classical connectionism on this test derive from its intense effort in addressing empirical phenomena in such domains as language and cognitive development. Its weaknesses derive from its failure to acknowledge a symbolic level to thought. In contrast, ACT-R includes both symbolic and subsymbolic components. The strengths of the ACT-R theory derive from its tight integration of the symbolic component with the subsymbolic component. Its weaknesses largely derive from its failure, as yet, to adequately engage in intensive analyses of issues related to certain criteria on Newell's list. Key Words: cognitive architecture; connectionism; hybrid systems; language; learning; symbolic systems. (shrink)

Much of cognitive psychology focuses on effects measured in tens of milliseconds while significant educational outcomes take tens of hours to achieve. The task of bridging this gap is analyzed in terms of Newell's (1990) bands of cognition—the Biological, Cognitive, Rational, and Social Bands. The 10 millisecond effects reside in his Biological Band while the significant learning outcomes reside in his Social Band. The paper assesses three theses: The Decomposition Thesis claims that learning occurring at the Social Band can be (...) reduced to learning occurring at lower bands. The Relevance Thesis claims that instructional outcomes at the Social Band can be improved by paying attention to cognition at the lower bands. The Modeling Thesis claims that cognitive modeling provides a basis for bridging between events on the small scale and desired outcomes on the large scale. The unit-task level, at the boundary of the Cognitive and Rational Bands, is useful for assessing these theses. There is good evidence for all three theses in efforts that bridge from the unit-task level to educational applications. While there is evidence for the Decomposition Thesis all the way down to the 10 millisecond level, more work needs to be done to establish the Relevance Thesis and particularly the Modeling Thesis at the lower levels. (shrink)

Cognitive architectures are theories of cognition that try to capture the essential representations and mechanisms that underlie cognition. Research in cognitive architectures has gradually moved from a focus on the functional capabilities of architectures to the ability to model the details of human behavior, and, more recently, brain activity. Although there are many different architectures, they share many identical or similar mechanisms, permitting possible future convergence. In judging the quality of a particular cognitive model, it is pertinent to not just (...) judge its fit to the experimental data but also its simplicity and ability to make predictions. (shrink)

For Kant and his followers, pure reason can be practical, and its substantive practical command is, broadly speaking, that we treat ourselves and others as worthy of respect as free and equal. If those who have defended the Kantian morality system are correct, this moral imperative will not be authoritative and inescapable simply because we don't know how to coherently reweave our practical commitments so as to leave it out, but because it is presupposed by the possibility of practical reason. (...) On this model, the rational authority of moral dictates would be understood as absolute and universal. ;But what if Kant and his followers have been wrong? What if the search for practical unconditionality turned out to be vain? Kant himself would most likely react to this news by pronouncing that, without a priori necessity, there could be no moral necessity, and without moral necessity, there could be no purity of motive, and without purity of motive, there could be no moral worth, and without moral worth, there could be no legitimate ascriptions of praise and blame. In short, for Kant and his orthodox followers, without unconditionality, the morality system would collapse. ;I will argue that the search for a priori necessity behind moral law is indeed hopeless, but that this does not entail the collapse of the morality system. It does however force us to conceive a new way of accounting for practical normativity in the absence of unconditionality. It also requires that, in order to preserve morality, we find a defensible place for it as a contingent subset of ethics broadly construed. My answer is to provide a new account of morality, and practical normativity in general, against the backdrop of neopragmatism. My hope is to provide an alternative story which preserves the Kantian insight that practical necessity is driven by rational authority, but which does not presuppose unconditionality to explain the latter's force and inescapability. In short I will attempt to show that ethical principles, when considered in linguistic space, need not be a priori necessary to bind individuals in a genuinely authoritative sense. (shrink)