Validation Methods and Tools for Knowledge-Based Systems


VALID - 2148

Keywords knowledge-based systems, software validation


Start Date: 23-DEC-88 / Duration: 36 months

[ contact / participants ]


Objectives and Approach

VALID aimed to advance the ability to validate knowledge-based systems. The objective was to develop a tool-box based on a common representation within which the validation concepts could be defined and analysed.

The approach was to develop the following methodologies:

These have provided the basis for several software products:

Progress and Results

VALID provides the KBS project leader with:

The quality manual: The KBS quality assurance and control consists in a set of actions to be done along all the life-cycle. The quality manual describes each action with respect to its goals, the validation tools required and the people involved in the action (knowledge engineer, developer, expert, user).

VETA: VETA is a metalanguage that features around 1000 primitives dedicated to validation, working on a common conceptual knowledge representation (CCR). This CCR allows to support any KBS that deals with: knowledge representation based on objects and rules, single-inheritance, first-order logic, rule-set, metarules, etc. The validation tools have been developed with VETA.

Validation tools: The seven validation tools cover a wide area of validation problems, ranging from purely practical aspects to validation problems that are topics of research:

Exploitation

VALID meets the need for the development of a uniform approach to the validation of knowledge-based systems and the provision of the associated generic methods and tools. The results from the project are used by FRAMENTEC-COGNITECH in relation with its existing KBS applications and shells. Feedback from experience allows to consolidate and regularly complete these results for example by considering more complex type of KBS including for example several technologies like artificial intelligence, operation research, databases and classical software. These extended results are also used by the company in its consulting activities.

Computer Resources International applies the results of VALID in the Aerospace industry. This is primarily done via the Esprit VIVA project where the results from VALID are carried further towards a method and toolset supporting Validation and Verification as part of the development process for knowledge-based systems.

Centre d'Estudis Avancats de Blanes makes research use of the VALID results and incorporates them into its own KBS building tool.

The AI laboratory of Universidad Politecnica de Madrid has incorporated both the theoretical results to the current courses, and practical results for improving the VALID software and also developing new tools for V&V industrial needs.


CONTACT POINT

Mr Pierre Mariot
FRAMENTEC-COGNITECH SA
Tour Fiat Cedex 16
F - 92084 PARIS LA DEFENSE
tel: + 33/ 1 47967358
fax: + 33/ 1 47964600

Participants

FRAMENTEC-COGNITECH SA - F - C
CEAB - E - P
UNIVERSIDAD POLITECNICA DE MADRID - E - P
CRI A/S - DK - P


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

VALID - 2148, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook