This paper explores the difference between Connectionist proposals for cognitive a r c h i t e c t u r e a n d t h e s o r t s o f m o d e l s t hat have traditionally been assum e d i n c o g n i t i v e s c i e n c e . W e c l a i m t h a t t h (...) e m a j o r d i s t i n c t i o n i s t h a t , w h i l e b o t h Connectionist and Classical architectures postulate representational mental states, the latter but not the former are committed to a symbol-level of representation, or to a ‘language of thought’: i.e., to representational states that have combinatorial syntactic and semantic structure. Several arguments for combinatorial structure in mental representations are then reviewed. These include arguments based on the ‘systematicity’ of mental representation: i.e., on the fact that cognitive capacities always exhibit certain symmetries, so that the ability to entertain a given thought implies the ability to entertain thoughts with semantically related contents. We claim that such arguments make a powerful case that mind/brain architecture is not Connectionist at the cognitive level. We then consider the possibility that Connectionism may provide an account of the neural (or ‘abstract neurological’) structures in which Classical cognitive architecture is implemented. We survey a n u m b e r o f t h e s t a n d a r d a r g u m e n t s t h a t h a v e b e e n o f f e r e d i n f a v o r o f Connectionism, and conclude that they are coherent only on this interpretation. (shrink)

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

The scientific reasoning strategies used to discover a new concept in a scientific domain were investigated in two studies. An innovative task in which subjects discover new concepts in molecular biology was used. This task was based upon one set of experiments that Jacob and Monod used to discover how genes are controlled, and for which they were awarded the Nobel prize. In the two studies reported in this article, subjects were taught some basic facts and experimental techniques in molecular (...) biology, using a simulated molecular genetics laboratory on a computer. Following their initial training, they were then asked to discover how genes are controlled by other genes. In Study 1, subjects found no evidence that was consistent with their initial hypothesis. Subjects then set one of two goals for conducting experiments and evaluating data. One goal was to search for evidence consistent with the current hypothesis (and they did not attend to the features of discrepant findings); none of the subjects who only had this goal succeeded at discovering how the genes were controlled. Other subjects in Study 1 used a different goal: Upon noticing evidence inconsistent with their current hypothesis, these subjects set a new goal of attempting to explain the cause of the discrepant findings. Using this goal, a subset of these subjects discovered the correct solution to the problem. Study 2 was conducted to test the hypothesis that subjects' goals of finding evidence consistent with their current hypothesis blocks consideration of alternate hypotheses and generation of new goals, it was predicted that if subjects could achieve their initial goal of discovering evidence consistent with their current hypothesis, they would then attend to particular features of discrepant evidence and solve the problem. To test this prediction, an additional mechanism of genetic control that was consistent with subjects' initial goal was added to the genes. Here, subjects had to discover two mechanisms of control: one mechanism consistent with their current hypothesis, and one inconsistent with their hypothesis. Twice as many subjects reached the correct solution in Study 2 than in Study 1. The findings of the two studies indicate that goals provide a powerful constraint on the cognitive processes underlying scientific reasoning and that the types of goals that are represented determine many of the reasoning errors that subjects make. (shrink)

Fourteen subjects were tape‐recorded while they undertook to find a law to summarize numerical data they were given. The source of the data was not identified, nor were the variables labeled semantically. Unknown to the subjects, the data were measurements of the distances of the planets from the sun and the periods of their revolutions about it—equivalent to the data used by Johannes Kepler to discover his third law of planetary motion.Four of the 14 subjects discovered the same law as (...) Kepler did (the period varies as the 3/2 power of the distance), and a fifth came very close to the answer. The subiects' protocols provide a detailed picture of the problem‐solving searches they engaged in, which were mainly, but not exclusively, in the space of possible functions for fitting the data, and provide explanations as to why some succeeded and the others failed.The search heuristics used by the subjects are similar to those embodied in the BACON program, computer simulation of certain scientific discovery processes. The experiment demonstrates the feasibility of examining some of the processes of scientific discovery by recreating, in the laboratory, discovery situations of substantial historical relevance. It demonstrates also, that under conditions rather similar to those of the original discoverer, a law can be rediscovered by persons of ordinary intelligence (i.e., the intelligence needed for academic success in a good university). The data for the successful subjects reveal no “creative” processes in this kind of a discovery situation different from those that are regularly observed in all kinds of problem‐solving settings. (shrink)

