Overview of current practice and research initiatives for the verification and validation of KBS
- 1 June 1992
- journal article
- research article
- Published by Cambridge University Press (CUP) in The Knowledge Engineering Review
- Vol. 7 (2), 101-113
- https://doi.org/10.1017/s0269888900006238
Abstract
Based on a survey of recent literature, this report aims to highlight the issues associated with the verification and validation of knowledge based systems. The confusion arising from the lack of clear terminology is considered, along with some of the characteristics of knowledge based systems that cause particular difficulties for verification and validation. The various approaches that can be adopted to address these difficulties are discussed, followed by a survey of recent research initiatives. The author concludes that many of the difficulties associated with the verification and validation of knowledge based systems are a feature of the complexity of the system being built and the manner of its development rather than of the specific technology chosen to implement it.Keywords
This publication has 7 references indexed in Scilit:
- Verification of rule-based knowledge using directed graphsKnowledge Acquisition, 1991
- An approach towards the verification of expert systems using numerical petri netsInternational Journal of Intelligent Systems, 1991
- A methodology for validating large knowledge basesInternational Journal of Man-Machine Studies, 1990
- Issues in the verification of knowledge in rule-based systemsInternational Journal of Man-Machine Studies, 1989
- Knowledge Base VerificationPublished by Elsevier ,1989
- A decision-table-based processor for checking completeness and consistency in rule-based expert systemsInternational Journal of Man-Machine Studies, 1987
- Validating Expert System PerformanceIEEE Expert, 1987