THE VALID PROJECT - GOALS, DEVELOPMENT, AND RESULTS

Citation
P. Meseguer et E. Plaza, THE VALID PROJECT - GOALS, DEVELOPMENT, AND RESULTS, International journal of intelligent systems, 9(9), 1994, pp. 867-892
Citations number
33
Categorie Soggetti
System Science","Controlo Theory & Cybernetics","Computer Sciences, Special Topics","Computer Science Artificial Intelligence
ISSN journal
08848173
Volume
9
Issue
9
Year of publication
1994
Pages
867 - 892
Database
ISI
SICI code
0884-8173(1994)9:9<867:TVP-GD>2.0.ZU;2-7
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 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.