This technical report describes a generic architecture for building intelligent tutoring systems which is developed around objects that represent the knowledge elements to be taught by the tutor. Each of these knowledge elements, called "bites," inherits both a knowledge organization describing the kind of knowledge represented and…

The intended end product of the research project described is an "intelligent" multimedia tutoring system for procedural tasks, in particular, the repair of physical objects. This paper presents the data structure that will be used, i.e., a graph with five types of nodes (mental, abstract, motoric or action, visual, and verbal) and two types of…

The relationship between cognitive psychologists and researchers in artificial intelligence carries substantial benefits for both. An ongoing investigation in causal reasoning in medical problem solving systems illustrates this interaction. This paper traces a dialectic of sorts in which three different types of causal resaoning for medical…

The main features of a general-purpose experimental language are described, followed by an account of its implementation. (Author)

This paper describes a computational approach to certain problems of anaphora in natural language and argues in favor of formal meaning representation languages (MRLs) for natural language. After presenting arguments in favor of formal meaning representation languages, appropriate MRLs are discussed. Minimal requirements include provisions for…

A model of natural language generation based on an underlying language-free representation of meaning is described. A computer implementation of this model, called BABEL, has been developed at Stanford University. It is able to produce sentence paraphrases which demonstrate understanding with respect to a given context. Available from Association…

The SPADE theory, which uses linguistic formalisms to model the planning and debugging processes of computer programming, was simultaneously developed and tested in three separate contexts--computer uses in education, automatic programming (a traditional artificial intelligence arena), and protocol analysis (the domain of information processing…

Prepared to stimulate discussion on how to design a Swedish policy in information science and technology, this report presents the state-of-the-art of this field as it pertains to the dissemination of scientific information and outlines a program for future research and development. The review portion examines systems for current information…

The studies summarized in this report on instructional theory and computer based tutorial systems were directed at two aspects of the study of learning and instruction: the theoretical understanding of human memory and the development of intelligent interactive computer systems for instruction. Two major computer-based tutorial systems developed…

A major problem in teaching symbolic logic is that of providing individualized and early feedback to students who are learning to do proofs. To overcome this difficulty, a computer program was developed which functions as a line-by-line proof checker in Sentential Calculus. The program, DEMON, first evaluates any statement supplied by the student…

LISP LOGO is a computer language invented for the beginning student of man-machine interaction. The language has the advantages of simplicity and naturalness as well as that of emphasizing the difference between programs and data. The language is based on the LOGO language and uses mnemonic syllables as commands. It can be used in conjunction with…

In order to investigate the use of strategies in a game-playing computer program, "Gammon," a computer program that plays Backgammon, was developed. It focuses on the play of a given strategy, as well as the process of strategy selection, and examines the concept of strategy as an integrating and driving force in the play of a game. A…

Of the many intellectual models available for conceptualizing the communication process, one of the most appropriate is cybernetics. The logical and empirical requirements of a cybernetic model of communication are presented. Based upon a review of relevant findings in the social science literature, these requirements are utilized to create a…

The principal recent models of semantics, conceptual, and lexical memory are explicated and criticized. A description of long-term is developed in terms of these models. (Text is in French.) (DB)

Discussion of the history and development of artificial intelligence (AI) highlights a bibliography of introductory books on various aspects of AI, including AI programing; problem solving; automated reasoning; game playing; natural language; expert systems; machine learning; robotics and vision; critics of AI; and representative software. (LRW)