Анализ корректности продукционных правил в системах нечеткого логического вывода с использованием квантовых моделей

Abstract

Рассматривается вопрос автоматизации проверки на корректность базы знаний продукционных правил, которая лежит в основе экспертного анализа компьютерной системы. Экспертный анализ того или иного компонента системы основывается на экспертной оценке выбранных диагностических признаков с использованием правил и процедур нечеткой логики. Предлагается квантовая модель кодирования символов многозначного алфавита. Разрабатывается компьютерная программа, которая позволяет выполнить формальную проверку базы продукционных правил на корректность и тем самым значительно улучшить качество системы нечеткого экспертного диагностирования в целом.