Introduction to the Literature on Programming Language Design

This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search

A SHORT INTRODUCTION TO EXPERT SYSTEMS

Information Systems Working Papers Serie

Database Interferencing for Decision Support

The use of databases for management decision support requires flexible inferencing mechanisms. The use of logic programming for these purposes is explored. To be flexible, however, this requires the logical decomposition of the database into elementary predicates

Introduction to the Literature On Programming Language Design

This is an introduction to the literature on programming language design and related topics. It is intended to cite the most important work, and to provide a place for students to start a literature search

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

A SHORT INTRODUCTION TO EXPERT SYSTEMS

Information Systems Working Papers Serie

Some Prototype Examples for Expert Systems v.1

This report consists of the nineteen term project reports for the graduate-level course EE695G ” Expert Systems and Knowledge Engineering”, which was offered for the fall semester of 1984 in the School of Electrical Engineering. The purpose of the term project is to provide each student an opportunity of designing and implementing a prototype expert system. The application area of each of these expert systems was selected by the student(s) working on the projects. This report is published for the purpose of documenting these results for future reference by the students of the above-mentioned course and, possibly, other workers in expert systems. The nineteen reports are grouped into seven parts based on their application domains. Part 1 - Manufacturing consists of six reports, and Part II - Robotics contains three. Two reports in each of Part III - Vision and Part IV - Management, and one in each of Part V - Structural Engineering and Part VI - Automatic Programming. The last part, Part VII - Others, consists of four reports with different applications