The purpose of the two studies reported here was to develop an integrated model of the scientific reasoning process. Subjects were placed in a simulated scientific discovery context by first teaching them how to use an electronic device and then asking them to discover how a hitherto unencountered function worked. To do this task, subjects had to formulate hypotheses based on their prior knowledge, conduct experiments, and evaluate the results of their experiments. In the first study, using 20 adult subjects, (...) we identified two main strategies that subjects used to generate new hypotheses. One strategy was to search memory and the other was to generalize from the results of previous experiments. We described the former group as searching an hypothesis space, and the latter as searching an experiment space. In a second study, with 10 adults, we investigated how subjects search the hypothesis space by instructing them to state all the hypotheses that they could think of prior to conducting any experiments. Following this phase, subjects were then allowed to conduct experiments. Subjects who could not think of the correct rule in the hypothesis generation phase discovered the correct rule only by generalizing from the results of experiments in the experimental phase.Both studies provide support for the view that scientific reasoning can be characterized as search in two problem spaces. By extending Simon and Lea's (1974) Generalized Rule Inducer, we present a general model of Scientific Discovery as Dual Search (SDDS) that shows how search in two problem spaces (an hypothesis space and an experiment space) shapes hypothesis generation, experimental design, and the evaluation of hypotheses. The model also shows how these processes interact with each other. Finally, we interpret earlier findings about the psychology of scientific reasoning in terms of the SDDS model. (shrink)

The idea that human thought requires the execution of mental algorithms provides a foundation for research programs in cognitive science, which are largely based upon the computational conception of language and mentality. Consideration is given to recent work by Penrose, Searle, and Cleland, who supply various grounds for disputing computationalism. These grounds in turn qualify as reasons for preferring a non-computational, semiotic approach, which can account for them as predictable manifestations of a more adquate conception. Thinking does not ordinarily require (...) the execution of mental algorithms, which appears to be at best no more than one rather special kind of thinking. (shrink)

Beyond modularityattempts a synthesis of Fodor's anticonstructivist nativism and Piaget's antinativist constructivism. Contra Fodor, I argue that: (1) the study of cognitive development is essential to cognitive science, (2) the module/central processing dichotomy is too rigid, and (3) the mind does not begin with prespecified modules; rather, development involves a gradual process of “modularization.” Contra Piaget, I argue that: (1) development rarely involves stagelike domain-general change and (2) domainspecific predispositions give development a small but significant kickstart by focusing the infant's (...) attention on proprietary inputs. Development does not stop at efficient learning. A fundamental aspect of human development (“representational redescription”) is the hypothesized process by which information that isina cognitive system becomes progressively explicit knowledgetothat system. Development thus involves two complementary processes of progressive modularization and progressive “explicitation.” Empirical findings on the child as linguist, physicist, mathematician, psychologist, and notator are discussed in support of the theoretical framework. Each chapter concentrates first on the initial state of the infant mind/brain and on subsequent domain-specific learning in infancy and early childhood. It then goes on to explore data on older children's problem solving and theory building, with particular focus on evolving cognitive flexibility. Emphasis is placed throughout on the status of representations underlying different capacities and on the multiple levels at which knowledge is stored and accessible. Finally, consideration is given to the need for more formal developmental models, and a comparison is made between representational redescription and connectionist simulations of development. In conclusion, I consider what is special about human cognition by speculating on the status of representations underlying the structure of behavior in other species. (shrink)

A theory of analogical mapping between source and target analogs based upon interacting structural, semantic, and pragmatic constraints is proposed here. The structural constraint of isomorphism encourages mappings that maximize the consistency of relational corresondences between the elements of the two analogs. The constraint of semantic similarity supports mapping hypotheses to the degree that mapped predicates have similar meanings. The constraint of pragmatic centrality favors mappings involving elements the analogist believes to be important in order to achieve the purpose for (...) which the analogy is being used. The theory is implemented in a computer program called ACME (Analogical Constraint Mapping Engine), which represents constraints by means of a network of supporting and competing hypotheses regarding what elements to map. A cooperative algorithm for parallel constraint satisfaction identities mapping hypotheses that collectively represent the overall mapping that best fits the interacting constraints. ACME has been applied to a wide range of examples that include problem analogies, analogical arguments, explanatory analogies, story analogies, formal analogies, and metaphors. ACME is sensitive to semantic and pragmatic information if it is available, and yet able to compute mappings between formally isomorphic analogs without any similar or identical elements. The theory is able to account for empirical findings regarding the impact of consistency and similarity on human processing of analogies. (shrink)

On the occasion of a first conference on Cognitive Science, it seems appropriate to review the basis of common understanding between the various disciplines. In my estimate, the most fundamental contribution so far of artificial intelligence and computer science to the joint enterprise of cognitive science has been the notion of a physical symbol system, i.e., the concept of a broad class of systems capable of having and manipulating symbols, yet realizable in the physical universe. The notion of symbol so (...) defined is internal to this concept, so it becomes a hypothesis that this notion of symbols includes the symbols that we humans use every day of our lives. In this paper we attempt systematically, but plainly, to lay out the nature of physical symbol systems. Such a review is in ways familiar, but not thereby useless. Restatement of fundamentals is an important exercise. (shrink)