. This paper offers a survey of the current state of Artificial Intelligence and Law, and makes recommendations for future research. Two main areas of investigation are discussed: the practical work on intelligent legal information systems, and the theoretical work on computational models of legal reasoning. In both areas, the knowledge representation problem is identified as the most important issue facing this field.

The operationalization of scienti?c notions is instrumental in enabling experimental evidence to bear on scienti?c propositions. Conceptual change should thus translate into operationalization change. This article describes some important experimental works in the psychology of concepts since the beginning of the twentieth century. It is argued that since the early days of this ?eld, psy- chologists.

The traditional understanding of analyticity in terms of concept containment is revisited, but with a concept explicitly understood as a certain kind of mental representation and containment being read correspondingly literally. The resulting conception of analyticity avoids much of the vagueness associated with attempts to explicate analyticity in terms of synonymy by moving the locus of discussion from the philosophy of language to the philosophy of mind. The account provided here illustrates some interesting features of representations and explains, at least (...) in part, the special epistemic status of analytic judgments. (shrink)

Speaking: from Intention to Articulation Willem J. M. Levelt, 1989 (1993 paperback) Cambridge, MA: MIT Press ISBN: 0–262–12137–9(hb), 0–262–62089–8(pb)Rules for Reasoning Richard E. Nisbett (Ed.), 1993 Hillsdale, NJ, Lawrence Erlbaum Associates ISBN: 0–8058–1256–3(hb), 0–8085–1257–1 (pb)Readings in Philosophy and Cognitive Science Alvin I. Goldman, 1993 Cambridge, MA, MIT Press ISBN: 0–262–07153–3(hb), 0–262–57100–5(pb)Language Comprehension in Ape and Child, Monographs of the Society for Research in Child Development, Serial No. 233, Vol. 58, Nos 3–4 Sue Savage‐Rumbaugh, Jeannine Murphy, Rose A. Sevcik, Karen E. (...) Brakke, Shelly L. Williams & Duane M. Rumbaugh, with commentary by Elizabeth Bates, and a reply by the authors, 1993 Chicago: University of Chicago Press ISBN: 0–226–73542–7Language, Music and Mind Diana Raffman, 1993 Cambridge, MIT Press/Bradford Books ISBN: 0–262–18150–9Psychology of Proof Lance J. Rips, 1994 Cambridge, MA, MIT Press ISBN: 0–262–18153–3Human and Machine Thinking P. Johnson‐Laird, 1993 Hillsdale, NJ, Erlbaum ISBN: 0–8058–0921‐XIntelligent Behavior in Animals and Robots David McFarland & Thomas Bosser, 1993 Cambridge, MA and London, UK: MIT Press/ Bradford Books ISBN: 0–262–13293–1The Eye and the Mind: Reflections on Perception and the Problem of Knowledge Charles Landesman, 1993 Dordrecht: Kluwer Academic Publishers ISBN: 0–7923–2586–9The Moral Self GilG. Noam & Thomas E. Wren (Eds), in cooperation with Gertud Nunner‐Winkler & Wolfgang Edelstein, 1993 Cambridge, MA: MIT Press ISBN: 0–262–14052–1The Logic of Discovery: A Theory of the Rationality of Scientific Research Scott A. Kleiner, 1993 Dordrecht: Kluwer Academic Publishers ISBN: 0–7923–2371–8Folk Psychology and the Philosophy of Mind S.M. Christenson & D.R. Turner (Eds), 1993 Hillsdale, NJ: Lawrence Erlbaum ISBN: 0–805–80931–7. (shrink)

Linguistic theories of lexical semantics support a Neoclassical Theory of concepts, where entities like CAUSE, STATE, and MANNER serve as necessary conditions for the possession of individual event concepts. Not all concepts have a neoclassical structure, and whether or not words participate in regular linguistic patterns such as verbal alternations will be proposed as a probe for identifying whether their corresponding concepts do indeed have such structure. I show how the Neoclassical Theory supplements existing theories of concepts and supports a (...) version of analyticity and conceptual analysis. (shrink)

In this paper, I present an alternative argument for Jerry Fodor's recent conclusion that there are currently no tenable theories of concepts in the cognitive sciences and in the philosophy of mind. Briefly, my approach focuses on the 'theory-theory' of concepts. I argue that the two ways in which cognitive psychologists have formulated this theory lead to serious difficulties, and that there cannot be, in principle, a third way in which it can be reformulated. Insofar as the 'theory-theory' is supposed (...) to replace, and to rectify the problems of, the earlier 'classical' and 'probabilistic' theories, its failure confirms Fodor's original observation. Since my critique does not rest on controversial philosophical assumptions and is readily available from within the cognitive sciences, it is a stronger argument than Fodor's. (shrink)

Conceptual atomism is the view according to which most lexical concepts lack ‘internal’ or constituent structure. To date, it has not received much attention from philosophers and psychologists. A centralreason is that it is thought to be an implausible theory of concepts, resulting in untenable implications. The main objective of this paper is to present conceptual atomism as a viable alternative, with a view toachieving two aims: the first, to characterize and to elucidate conceptual atomism; and the second, to dispel (...) some misconceptions associated with it. My aim is to show that the prospect of conceptualatomism is a promising one. (shrink)

Two main theories of concepts have emerged in the recent psychological literature: the Prototype Theory (which considers concepts to be self-contained lists of features) and the Theory Theory (which conceives of them as being embedded within larger theoretical networks). Experiments supporting the first theory usually differ substantially from those supporting the second, which suggests that these the· ories may be operating at different levels of explanation and dealing with different entities. A convergence is proposed between the Theory Theory and the (...) intentional stance in the philosophy of language and mind. From this stance, concepts should not be thought of as concrete physical entities. (shrink)

