бази знань, (БЗ), базы знаний, (БЗ), knowledge bases ; верифікація, верификация ; експертні системи, ЕС, экспертные системы, ЭС, expert systems, systemes experts ; комп'ютерні системи, компьютерные системы, computer systems, systemes d'ordinateur ; корпоративні комп'ютерні мережі, ККМ, корпоративные компьютерные сети, ККС ; лінгвістичні змінні, лингвистические переменные ; локальні обчислювальні мережі, ЛОМ, локальные вычислительные сети, ЛВС, local area networks, LAN ; мови опису апаратури, МОА, языки описания аппаратуры, ЯОА ; продукційні правила, продукционные правила ; системи нечіткого виведення, системы нечеткого вывода

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

• УДК // Діагностичні експертні системи