VALID: An environment for validation of KBS

摘要

This article aims to explain the focal points of the VALID Project (Esprit II n.2148) from the point of view of two years after its finalization. This project was one of thefirst that approached the Validation & Verification (V & V) process of KBS, not only in a theoretical way, but in a practical one. VALID developed an environment (for V & V of KBSs) that allows to build and integrate validation tools. These are constructed on a meta-language developed during the project and to integrate them with different existing AI shells or tools. This paper has been slightly extended considering the suggestions of the EUROVAV'93 attendees in the survey carried out. They suggested that, as this project was totally finished, the paper could not only summarize the project but could also add comments on it from the present point of view. So, this paper was extended to give the reader more thorough information on the project and to include the entire article presented in EUROVAV'93 [CARD-93].