|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Trevor Bench-Capon, Frans Coenen, Hyacinth Nwana, Ray Paton, Michael Shave, "Two Aspects of the Validation and Verification of Knowledge-Based Systems," IEEE Intelligent Systems, vol. 8, no. 3, pp. 76-81, June, 1993. | |||
| BibTex | x | ||
| @article{ 10.1109/64.215226, author = {Trevor Bench-Capon and Frans Coenen and Hyacinth Nwana and Ray Paton and Michael Shave}, title = {Two Aspects of the Validation and Verification of Knowledge-Based Systems}, journal ={IEEE Intelligent Systems}, volume = {8}, number = {3}, issn = {0885-9000}, year = {1993}, pages = {76-81}, doi = {http://doi.ieeecomputersociety.org/10.1109/64.215226}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Intelligent Systems TI - Two Aspects of the Validation and Verification of Knowledge-Based Systems IS - 3 SN - 0885-9000 SP76 EP81 EPD - 76-81 A1 - Trevor Bench-Capon, A1 - Frans Coenen, A1 - Hyacinth Nwana, A1 - Ray Paton, A1 - Michael Shave, PY - 1993 VL - 8 JA - IEEE Intelligent Systems ER - | |||
Two research projects that have examined problems related to system verification and validation and the associated issue of maintenance are described. The Mekas (Methodology for Knowledge Analysis) Project has developed a method to give knowledge engineers a thorough characterization of the domain, that is, a full description of the ontology, structure, functions, and theories that underpin the domain. This provides a coherent framework within which a knowledge base can be more readily identified with key aspects of the domain, aiding verification and validation. The second project, known as MAKE (Maintenance Assistance for Knowledge Engineers), was aimed at the process of constructing and revising the knowledge base. It is argued that the primary focus of verification and validation must be on the models, and the transitions between them, rather than simply on the executable representation.