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 describes the principal findings and recommendations of a 2-year Rand research project on machine-aided knowledge acquisition and discusses the transfer of expertise from humans to machines, as well as the functions of planning, debugging, knowledge refinement, and autonomous machine learning. The relative advantages of humans and…

Developed and demonstrated here is the design of interface systems for cost-effective communication of the user with the computerized operations research procedures. The concentration is in the area of interfacing methods for implementing the optimization techniques of mathematical programing. Emphasis is given to flexibility of accessing the…

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…

This paper describes a locally-developed multi-purpose system that stores data about any number of special collections within the libraries and prints that data in a number of formats on demand or as scheduled reports. The system operates on an IBM 360/67 dual processer with data entry via a teleprocessing system. The key to the file is the call…

How can the structure of a management system be reviewed? What specific data should be collected and what procedures should be followed? The specific data collection methodology consists of three steps: (1) description of process outputs, procedures, and inputs; (2) evaluation of effectiveness, needs, and priorities for change in the process; and…

This report and research analysis relate to the Milwaukee Area Technical College Research Project, a study undertaken to determine a curriculum to meet the information processing/management training needs of individuals entering or continuing careers in the information marketing and business data processing occupational clusters. The report of…