1998598
Dynamic Student Modelling in an Intelligent Tutor for LISP Programming
We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each solution as possible, provide immediate feedback on errors, and represent the goal structure of the problem-solving. The tutorial interface facilitates communication and prevents distracting low-level errors Field tests of the tutor in college classes demonstrate that it is more effective than conventional classroom instruction.
195901903
Integrating analogical mapping and general problem solving: the path-mapping theory
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.
29133778
Toward a real-time model-based training system
This article describes the development of a real-time model-based training system that provides adaptive ''over-the-shoulder'' (OTS) instructions to trainees as they learn to perform an Anti-Air Warfare Coordinator (AAWC) task. The long-term goal is to develop a system that will provide real-time instructional materials based on learners' actions, so that eventually the initial set of instructions on a task can be strengthened, complemented, or overridden at different stages of training. The training system is based on the ACT-R architecture, which serves as the theoretical background for the cognitive model that monitors the learning process of the trainee. An experiment was designed to study the impact of OTS instructions on learning. Results showed that while OTS instructions facilitated short-term learning, (a) they took time away from the processing of current information, (b) their effects tended to decay rapidly in initial stages of training, and (c) their effects on training diminished when the OTS instructions were proceduralized in later stages of training. A cognitive model that learned from both the upfront and OTS instructions was created and provided good fits to the learning and performance data collected from human participants. Our results suggest that to fully capture the symbiotic performance between humans and intelligent training systems, it is important to closely monitor the learning process of the trainee so that instructional interventions can be delivered effectively at different stages of training. We proposed that such a flexible system can be developed based on an adaptive cognitive model that provides real-time predictions on learning and performance.
8794180
The generality/specificity of expertise in scientific reasoning
Previous research on scientific reasoning has shown that it involves a diverse set of skills. Yet, little is known about generality or domain specificity of those skills, an important issue in theories of expertise and in attempts to automate scientific reasoning skills. We present a study designed to test what kinds of skills psychologists actually use in designing and interpreting experiments and contrast expertise within a particular research area with general expertise at designing and interpreting experiments. The results suggest that psychologists use many domain-general skills in their experimentation and that bright and motivated Carnegie Mellon undergraduates are missing many of these skills. We believe that these results have important implications for psychological and artificial intelligence models of expertise, as well as educational implications in the domain of science instruction.
12350992
A Rational Analysis of Categorization
Abstract A rational analysis tries to predict the behavior of a cognitive system from the assumption it is optimized to the environment. An iterative categorization algorithm has been developed which attempts to get optimal Bayesian estimates of the probabilities that objects will display various features. A prior probability is estimated that an object comes from a category and combined with conditional probabilities of displaying features if the object comes from the category. Separate Bayesian treatments are offered for the cases of discrete and continuous dimensions. The resulting algorithm is efficient, works well in the case of large data bases, and replicates the full range of empirical literature in human categorization.
206565835
Strategy Choice and Change in Programming
Abstract This research studied looping or iterative choice and change, especially between the "while-do" and "repeat-until" looping constructs in the PASCAL programming language. The empirical results from the first experiment, in which subjects were free to choose between the two looping alternatives, indicated that most PASCAL programmers are quite sensitive to the nature of the problems being solved and adaptable in choosing appropriate looping strategies. Another two experiments were performed in which subjects were either forced or induced to use one of the two looping strategies. These two experiments indicated that subjects are quite tenacious in using the appropriate strategy and their performance deteriorates when they are forced to use a different strategy.
41957373
'Model': a POPLOG package to support model-based vision
Abstract A software package to support model-based vision in the poplog environment is described. The package contains a constructive solid geometry instantiated in an extended-depth buffer to yield a representation of the spatial properties of the viewed scene. The geometry constrains its geometrical transformations to make visual search more efficient.
529922
Mace: language support for building distributed systems
Building distributed systems is particularly difficult because of the asynchronous, heterogeneous, and failure-prone environment where these systemsmust run. Tools for building distributed systems must strike a compromise between reducing programmer effort and increasing system efficiency. We present Mace, a C++ language extension and source-to-source compiler that translates a concise but expressive distributed system specification into a C++ implementation. Mace overcomes the limitations of low-level languages by providing a unified framework for networking and event handling, and the limitations of high-level languages by allowing programmers to write program components in a controlled and structured manner in C++. By imposing structure and restrictions on how applications can be written, Mace supports debugging at a higher level, including support for efficient model checking and causal-path debugging. Because Mace programs compile to C++, programmers can use existing C++ tools, including optimizers, profilers, and debuggers to analyze their systems.
14337981
The nature of indexing: how humans and machines analyze messages and texts for retrieval - Part II: Machine indexing, and the allocation of human versus machine effort
Abstract Does human intellectual indexing have a continuing role to play in the face of increasingly sophisticated automatic indexing techniques? In this two-part essay, a computer scientist and long-time TREC participant (Perez-Carballo) and a practitioner and teacher of human cataloging and indexing (Anderson) pursue this question by reviewing the opinions and research of leading experts on both sides of this divide. We conclude that human analysis should be used on a much more selective basis, and we offer suggestions on how these two types indexing might be allocated to best advantage. Part I of the essay critiques the comparative research, then explores the nature of human analysis of messages or texts and efforts to formulate rules to make human practice more rigorous and predictable. We find that research comparing human versus automatic approaches has done little to change strongly held beliefs, in large part because many associated variables have not been isolated or controlled. Part II focuses on current methods in automatic indexing, its gradual adoption by major indexing and abstracting services, and ways for allocating human and machine approaches. Overall, we conclude that both approaches to indexing have been found to be effective by researchers and searchers, each with particular advantages and disadvantages. However, automatic indexing has the over-arching advantage of decreasing cost, as human indexing becomes ever more expensive.
32806401
Use of multiple difference-of-Gaussian filters to verify geometric models
Abstract Experiments are reported with a program which recognizes London buses in busy street scenes. The program uses a 3D model of a bus. together with knowledge of camera and scene parameters, to compute the visual appearance of possible target events. In earlier work this took the form of 2D templates, which identify locations within the image where abrupt discontinuities of grey-value are expected. Each template corresponds to an hypothesis which is verified by measuring the agreement between the predicted features and the response of a Sobel filter to the image data. This paper reports an extension to the program which offers improved selectivity, and a more general-purpose method of linking predicted features to detected imageattributes. Multiple difference-of-Gaussian filters perform an initial object-independent analysis of the image to provide an intermediate domain in which object-dependent features, predicted by hypothesized instances of the model, are tested.
22373766
Explorations of an incremental, Bayesian algorithm for categorization
An incremental categorization algorithm is described which, at each step, assigns the next instance to the most probable category. Probabilities are estimated by a Bayesian inference scheme which assumes that instances are partitioned into categories and that within categories features are displayed independently and probabilistically. This algorithm can be shown to be an optimization of an ideal Bayesian algorithm in which predictive accuracy is traded for computational efficiency. The algorithm can deliver predictions about any dimension of a category and does not treat specially the prediction of category labels. The algorithm has successfully modeled much of the empirical literature on human categorization. This paper describes its application to a number of data sets from the machine learning literature. The algorithm performs reasonably well, having its only serious difficulty because the assumption of independent features is not always satisfied. Bayesian extensions to deal with nonindependent features are described and evaluated.