In memory of Roger E. Hoffman, our deceased colleague whose decency, honor, humor and intellect touched all who worked with him. The Hoffman Regions described in this handbook, a crucial concept in defining the completeness and consistency of expert systems, were conceived by Roger.
Table
of Contents
1. Introduction 3. Developing a Verifiable System
7. VV&E for Small Expert Systems 8. Validating Underlying Knowledge
9. Testing the Reliability of Systems
