Рыбина, Г. В. Методы и алгоритмы верификации баз знаний в интегрированных экспертных системах [Текст] / Г. В. Рыбина, В. В. Смирнов // Известия РАН. Теория и системы управления. - 2007. - N 4. - С. 91-102. - Библиогр.: c. 101-102 (44 назв. )
Рубрики: Математика--Исследование операций Кл.слова (ненормированные): базы знаний -- верификация баз знаний -- верификация экспертных систем -- интегрированные экспертные системы -- экспертные системы Аннотация: Представлены краткий анализ и сравнение методов верификации экспертных систем и традиционных программ. Показаны особенности верификации баз знаний интегрированных экспертных систем, описаны методы и алгоритмы обнаружения статических и динамических аномалий в поле знаний. Доп.точки доступа: Смирнов, В.В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |