Quality assurance and expert systems: principles and practice

The paper concerns expert system quality assurance (QA) both by formal QA procedures and by techniques such as verification and validation. The problems particularly posed by expert system technology include difficulties in establishing correctness, reliability, and specifying and maintaining the software. However, the software engineering discipline has developed many methods to establish quality in these areas. These methods also can be applied to expert systems and their specific problems. Practical aspects of ensuring quality are expressed