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)

Addresses the potential of conversational simulations for computer-assisted language learning (CALL) and reasons why this potential is largely untapped. Topics discussed include artificial intelligence; microworlds; parsing; realism versus reality in computer software; intelligent tutoring systems; and criteria to clarify what kinds of CALL…

The article reviews Intelligent Computer Assisted Instruction (ICAI), an area of artificial intelligence and notes its shortcomings for learning disabled students. It is suggested that emphasis on antecedent knowledge (important facts, concepts, rules, and/or strategies for the content area) and content analysis and design techniques would make…

This instructional module examines a key function of science and technology: problem solving. It studies the meaning of problem solving, looks at techniques for problem solving, examines case studies that exemplify the problem-solving approach, presents problems for the reader to solve, and provides a student self-quiz. (Author/CT)