Author(s)

F. Coenen, A. Taleb-Bendiab & R. Forster

Abstract

Verification of rule-bases using incidence matrices: the IMVER system F. Coenen," A. Taleb-Bendiab^ & R. Forster" " Department of Computer Science, Liverpool University, Chadwick Building, P.O. Box 147, * Department of Mechanical Production and Chemical Engineering, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester Ml 5GD, UK ABSTRACT The verification of Knowledge Base Systems (KBSs) used in the engineering industry should be a vital part of the KBS life-cycle. How- ever the operation of KBS is often found to be, at best, ineffective and at worst wrong. As a result increased maintenance costs are experienced. Although it is not possible to absolutely guarantee that a KBS is error free we can gain confidence in its operation using verification tools. Here we describe the IMVER (Incidence Matrix VERification) system, a sys- tem for verying rule-bases associated with KBSs. As the name suggests the system is based on the concept of incidence matric

Keywords