𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems

✍ Scribed by Erik Hollnagel

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
569 KB
Volume
9
Category
Article
ISSN
0167-739X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the validation and verification of pr
On the validation and verification of production systems: a graph reduction approach
✍ Stephen Murrell; Robert Plant πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 294 KB

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional

Design of service systems using a knowle
Design of service systems using a knowledge-based approach
✍ Maya Kaner; Reuven Karni πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 626 KB

## Abstract The service industry makes up an increasingly large proportion of modern economies. Despite the importance and expansion of this sector the topic of new service development, as opposed to new product development, has been largely neglected. One of the crucial steps in new service develo

A multiple approach to data analysis and
A multiple approach to data analysis and uncertainty management in knowledge-based systems
✍ Alfons Schuster; Mary Shapcott; Kenny Adamson; David A. Bell πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 194 KB πŸ‘ 3 views

This paper compares three different data analysis methods in a subfield of the coronary Ž . heart disease risk assessment CHDRA areaᎏthe identification of increased blood cholesterol levels. A data set containing the cholesterol data of 166 persons is employed as a test case, and analyzed in three e