In the first section of the article, we examine some recent criticisms of the connectionist enterprise: first, that connectionist models are fundamentally behaviorist in nature (and, therefore, non-cognitive), and second that connectionist models are fundamentally associationist in nature (and, therefore, cognitively weak). We argue that, for a limited class of connectionist models (feed-forward, pattern-associator models), the first criticism is unavoidable. With respect to the second criticism, we propose that connectionist modelsare fundamentally associationist but that this is appropriate for building models (...) of human cognition. However, we do accept the point that there are cognitive capacities for which any purely associative model cannot provide a satisfactory account. The implication that we draw from is this is not that associationist models and mechanisms should be scrapped, but rather that they should be enhanced.In the next section of the article, we identify a set of connectionist approaches which are characterized by “active symbols” — recurrent circuits which are the basis of knowledge representation. We claim that such approaches avoid criticisms of behaviorism and are, in principle, capable of supporting full cognition. In the final section of the article, we speculate at some length about what we believe would be the characteristics of a fully realized active symbol system. This includes both potential problems and possible solutions (for example, mechanisms needed to control activity in a complex recurrent network) as well as the promise of such systems (in particular, the emergence of knowledge structures which would constitute genuine internal models). (shrink)

In this paper, I argue that the causal and description theories of natural kind term reference involve certain psychological elements. My main goal is to refine these theories with the help of empirical psychology of concepts, and to argue that the refinement process ultimately leads to the dissolution of boundaries between the two kinds of theories. However, neither the refined theories nor any other existing theories provide an adequate answer to the question of what makes natural kind terms rigid. To (...) provide an answer to this question I conclude my paper by introducing a framework of a unified theory of natural kind term reference that is built on the empirical psychology of concepts. (shrink)

Theories of relational concept acquisition based on structured intersection discovery predict that relational concepts with a probabilistic structure ought to be extremely difficult to learn. We report four experiments testing this prediction by investigating conditions hypothesized to facilitate the learning of such categories. Experiment 1 showed that changing the task from a category-learning task to choosing the “winning” object in each stimulus greatly facilitated participants' ability to learn probabilistic relational categories. Experiments 2 and 3 further investigated the mechanisms underlying this (...) “who's winning” effect. Experiment 4 replicated and generalized the “who's winning” effect with more natural stimuli. Together, our findings suggest that people learn relational concepts by a process of intersection discovery akin to schema induction, and that any task that encourages people to discover a higher order relation that remains invariant over members of a category will facilitate the learning of putatively probabilistic relational concepts. (shrink)

Abstract Theories of induction in psychology and artificial intelligence assume that the process leads from observation and knowledge to the formulation of linguistic conjectures. This paper proposes instead that the process yields mental models of phenomena. It uses this hypothesis to distinguish between deduction, induction, and creative forms of thought. It shows how models could underlie inductions about specific matters. In the domain of linguistic conjectures, there are many possible inductive generalizations of a conjecture. In the domain of models, however, (...) generalization calls for only a single operation: the addition of information to a model. If the information to be added is inconsistent with the model, then it eliminates the model as false: this operation suffices for all generalizations in a Boolean domain. Otherwise, the information that is added may have effects equivalent (a) to the replacement of an existential quantifier by a universal quantifier, or (b) to the promotion of an existential quantifier from inside to outside the scope of a universal quantifier. The latter operation is novel, and does not seem to have been used in any linguistic theory of induction. Finally, the paper describes a set of constraints on human induction, and outlines the evidence in favor of a model theory of induction. (shrink)

Vector-based models of word meaning have become increasingly popular in cognitive science. The appeal of these models lies in their ability to represent meaning simply by using distributional information under the assumption that words occurring within similar contexts are semantically similar. Despite their widespread use, vector-based models are typically directed at representing words in isolation, and methods for constructing representations for phrases or sentences have received little attention in the literature. This is in marked contrast to experimental evidence (e.g., in (...) sentential priming) suggesting that semantic similarity is more complex than simply a relation between isolated words. This article proposes a framework for representing the meaning of word combinations in vector space. Central to our approach is vector composition, which we operationalize in terms of additive and multiplicative functions. Under this framework, we introduce a wide range of composition models that we evaluate empirically on a phrase similarity task. (shrink)

Health and disease are core concepts in health care and have attracted substantial interest and controversy. In recent and interesting contributions to the debate it has been argued that the challenges with the concept of disease can be resolved by a prototype concept of disease. As a robin is a more prototypical of a bird than a penguin, some diseases are more prototypical than others. If disease is a prototype concept, it would change nosology, but also health care and the (...) study of health and disease. However, the statement that “disease is a prototype concept” forms an empirically testable hypothesis. Therefore, this study aims to test the hypothesis that health professionals have a prototype concept of disease. Two hundred twenty-three health care professionals in Norway were invited to participate in a survey where they were asked to rank a wide range of diseases according to how typical they considered them to be as diseases. Results were analysed with descriptive statistics. The response rate was 90%. Lung cancer, leukemia, colon cancer, myocardial infarction, and AIDS are the diseases ranged to be most typical, while homosexuality, pregnancy, drapetomania, dissidence, and nostalgia are considered to be the least typical diseases. The results also show that the answers to how typical various diseases are vary greatly, even amongst a relatively homogenous group of health professionals. This study falsifies the hypothesis that disease is a prototype concept for health professionals. This has implications for the debate on core concepts for health care. If health professionals do not have a prototype concept of disease, it is unlikely that there is a prototype concept of disease in general. Consequently, nosologies should not be based on prototypes. (shrink)