Much work on legal knowledge systems treats legal reasoning as arguments that lead from a description of the law and the facts of a case, to the legal conclusion for the case. The reasoning steps of the inference engine parallel the logical steps by means of which the legal conclusion is derived from the factual and legal premises. In short, the relation between the input and the output of a legal inference engine is a logical one. The truth of the (...) conclusion only depends on the premises, and is independent of the argument that leads to the conclusion.This paper opposes the logical approach, and defends a procedural approach to legal reasoning. Legal conclusions are not true or false independent of the reasoning process that ended in these conclusions. In critical cases this reasoning process consists of an adversarial procedure in which several parties are involved. The course of the argument determines whether the conclusion is true or false. The phenomenon of hard cases is used to demonstrate this essential procedural nature of legal reasoning. (shrink)

A long history of research has revealed many neurophysiological changes and concomitant behavioral impacts of sleep deprivation, sleep restriction, and circadian rhythms. Little research, however, has been conducted in the area of computational cognitive modeling to understand the information processing mechanisms through which neurobehavioral factors operate to produce degradations in human performance. Our approach to understanding this relationship is to link predictions of overall cognitive functioning, or alertness, from existing biomathematical models to information processing parameters in a cognitive architecture, leveraging (...) the strengths from each to develop a more comprehensive explanation. The integration of these methodologies is used to account for changes in human performance on a sustained attention task across 88 h of total sleep deprivation. The integrated model captures changes due to time awake and circadian rhythms, and it also provides an account for underlying changes in the cognitive processes that give rise to those effects. The results show the potential for developing mechanistic accounts of how fatigue impacts cognition, and they illustrate the increased explanatory power that is possible by combining theoretical insights from multiple methodologies. (shrink)

This article presents an approach to understanding human spatial competence that focuses on the representations and processes of spatial cognition and how they are integrated with cognition more generally. The foundational theoretical argument for this research is that spatial information processing is central to cognition more generally, in the sense that it is brought to bear ubiquitously to improve the adaptivity and effectiveness of perception, cognitive processing, and motor action. We describe research spanning multiple levels of complexity to understand both (...) the detailed mechanisms of spatial cognition, and how they are utilized in complex, naturalistic tasks. In the process, we discuss the critical role of cognitive architectures in developing a consistent account that spans this breadth, and we note some areas in which the current version of a popular architecture, ACT-R, may need to be augmented. Finally, we suggest a framework for understanding the representations and processes of spatial competence and their role in human cognition generally. (shrink)

This paper presents two cognitive models that simulate the production of referring expressions in the iMAP task—a task-oriented dialog. One general model is based on Dale and Reiter’s (1995)incremental algorithm, and the other is a simple template model that has a higher correlation with the data but is specifically geared toward the properties of the iMAP task. The property of the iMAP task environment that is modeled here is that the color feature is unreliable for identifying referents while other features (...) are reliable. The low computational cost of the incremental algorithm for generating referring expressions makes it an interesting starting point for a cognitive model. However, its explanatory power is limited, because it generates uniquely distinguishing referring expressions and because it considers features for inclusion in the referring expression in a fixed order. The first model extends the original incremental algorithm by an ability to adapt to feedback of whether a referring expression was used successfully, but it seems to overpredict the frequency with which distinguishing expressions are made and underpredict the frequency of overspecified referring expressions. The second model produces features for referring expressions purely based on its current estimate of a feature’s utility. Both models predict the observed human behavior of decreasing use of color terms and increasing use of useful feature terms. (shrink)

The target article demonstrates how neurocognitive modellers should not be intimidated by challenges such as Jackendoff's and should explore neurally plausible implementations of linguistic constructs. The next step is to take seriously insights offlered by neuroscience, including the robustness allowed by analogue computation with distributed representations and the power of attractor dynamics in turning analogue into nearly discrete operations.

In this paper, we propose a new mathematical model of retrieval of intentions from long-term memory. We model retrieval as a stochastic race between a plurality of potentially relevant intentions stored in long-term memory. Psychological theories are dominated by two opposing conceptions of the role of memory in temporally extended agency – as when a person has to remember to make a phone call in the afternoon because, in the morning, she promised she would do so. According to the Working (...) Memory conception, remembering to make the phone call is explained in terms of the construction and maintenance of intentions in working-memory. According to the Long-Term Memory conception, we should explain the episode in terms of an ability to store intentions in long-term memory. The two conceptions predict different processing profiles. The aim of this paper is to present a new mathematical model of the type of memory mechanism that could realise the long-term memory representations of intentions necessary for the Long-Term Memory conception. We present and illustrate the formal model and propose a new type of experimental paradigm that could allow us to test which of the two conceptions provides the best explanation of the role of memory in temporally extended agency. (shrink)

The sciences use a wide range of visual devices, practices, and imaging technologies. This diversity points to an important repertoire of visual methods that scientists use to adapt representations to meet the varied demands that their work places on cognitive processes. This paper identifies key features of the use of visualization in a range of scientific domains and considers the implications of this repertoire for understanding scientists as cognitive agents.

