The primary aim of these five technical papers is to indicate aspects of proof theory which may be of use in the study of non-numerical computing. The three main papers are entitled: "Checking of Computer Programs;""Consistency Proofs and Programs for Translators;" and "Experiments with Computers on the Complexity of Non-numerical computations."…

Reports on the relatively new field of artificial intelligence and its relationship to vocational education. Compares human intelligence with artificial intelligence. Discusses expert systems, natural language technology, and current trends. Lists potential applications for vocational education. (CH)

This article examines the feasibility of developing expert systems for use in education. Some intelligent computer-assisted instruction systems have been developed to teach or tutor various subjects. Development of expert systems is in the prototype stage. Difficulties of systems development are discussed. (MT)

Examines the past, present, and future status of Artificial Intelligence (AI). Acknowledges the limitations of AI but proposes possible areas of application and further development. Urges a concentration on the unique strengths of machine intelligence rather than a copying of human intelligence. (ML)

The controversy over whether or not machines can think has attracted the attention of philosophers, psychologists, neurologists, computer scientists, and writers of science fiction. Various topics and issues related to this controversy are discussed, including turing machines and the relationship between computer history and mathematical…

Describes expert systems which are computer programs which use inference schemes to apply generalized human expertise to the facts of a specific case. Basic concepts, potentials and implications are presented along with the issues involved in their development and use. A simple expert system, written in BASIC, is included to illustrate the…

Argues that, although expert systems--which are supposed to give users all the advantages of consulting with human experts--can be useful for medical diagnosis, where tests tend to be reliable, they can be hazardous in such areas as psychological testing, where test reliability is difficult to measure. (MBR)

Discusses several areas of artificial intelligence and research in this area, focusing on natural language understanding. Indicates that language is more than words, that "meaning" depends on context, and that "understanding" requires a vast body of knowledge about the world. (JN)

A survey is given of the potential role of artificial intelligence in retrieval systems. The paper concludes with an outline of areas for further research on artificial intelligence in information retrieval systems. (Author)

It is suggested that the study of artificial intelligence can provide ways of thinking about the human mind that are potentially valuable in formulating cognitive theories. Theoretical psychology is proposed as an appropriate classification for this branch of theory. (MSE)

Outlines an attempt to use artificial intelligence formalisms as a formal language of description for the complex conversational behavior that occurs in ethnographic interviews. Discusses three kinds of coherence and uses them to analyze the text of an interview. (FL)

Explores how new, operational models of cognition processing developed in Artificial Intelligence (AI) can be applied in computer assisted instruction (CAI) systems. CAI systems are surveyed in terms of their goals and formalisms, and a model for the development of a tutorial CAI system for algebra problem solving is introduced. (Author)

Describes several methods by which an amateur might prepare a laser light display in the home or the classroom. Methods described include the use of particles in lasers, filters, reflecting laser beams, vibration's effects on laser beams, rotating mirrors, and the use of prisms with laser beams. (DS)

Discusses the manifestations of the word "intelligence"; objects to linear measurements of intelligence by I.Q. tests. Cites evidence supporting the possibility of duplicating human intelligence by computer systems. Details the unique characteristics of human intelligence. (CS)

Discussion of automated information services focuses on information classification and collaborative agents, i.e. intelligent computer programs. Highlights include multi-agent systems; distributed artificial intelligence; thesauri; document representation and classification; agent modeling; acquaintances, or remote agents discovered through…