Presents a database system development model in which theoretical support in the form of automated theorem proving is brought to bear on the problem of enforcing integrity, i.e., ensuring that the database system represents only those states and transitions that are possible in the world it models. (MBR)

This report examines the features and performance of the BUG-FINDing component of MENO-II, a computer-based tutor for beginning PASCAL programming students. A discussion of the use of artificial intelligence techniques is followed by a summary of the system status and objectives. The two main components of MENO-II are described, beginning with the…

This paper describes the development of a software program which incorporates interactive graphics techniques into a teaching and research environment at the Department of Chemical Engineering, Technion, Israel, and the experience of transferring the software from mainframe to personal computer (PC) operating systems at the California Institute of…

Argues that a computer-based programming tutor for novice programmers needs to take into account not only the types and frequency of bugs found in the programs, but the intentions and knowledge state of the programmer. A first version of such a program was developed on the basis of the bug types found in a number of pencil-and-paper studies with…

This report describes PROUST, a computer-based system for online analyses and understanding of PASCAL programs written by novice programmers, which takes as input a program and a non-algorithmic description of the program requirements and finds the most likely mapping between the requirements and the code. Both the theory and processing techniques…

Features articles on topics related to use of expert systems for training: machine intelligence effectiveness in military systems applications; automated maneuvering board training system; intelligent tutoring system for electronic troubleshooting; technology development for intelligent maintenance advisors; design of intelligent computer assisted…

Describes application of instructional systems design, dialog design principles, and human factor considerations in developing the Pennsylvania Department of Education's computer-controlled intelligent videodisc system, which allows K-12 teachers to preview language arts television programs and overcome their technology anxiety. The top-down…