Abstract
The goal of this talk is to show that the set of available Validation and Verification (V&V) tools could be larger for Knowledge-Based Systems (KBSs) than for classical software. All the tools which use a black box approach may be applied on KBSs and a great number of glass box tools can be adapted to KBSs. For example the test-data generation is really effective with KBSs.
Moreover, the KBSs have more or less a declarative part and V&V requirements can be checked on the corresponding Knowledge Bases (KB). The KB consistency can be one of these requirements.
Some of the V&V requirements are very difficult to check on KBSs. The reason is not in the nature of a KBS or in the nature of the checking. The KBS approach is used to solve complex problems and then the V&V checkings are obviously also complex problems.
Download to read the full chapter text
Chapter PDF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ayel, M. (1996). Verification and Validation of Knowledge Based Systems. In: Bologna, S., Bucci, G. (eds) Achieving Quality in Software. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34869-8_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-34869-8_4
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4392-0
Online ISBN: 978-0-387-34869-8
eBook Packages: Springer Book Archive