Professor Susan Craw s.craw@rgu.ac.uk
Emeritus Professor
Refinement complements verification and validation.
Craw, Susan
Authors
Abstract
Knowledge 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.
Citation
CRAW, S. 1996. Refinement complements verification and validation. International journal of human computer studies [online], 44(2), pages 245-256. Available from: https://doi.org/10.1006/ijhc.1996.0012
Journal Article Type | Article |
---|---|
Acceptance Date | Feb 28, 1996 |
Online Publication Date | Feb 28, 1996 |
Publication Date | Feb 28, 1996 |
Deposit Date | Mar 22, 2007 |
Publicly Available Date | Mar 22, 2007 |
Journal | International journal of human-computer studies |
Print ISSN | 1071-5819 |
Electronic ISSN | 1095-9300 |
Publisher | Elsevier |
Peer Reviewed | Peer Reviewed |
Volume | 44 |
Issue | 2 |
Pages | 245-256 |
DOI | https://doi.org/10.1006/ijhc.1996.0012 |
Keywords | Knowledge based systems; Verification tools; Validation tools; Consistency checking; Automated refinement tools; V & V tools |
Public URL | http://hdl.handle.net/10059/59 |
Contract Date | Mar 22, 2007 |
Files
CRAW 1996 Refinement complements verification
(203 Kb)
PDF
Publisher Licence URL
https://creativecommons.org/licenses/by-nc-nd/4.0/
You might also like
Fall prediction using behavioural modelling from sensor data in smart homes.
(2019)
Journal Article
Improving e-learning recommendation by using background knowledge.
(2018)
Journal Article
Case-base maintenance with multi-objective evolutionary algorithms.
(2015)
Journal Article
Learning pseudo-tags to augment sparse tagging in hybrid music recommender systems.
(2014)
Journal Article
Learning adaptation knowledge to improve case-based reasoning.
(2006)
Journal Article
Downloadable Citations
About OpenAIR@RGU
Administrator e-mail: publications@rgu.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search