Запропоновано моделі та методи аналізу продукційних правил на логічну
коректність в системах нечіткого виводу шляхом їх перевірки на повноту,
несуперечливість, зв'язність та мінімальність, що дозволило формалізувати
процес формування та аналізу бази знань для підвищення якості експертного
діагностування комп'ютерних систем; вдосконалена модель представлення знань
експерта в експертних системах діагностування у вигляді продукційних правил,
цо подані в кубічній формі, яка відрізняється використанням кубітного кодування
символів багатозначного кубічного алфавіту, що дало можливість
використовувати логічні операції та значно прискорити обчислення при аналізі
продукційних правил; отримали подальший розвиток моделі представлення
діагностичних ознак різних компонентів комп'ютерних систем у вигляді лінгвістичних змінних шляхом створення формалізованого шаблону
їх представлення та оцінювання; отримали подальший розвиток моделі та
методи синтезу продукційних правил нечіткого логічного виводу в кубічній формі
шляхом призначення ваги кожному терму вхідної лінгвістичної змінної, що
дозволяє експерту формалізувати процес і зменшити час на створення
продукційних правил з довільним числом ознак і діапазонів їх значень.