We recapitulate the work done in the ESPRIT-II VALID project, the aim
of which was to develop methods and tools for the Validation of Knowle
dge-Based Systems. The project's goal was to undertake a comprehensive
approach to the problem of Validation for existing KBS. In order to d
o so, several methods for different Validation issues were created, an
d different KBS were considered. The project concrete result is a Vali
dation environment in which different KBS can be validated. It include
s a Validation toolkit comprising seven tools, ranging from inconsiste
ncy detection to KBS inspectors, that the knowledge engineer can inter
act with. Validation tools produced by the VALID project have been tes
ted on existing KBS and have been useful in improving their performanc
e. (C) 1994 John Wiley & Sons, Inc.