Верификация баз знаний

Виталий11 января 2007Очистка данных2 комментария

Сейчас я работаю с базой знаний (базой продукционных правил), и мне необходимо провести хороший анализ верификации (тестирования) базы знаний на наличие таких типов ошибок как противоречивость, избыточность, наличие циклов, нарушение целостности и др. Как это сделать пока незнаю; нехватает информации. Если кто-нить что-нить знает про эту тему напишите. Буду очень признателен.