Knowledge-base V&V primarily addresses the question: ``Does my knowledge-base contain the right answer and can I arrive at it?'' One of the main goals of our work is to properly encapsulate the knowledge representation and allow the expert to work with manageable-sized chunks of the knowledge-base.
โฆ LIBER โฆ
Validation and verification of KADS data and domain knowledge
โ Scribed by Alain Rouge; Jean Yves Lapicque; Florent Brossier; Yves Lozinguez
- Publisher
- Elsevier Science
- Year
- 1995
- Tongue
- English
- Weight
- 757 KB
- Volume
- 8
- Category
- Article
- ISSN
- 0957-4174
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Verification and validation of Bayesian
โ
Eugene Santos Jr.
๐
Article
๐
2001
๐
Elsevier Science
๐
English
โ 218 KB
Validation and verification of regressio
โ
Harald A. Martens; Pierre Dardenne
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 730 KB
State-of-the-practice in knowledge-based
โ
David Hamilton; Keith Kelley; Chris Culbert
๐
Article
๐
1991
๐
Elsevier Science
๐
English
โ 790 KB
The majority of the work in knowledge-based system verification and validation (KBS V& V) has focused on developing techniques and concepts for performing V& V on expert systems. Little information is available on what V& V practices are currently in use by expert system developers. This article des
The role of ontologies in the verificati
โ
Trevor J. M. Bench-Capon
๐
Article
๐
2001
๐
John Wiley and Sons
๐
English
โ 92 KB
๐ 2 views
ViVa: A systematic approach to verificat
โ
Erik Hollnagel
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 569 KB
Special issue on verification and valida
โ
Daniel O'Leary
๐
Article
๐
2001
๐
John Wiley and Sons
๐
English
โ 30 KB
๐ 2 views