Show simple item record

dc.contributor.authorCraw, Susan
dc.date.accessioned2007-03-22T10:06:51Z
dc.date.available2007-03-22T10:06:51Z
dc.date.issued1996-02
dc.identifier.citationCRAW, S., 1996. Refinement complements verification and validation. International Journal of Human Computer Studies, 44 (2), pp. 245-256en
dc.identifier.issn1071-5819en
dc.identifier.urihttp://hdl.handle.net/10059/59
dc.description.abstractKnowledge based systems are being applied in ever increasing numbers. The development of knowledge acquisition tools has eased the “Knowledge Acquisition Bottleneck”. More recently there has been a demand for mechanisms to assure the quality of knowledge based systems. Checking the contents of the knowledge base and the performance of the knowledge based systems at various stages throughout its life cycle is an important component of quality assurance. Hence, the demand now is for verification and validation tools. However, traditionally, verification and validation have identified possible faults in the knowledge base. In contrast, this paper advocates the use of knowledge refinement to correct identified faults in parallel with the ongoing verification and validation, thus easing the progress towards correct knowledge based systems. An automated refinement tool is described which uses the output from verification and validation tools to assemble evidence from which the refinement process can propose repairs. It is hoped that automated refinement in parallel with validation and verification may ease the “Knowledge V &V Bottleneck”.en
dc.format.extent202624 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherElsevieren
dc.rightsCopyright - Elsevier. You may not copy, display, distribute, modify, publish, reproduce, store, transmit, create derivative works from, or sell or license all or any part of the Content, products or services obtained from this Site in any medium to anyone, except as otherwise expressly permitted under applicable law or as described in these Terms and Conditions or relevant license or subscriber agreement.en
dc.subjectKnowledge based systemsen
dc.subjectVerification toolsen
dc.subjectValidation toolsen
dc.subjectConsistency checkingen
dc.subjectAutomated refinement toolsen
dc.subjectV & V toolsen
dc.titleRefinement complements verification and validationen
dc.typeJournal articlesen
dc.publisher.urihttp://dx.doi.org/10.1006/ijhc.1996.0012en


Files in this item

This item appears in the following Collection(s)

Show simple item record