Validation and Verification of Knowledge Based Systems - 9781441951076

Teadmistepõhist (KB) tehnoloogiat rakendatakse keeruliste probleemide lahendamise ja kriitiliste ülesannete lahendamiseks paljudes rakendusvaldkondades. Loomulikult on tekkinud mure teadmispõhiste süsteemide (KBS) töökindluse pärast. Nagu iga tarkvara puhul, tuleb KBS-i väljatöötamise ajal pöörata tähelepanu kvaliteedile ja ohutusele ning kasutada rangeid verifitseerimis- ja valideerimismeetodeid (V&V). KBS-i V&V-alased uuringud on kujunenud eraldiseisvaks valdkonnaks alles viimasel kümnendil ning nende eesmärk on käsitleda KBS-i kvaliteedi- ja ohutusaspektidega seotud probleeme ning tunnustada selliseid rakendusi sama töökindlusega kui tavarakendusi. Viimastel aastatel on KBSi V&V olnud iga-aastaste töötubade teemaks, mis on seotud peamiste AI konverentsidega, nagu AAAI, IJACI ja ECAI. Teadmistepõhiste süsteemide valideerimine ja kontrollimine sisaldab ettekannete kogumit, mis käsitleb KBS V&V kõiki aspekte ja mida esitleti viiendal Euroopa sümpoosionil teadmistepõhiste süsteemide ja komponentide kontrollimise ja kinnitamise kohta (EUROVAV'99 – mis toimus suvel Oslos 1999. aastal ning seda sponsoreerisid Det Norske Veritas ja Briti arvutiühingu ekspertsüsteemide ekspertrühm (SGES).