ISSUES IN THE VERIFICATION AND VALIDATION OF KNOWLEDGE-BASED SYSTEMS

1993 ◽  
pp. 173-189
Author(s):  
ROBERT M. O'KEEFE
Keyword(s):  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based

scholarly journals Verification and validation of knowledge-based systems

1999 ◽  
Vol 11 (1) ◽  
pp. 202-212 ◽  
Author(s):  
Wei-Tek Tsai ◽  
R. Vishnuvajjala ◽  
Du Zhang
Keyword(s):  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based

Verification and validation of knowledge-based systems with formal specifications

1995 ◽  
Vol 10 (4) ◽  
pp. 331-343 ◽  
Author(s):  
Pedro Meseguer ◽  
Alun D. Preece
Keyword(s):  
Conceptual Model ◽  
Formal Specification ◽  
Conceptual Models ◽  
Verification And Validation ◽  
Formal Specifications ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Prior Construction ◽  
Specification Techniques

AbstractThis paper examines how formal specification techniques can support the verification and validation (V&V) of knowledge-based systems. Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications. Developing a formal specification for a system requires the prior construction of a conceptual model for the intended system. Many elements of this conceptual model can be effectively used to support V&V. Using these elements, the V&V process becomes deeper and more elaborate, and it produces results of a better quality compared with the V&V activities which can be performed on systems developed without conceptual models. However, we note that there are concerns in using formal specification techniques for V&V, not least being the effort involved in creating the specifications.

Overview of current practice and research initiatives for the verification and validation of KBS

1992 ◽  
Vol 7 (2) ◽  
pp. 101-113 ◽  
Author(s):  
T. J. Lydiard
Keyword(s):  
Current Practice ◽  
Recent Literature ◽  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Knowledge Based ◽  
Research Initiatives ◽  
Specific Technology

AbstractBased 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.

Validation and verification of knowledge-based systems: report on EUROVAV99

2000 ◽  
Vol 15 (2) ◽  
pp. 187-196 ◽  
Author(s):  
FRANS COENEN ◽  
TREVOR BENCH-CAPON ◽  
ROBIN BOSWELL ◽  
JULIETTE DIBIE-BARTHÉLEMY ◽  
BARRY EAGLESTONE ◽  
...  
Keyword(s):  
Problem Solving ◽  
Complex Problem ◽  
Verification And Validation ◽  
Knowledge Based Systems ◽  
Quality And Safety ◽  
Complex Problem Solving ◽  
Validation And Verification ◽  
Safety Aspects ◽  
Knowledge Based ◽  
Distinct Field

Knowledge-Based (KB) technology is being applied to complex problem solving and safety and business critical tasks in many application domains. Concerns have naturally arisen as to the dependability of Knowledge-Based Systems (KBS). As with any software, attention to quality and safety must be paid throughout development of a KBS, and rigorous Verification and Validation (V&V) techniques must be employed. Research in V&V of KBSs has emerged as a distinct field only in the last decade, and is intended to address issues associated with quality and safety aspects of KBSs, and to provide such applications with the same degree of dependability as conventional applications. In recent years, V&V of KBSs has been the topic of annual workshops associated with the main AI conferences, such as AAAI, IJCAI and ECAI.

Sign in / Sign up

Export Citation Format

Share Document