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.
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
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.
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
Catalog
Share:
Export File
Citation
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
FRANS COENEN, TREVOR BENCH-CAPON, ROBIN BOSWELL, JULIETTE DIBIE-BARTHÉLEMY, BARRY EAGLESTONE, RIK GERRITS, ERIC GRÉGOIRE, ANTONI LIGE¸ZA, LUIS LAITA, MIECZYSLAW OWOC, FLORENCE SELLINI, SILVIE SPREEUWENBERG, JAN VANTHIENEN, ANCA VERMESAN, NIRMALIE WIRATUNGA. 2000. Validation and verification of knowledge-based systems: report on EUROVAV99. The Knowledge Engineering Review. 15: doi: 10.1017/S0269888900002010
