The VALID project: goals, development, and results

Abstract

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 Knowledge-Based Systems. The project's goal was to undertake a comprehensive approach to the problem of Validation for existing KBS. In order to do so, several methods for different Validation issues were created, and different KBS were considered. The project concrete result is a Validation environment in which different KBS can be validated. It includes a Validation toolkit comprising seven tools, ranging from inconsistency detection to KBS inspectors, that the knowledge engineer can interact with. Validation tools produced by the VALID project have been tested on existing KBS and have been useful in improving their performance.