We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Validation and verification of knowledge-based systems: report on EUROVAV99.
- Authors
COENEN, FRANS; BENCH-CAPON, TREVOR; BOSWELL, ROBIN; DIBIE-BARTHÉLEMY, JULIETTE; EAGLESTONE, BARRY; GERRITS, RIK; GRÉGOIRE, ERIC; LIGE¸ZA, ANTONI; LAITA, LUIS; OWOC, MIECZYSLAW; SELLINI, FLORENCE; SPREEUWENBERG, SILVIE; VANTHIENEN, JAN; VERMESAN, ANCA; WIRATUNGA, NIRMALIE
- Abstract
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.
- Publication
Knowledge Engineering Review, 2000, Vol 15, Issue 2, p187
- ISSN
0269-8889
- Publication type
Article
- DOI
10.1017/s0269888900002010