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

• DOI: 10.1017/s0269888900002010
• Publication Date: 2002-07-27T13:29:39Z
• Authors: FRANS COENEN; TREVOR BENCH-CAPON; ROBIN BOSWELL; JULIETTE DIBIE-BA...; BARRY EAGLESTONE; RIK GERRITS; ERIC GRÉGOIRE; ANTONI LIGE¸ZA; LUIS LAITA; MIECZYSLAW OWOC; FLORENCE SELLINI; SILVIE SPREEUWENBERG; JAN VANTHIENEN; ANCA VERMESAN; NIRMALIE WIRATUNGA
• Keywords: 0102 computer and information sciences; 01 natural sciences

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.