This detailed description of a microcomputer version of PROUST (Program Understander for Students), a knowledge-based system that finds nonsyntactic bugs in Pascal programs written by novice programmers, presents the inner workings of Micro-PROUST, which was written in Golden LISP for the IBM-PC (512K). The contents include: (1) a reprint of an…

This paper proposes the use of a rule-based computer programming language as a standard for the expression of rules, arguing that the adoption of a standard would enable researchers to communicate about rules in a consistent and significant way. Focusing on the formal equivalence of artificial intelligence (AI) programming to different types of…

This document presents a study of natural language understanding of computer programs. In the study, the performance of IRUS, a natural language query system designed to interface with a database, was compared with the performance of preschool and early elementary school children in answering questions about a specific database. Questions used in…

Discusses and compares the design and development of computer assisted instruction (CAI) and intelligent computer assisted instruction (ICAI). Topics discussed include instructional systems design (ISD), artificial intelligence, authoring languages, intelligent tutoring systems (ITS), qualitative models, and emerging issues in instructional…

Introduces some general concepts and techniques of artificial intelligence (natural language interfaces, expert systems, knowledge bases and knowledge representation, heuristics, user-interface metaphors, and object-based environments) and investigates ways these techniques might be applied to analysis, design, development, implementation, and…

Discusses programs to provide a knowledge base and use the knowledge in a mode of artificial intelligence. Indicates that two methods of database storage are possible and opts to use a method using many data files while using a small RAM capacity. Lists several programs. (MVL)

Summarizes findings of a collection of research studies at the University of Aberdeen (Scotland) aiding fundamental understanding of knowledge representation and its applications. Issues arising when a knowledge representation system is incorporated into an authoring language are discussed, including the problems of exteriorization, metacognition,…

Systematically investigates, defines, and organizes variables related to production of internally designed and implemented computer assisted instruction (CAI) courseware: special needs of users; costs; identification and definition of realistic training needs; CAI definition and design methodology; hardware and software requirements; and general…

Defines artificial intelligence and reviews current research in natural language processing, expert systems, and robotics and sensory systems. Discussion covers current commercial applications of artificial intelligence and projections of uses and limitations in library technical and public services, e.g., in cataloging and online information and…