Validation and Verification of Knowledge Based Systems - 9781441951076

Technologia oparta na wiedzy (KB) jest stosowana do rozwiązywania złożonych problemów i zadań krytycznych w wielu obszarach zastosowań. Naturalnie pojawiły się obawy co do niezawodności systemów opartych na wiedzy (KBS). Podobnie jak w przypadku każdego oprogramowania, podczas opracowywania KBS należy zwrócić uwagę na jakość i bezpieczeństwo oraz zastosować rygorystyczne techniki weryfikacji i walidacji (V&V). Badania w V&V firmy KBS wyłoniły się jako odrębna dziedzina dopiero w ostatniej dekadzie i mają na celu zajęcie się kwestiami związanymi z aspektami jakości i bezpieczeństwa KBS oraz przyznanie takim aplikacjom takiego samego stopnia niezawodności, jak aplikacje konwencjonalne. W ostatnich latach V&V KBS było tematem corocznych warsztatów towarzyszących głównym konferencjom AI, takim jak AAAI, IJACI czy ECAI. Validation and Verification of Knowledge Based Systems zawiera zbiór artykułów dotyczących wszystkich aspektów KBS V&V, zaprezentowanych na Piątym Europejskim Sympozjum na temat weryfikacji i walidacji systemów i komponentów opartych na wiedzy (EUROVAV'99 - które odbyło się latem w Oslo z 1999 r. i był sponsorowany przez Det Norske Veritas i Grupę Specjalistyczną ds. Systemów Eksperckich (SGES) Brytyjskiego Towarzystwa Komputerowego.