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)

The application of artificial intelligence (AI) techniques to the design of personal learning environments is an enterprise of both theoretical and practical interest. In the short term, the process of developing and testing intelligent tutoring programs serves as a new experimental vehicle for exploring alternative cognitive and pedagogical…

A production system simulator has been developed which is capable of simulating a wide variety of realistic manufacturing environments. The simulator is used as an aid in teaching the concepts of designing production control systems and as a research vehicle for investigating various aspects of control theory for production systems. This report…

Software design is still a craft; techniques are based on the way things have been done, not on basic theorems or design principles. Suggests that academic software design needs to be more like a science or technology and that a taxonomy of design solutions or classification method is required. Describes two case studies. (MLW)

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…

Computer-assisted instruction (CAI) attacks one of the greatest problems of education--how to get sufficient variety in educational materials to teach each individual without requiring a group of trained personnel to prepare all possible variations. CAI permits individualization electronically. CAI can be used to train problem solving, for drill…

Preliminary specifications of major equipment and programing systems characteristics for a remote terminal central computing facility serving 25-75 secondary schools are presented. Estimation techniques developed in a previous feasibility study were used to delineate workload demands for four model regions with different numbers of institutions…

The economic and technical feasibility of providing a remote terminal central computing facility to serve a group of 25-75 secondary schools and colleges was investigated. The general functions of a central facility for an educational cluster were defined to include training in computer techniques, the solution of student development problems in…