The central mission of cognitive science is to reveal the real nature of the mind, however familiar or foreign that nature may be to naive preconceptions. The existence of naive conceptions is also important, however. Prescientific thought and language contain concepts of the mental, and these concepts deserve attention from cognitive science. Just as scientific psychology studies folk physics (McCloskey 1983, Hayes 1985), viz., the common understanding (or misunderstanding) of physical phenomena, so it must study folk psychology, the common understanding (...) of mental states. This subfield of scientific psychology is what I mean by the phrase 'the psychology of folk psychology'. (shrink)

The ordinary understanding and ascription of mental states is a multiply complex subject. Widely discussed approaches to the subject, such as functionalism and the theory-theory (TT), have many variations and interpretations. No surprise, then, that there are misunderstandings and disagreements, which place many items on the agenda. Unfortunately, the multiplicity of issues raised by the commentators and the limitations of space make it impossible to give a full reply to everyone. My response is divided into five topics: (1) Which version(s) (...) of functionalism are candidates for an account of folk psychology, and is any such version satisfactory? (2) Where does TT stand in light of the two target articles and commentaries? (3) Does a phenomenological story provide a promising account of mental states, and is there special first-person authority about them? (4) What are suitable methodological assumptions for our subject matter? (5) How well does the simulation theory fare as an account of third-person mentalistic ascription? (shrink)

It is proposed that there are important generalizations about problem solving in design activity that reach across specific disciplines. A framework for the study of design is presented that (a) characterizes design as a radial category and fleshes out the task environment of the prototypical cases; (b) takes the task environment seriously; (c) shows that this task environment occurs in design tasks, but does not occur in every nondesign task; (d) explicates the impact of this task environment on the design (...) problem space; and (e) demonstrates that, given the structure of the information-processing system, the features noted in the problem spaces of design tasks will not all occur in problem spaces where the task environment is vastly different. This analysis leads to the claim that there are a set of invariant features in the problem spaces of design situations that collectively constitute a design problem space. Protocol studies are reported in which the problem spaces of three design tasks in architecture, mechanical engineering, and instructional design are explored and compared with several protocols from nondesign problem-solving tasks. (shrink)

Several authors have hailed intuition as one of the defining features of expertise. In particular, while disagreeing on almost anything that touches on human cognition and artificial intelligence, Hubert Dreyfus and Herbert Simon agreed on this point. However, the highly influential theories of intuition they proposed differed in major ways, especially with respect to the role given to search and as to whether intuition is holistic or analytic. Both theories suffer from empirical weaknesses. In this paper, we show how, with (...) some additions, a recent theory of expert memory (the template theory) offers a coherent and wide-ranging explanation of intuition in expert behaviour. It is shown that the theory accounts for the key features of intuition: it explains the rapid onset of intuition and its perceptual nature, provides mechanisms for learning, incorporates processes showing how perception is linked to action and emotion, and how experts capture the entirety of a situation. In doing so, the new theory addresses the issues problematic for Dreyfus’s and Simon’s theories. Implications for research and practice are discussed. (shrink)

For many years, the game of chess has provided an invaluable task environment for research on cognition, in particular on the differences between novices and experts and the learning that removes these differences, and upon the structure of human memory and its paramaters. The template theory presented by Gobet and Simon based on the EPAM theory offers precise predictions on cognitive processes during the presentation and recall of chess positions. This article describes the behavior of CHREST, a computer implementation of (...) the template theory, in a memory task when the presentation time is varied from one second to sixty, on the recall of game and random positions, and compares the model to human data. Strong players are better than weak players in both types of positions, especially with long presentation times, but even after brief presentations. CHREST predicts the data, both qualitatively and quantitatively. Strong players' superiority with random positions is explained by the large number of chunks they hold in LTM. Their excellent recall with short presentation times is explained by templates, a special class of chunks. CHREST is compared to other theories of chess skill, which either cannot account for the superiority of Masters in random positions or predict too strong a performance of Masters in such positions. (shrink)

In this paper, I argue that explaining cognitive behavior can be achieved through what I call hybrid explanatory inferences: inferences that posit mechanisms, but also draw on observed regularities. Moreover, these inferences can be used to achieve unification, in the sense developed by Allen Newel in his work on cognitive architectures. Thus, it seems that explanatory pluralism and unification do not rule out each other in cognitive science, but rather that the former represents a way to achieve the latter.

(1997). A rudimentary theory of information: Consequences for information science and information systems. World Futures: Vol. 49, The Quest for a Unified Theory of Information, pp. 275-286.

I propose a physicalist theory of consciousness that is an extension of the theory of noémona species. The proposed theory covers the full consciousness spectrum from animal to machine and its huma...

Many philosophers hold that for various reasons there must be psychological laws governing beliefs and desires. One of the few serious examples that they offer is the _belief-desire law_, which states, roughly, that _ceteris paribus_ people do what they believe will satisfy their desires. This paper argues that, in fact, there is no such law. In particular, decision theory does not support the contention that there is such a law.