Целью данной магистерской аттестационной работы является формализация представления продукционных правил в базе знаний системы логического вывода и разработка процедур их анализа на корректность. В качестве объекта диагностирования рассмотрено аппаратное и программное обеспечение, а также квалификация персонала компьютерной системы. Экспертная оценка любого из перечисленных компонентов компьютерной системы основывается на выбранных диагностических признаках с использованием правил и процедур нечеткой логики. В ходе выполнения работы решены следующие задачи: разработана компактная форма представления продукционных правил с использованием кубитной кодировки; разработаны процедуры формальной проверки продукционных правил на корректность; исследованы возможности использования кубической формы представления продукционных правил в качестве базы знаний для системы нечеткого вывода с последующей её реализацией в системе Matlab. Разработанные методы реализованы при экспертном оценивании и диагностировании различных компонентов компьютерных систем. СИСТЕМА ЛОГИЧЕСКОГО ВЫВОДА, ЭКСПЕРТНОЕ ОЦЕНИВАНИЕ, НЕЧЕТКАЯ ЛОГИКА, БАЗА ЗНАНИЙ, ПРОДУКЦИОННЫЕ ПРАВИЛА. Метою даної магістерської атестаційної роботи є формалізація представлення продукційних правил в базі знань системи логічного виведення і розробка процедур їх аналізу на коректність. В якості об'єкта діагностування розглянуто апаратне та програмне забезпечення, а також персонал комп'ютерної системи. Експертна оцінка будь-якого з перерахованих компонентів комп'ютерної системи ґрунтується на обраних діагностичних ознаках з використанням правил і процедур нечіткої логіки. У ході виконання роботи вирішено такі задачі: розроблена компактна форма подання продукційних правил з використанням кубітного кодування; розроблені процедури формальної перевірки продукційних правил на коректність; досліджені можливості використання кубічної форми подання продукційних правил в якості бази знань для системи нечіткого виведення з наступною її реалізацією в системі Matlab. Розроблені методи реалізовані при експертному оцінюванні та діагностуванні різних компонентів комп'ютерних систем. СИСТЕМА ЛОГІЧНОГО ВИВЕДЕННЯ, ЕКСПЕРТНЕ ОЦІНЮВАННЯ, НЕЧІТКА ЛОГІКА, БАЗА ЗНАНЬ, ПРОДУКЦІЙНІ ПРАВИЛА. The aim of certification diploma is the formalization of the production rules representation in the knowledge base in the inference systems and the development of procedures for their correctness analysis. Hardware, software and qualifications of the computer system personnel were considered as the object of diagnosis. Expert evaluation of any of the computer system components is based on the selected diagnostic characters using the rules and procedures of fuzzy logic. Problems which were solved in the course of work: the compact form of the production rules representation using qubit encoding was developed; formal verification procedures for correctness of the production rules were developed; the possibility of using the cubic form of the production rules representation as a knowledge base of the fuzzy inference system, followed by its implementation in the system Matlab was studied. The developed methods for expert evaluation and diagnosis of various components of computer systems were implemented. INFERENCE SYSTEMS, EXPERT EVALUATION, FUZZY LOGIC, KNOWLEDGE BASE, PRODUCTION RULES.
