Validation and Verification of Knowledge Based Systems - 9781441951076

Žiniomis pagrįsta (KB) technologija yra taikoma sudėtingoms problemoms spręsti ir svarbioms užduotims daugelyje taikomųjų programų sričių. Natūralu, kad kilo susirūpinimas dėl žiniomis pagrįstų sistemų (KBS) patikimumo. Kuriant KBS, kaip ir bet kuriai programinei įrangai, dėmesys turi būti skiriamas kokybei ir saugai ir turi būti taikomi griežti tikrinimo ir patvirtinimo (V&V) metodai. KBS V&V tyrimai tapo atskira sritimi tik pastarąjį dešimtmetį ir yra skirti spręsti problemas, susijusias su KBS kokybės ir saugos aspektais, ir suteikti tokioms programoms tokį patį patikimumo laipsnį kaip ir įprastinės programos. Pastaraisiais metais KBS V&V buvo kasmetinių seminarų, susijusių su pagrindinėmis AI konferencijomis, tokiomis kaip AAAI, IJACI ir ECAI, tema. Žiniomis pagrįstų sistemų patvirtinimas ir tikrinimas apima straipsnių rinkinį, kuriame nagrinėjami visi KBS V&V aspektai, pristatyti penktajame Europos žiniomis pagrįstų sistemų ir komponentų tikrinimo ir patvirtinimo simpoziume (EUROVAV'99, kuris vyko Osle vasarą). 1999 m., jį rėmė Det Norske Veritas ir Britų kompiuterių draugijos ekspertų sistemų ekspertų grupė (SGES).