CC BY-NC
42Анализ программных средств реализации нечетких экспертных систем
доцент, Ростовский государственный экономический университет (РИНХ)
344002, Россия, г. Ростов-на-Дону, ул. Большая Садовая, 69, оф 308
кандидат экономических наук
Глушенко Сергей Андреевич
И gs-gears@yandex.ru
Статья из рубрики "Математическое и программное обеспечение новых информационных технологий"
Аннотация. Объектом исследования является предприятия и организации различных отраслей, ведущие проектно-ориентированный бизнес. Предметом исследования являются процессы принятия решений, протекающие при реализации различных проектов. Повышение эффективности принимаемых решений может быть достигнуто посредством применения экспертных систем (ЭС). При этом ЭС должна основываться на современных методах обработки информации в условиях неопределённости. Для этого предлагается использовать экспертные системы на базе методов и моделей нечеткой логики. Особое внимание в статье автор уделяет функциональным требования, которым должна соответствовать нечеткая ЭС. Автор подробно рассматривает существующий перечень программных средств (ПС) реализации нечетких ЭС, а для выявления оптимального ПС, соответствующего требованиям, применяется метод анализа сложных систем по критерию функциональной полноты профессора Г.Н. Хубаева. В результате проведения анализа установлено, что существующие ПС во многом не отвечают функциональным требованиям, поэтому разработка нового и эффективного инструментария является актуальной задачей.Анализ также позволил определить программные средства со схожим набором функций, оценить степень подобия и степень соответствия рассматриваемых систем «эталонной» модели информационной системы, учитывающей требования пользователя.
Ключевые слова: экспертная система, риск, нечеткая логика, функциональная полнота, количественная оценка, матрица превосходства, матрица подобия, матрица поглощения, граф, эталонная модель
DOI: 10.7256/2454-0714.2017.4.24251
Дата направления в редакцию: 13-11-2017
Дата рецензирования: 25-09-2017
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 16-31-00285 мол_а «Методы и модели нечеткой логики в системах принятия решений управления рисками»
Введение
В последние годы выживание проектно-ориентированного бизнеса в современных условиях жесткой конкуренции напрямую зависит от уровня его автоматизации. Особые
требования выдвигаются к организации процесса управления, менеджмент организации ежедневно сталкивается с большим разнообразием ситуаций при принятии решений.
Большинство процессов принятия управленческих решений в проектах по созданию конечного продукта происходят в условиях неопределённости, которая проявляется в виде ограниченности или нечеткости информации об условиях реализации проектного
продукта (ПП) Г1-4]. Как показал анализ, неопределённость присутствует на всех этапах жизненного цикла (ЖЦ) проекта, что определяет высокую ответственность лица,
принимающего решения (ЛПР)
Проявление неблагоприятных ситуаций в процессе реализации проекта напрямую зависит от решений, принятых на начальных этапах проекта, это может быть препятствием для достижения поставленных целей, и характеризовано риском.
Повышение эффективности принимаемых решений в управлении проектами возможно с помощью автоматизации процессов идентификации, качественного и количественного анализа рисков посредством применения экспертных систем (ЭС), обеспечивающих поддержку принятия решений. Данные системы включают совокупность процедур, которые обеспечивающих ЛПР, необходимой информацией и рекомендациями, которые помогают облегчить процесс принятия решений. При этом ЭС должна основываться на современных методах обработки информации в условиях неопределённости и позволять проводить анализ рисков, вырабатывать, оценивать и принимать эффективные решения. Для этого целесообразно использовать экспертные системы на базе методов и моделей нечеткой логики, которые предоставляют возможность строить модели предметных
областей, характеризующихся существенной неопределенностью Г6, 7]. Такие системы позволяют реализовать комплексный учет различных факторов (качественных и количественных), используя нечеткие числа, множества и лингвистические переменные Г8-101.
Формирование требований к системе
Выбор программных средств (ПС) реализации нечеткой экспертной системы для поддержки принятия решений производиться в соответствии с требованиями, которые предъявляются на разных циклах и этапах разработки. Совокупность требований к ПС включает основные, функциональные и нефункциональные, а также экономические требования.
Функциональные требования отражают желаемое поведение программного средства, определяя выполняемые действия. К функциональным требованиям относятся: описание и анализ проблемной ситуации; реализация нечеткой экспертной системы, включающей базы правил (БП) и базы лингвистических переменных; обучение нечеткой модели на основе статистических данных по проекту; поддержка принятия решений и др.
Нефункциональные требования не связаны с функциями, которые выполняет система и определяют не поведенческие аспекты, они связаны с такими свойствами системы, как защита данных, надежность, коммуникативность, обеспечение доступа к базам правил и базам лингвистических переменных и т.д. Следует отметить, что некоторые нефункциональные требования, которые относятся к ПС в целом, являются более критичными, нежели отдельные функциональные требования, следовательно ошибка в функциональном требовании, может привести к снижению качества разрабатываемой системы.
При выборе программных средств также необходимо учитывать экономические требования, которые характеризуют экономическую эффективность, финансовые и временные затраты на внедрение и сопровождение ПС.
На рисунке 1 представлено схематичное отображение требований к программному средству реализации нечеткой экспертной системы для поддержки принятия решений.
Рисунок 1 - Схема требований к системе
На рисунке 2 приведено схематичное отображение вариантов использования (UseCases), которая охватывает функциональные требования процесса формирования нечеткой модели при построении экспертной системы.
Рисунок 2 - Схема вариантов использования требований к системе
Действующее лицо — Менеджер (ЛПР) задействует вариант использования (ВИ) «Формирование нечеткой модели» в процессе нечеткого моделирования для конкретной предметной области, который включает ВИ «Формирование лингвистических переменных» и «Формирование базы правил». Далее посылается сообщение на выполнение варианта использования (ВИ) «Задание цели нечеткого моделирования».
Цель определяет необходимые входные лингвистические переменные (ЛП) и базу правил, которые должен сформировать Менеджер. База правил и база ЛП (рабочая область) определяют возможность выполнения ВИ «Инициировать нечеткий вывод», который вычисляет функцию принадлежности выходной лингвистической переменной, характеризующей цель проекта. Вариант использования «Выполнить обучение модели» выполняется по сигналу от Менеджера и использует ВИ «Инициировать нечеткий вывод» для корректировки параметров функций принадлежности нечеткой модели.
Сравнительная количественная оценка программных средств по критерию функциональной полноты
На рынке представлено большое разнообразие ПС предназначенных для реализации нечетких экспертных систем и решения задач нечеткого моделирования. Однако несмотря на актуальность решения задачи выбора программного продукта, которых удовлетворяет определенным требованиям, до сих пор не существует единой методики комплексной оценки программных средств. В данном исследовании для решения этой задачи был использован метод анализа сложных систем по критерию функциональной
полноты проф. Г.Н. Хубаева
Применив указанный метод в задаче выбора ПС реализации нечетких экспертных систем, также могут быть решены следующие подзадачи: выделить основные функции ПС; определить группы схожих ПС; ранжировать ПС по функциональной полноте; определить ПС, превосходящие другие; сопоставить сравниваемые ПС с требованиями требованиям «эталонной» модели.
Для реализации сравнительного анализа обозначим множество «систем-претендентов»
как S = где I = Г1, п]. В таблице 1 представлены наименования анализируемых
программных средств, среди которых присутствует гипотетическая система, подходящая под требования «эталонной» модели.
Таблица 1 - Перечень исследуемых ПС
Код H;j jh:jhhl' системы
S1 FuzzyTECH (Inform Software)
S2 CubiCalc (Hyper Logic)
S3 Fuzzy Logic Toolbox (MatLab)
S4 FlcxTool для Mat Fab (CynapSys)
S5 Scilab
S6 Dcductor {Ncura 1N etworkW i zard)
S7 FisPro
S8 Гипотетическая система
Приведем краткое описание исследуемых информационных систем.
Программное средство FuzzyTECH, которое разработано в компании INFORM GmbH (Inform Software Corporation, Германия), применяется для решения задач, основанных на
нечеткой логике И21. Являясь специализированным средством, позволяет разрабатывать и исследовать нечеткие модели разного типа в графическом режиме, преобразовывать модели в программный код, для последующего использования в микроконтроллерах.
CubiCalc - пакет, предназначенный для реализации методов нечеткой логики в качестве экспертных систем с использованием нечетких правил -Ш!. Применяется для ситуационного моделирования в различных сферах, для управления в условиях
недостаточной информации. С помощью пакета решаются задачи динамического управления и динамического моделирования с изменяющимися параметрами в сложных предметных областях. Программа может работать в интерактивном и пакетном режиме и позволяет осуществлять редактирование нечетких правил как в исходном коде (на подобии языка "С"), так и в графическом представлении.
Fuzzy Logic Toolbox - пакетное расширение MATLAB, включающее инструменты проектирования систем нечеткой логики, проведения кластеризации нечеткими алгоритмами, а также создания экспертных систем на основе нечеткой логики -U^i. Пакет включает функции разработки нечеткой модели с использованием командной строки и графического интерфейса. Функции пакета, написанные на открытом языке MATLAB, позволяют контролировать как исполняются алгоритмы, как изменяется исходный код, а также есть возможность создания собственных функции и процедур.
FlexTool - специализированный коммерческий пакет расширения MATLAB от компании
CynapSys I15!. В отличии от пакета Fuzzy Logic Toolbox, в FlexTool доступны функции обучения адаптивных нечетких моделей на основе генетических алгоритмов и эволюционных вычислений. В пакете присутствуют три типа функций принадлежности (трапецеидальная, гауссова, треугольная,), два алгоритма нечеткого вывода (Сугено, Мамдани), десять способов нечеткой импликации и восемь методов дефаззификации. Обучение модели с помощью генетического алгоритма может быть осуществлено с помощью стандартного, модифицированного (Micro-GA) и устойчивого (Steady State GA) а лгоритма .
Scilab - пакет математических прикладных программ, имеющий открытое окружение для научных расчётов Это свободно распространяемое программное средство, что
является самым главным достоинством. Пакет позволяет работать с большим числом специальных функций (интегральные функции, Неймана, Бесселя), решать задачи линейной алгебры, симуляции, оптимизации, имеет мощные средства для работы с полиномами, матрицами, производить численное интегрирование, а также включены средства построения и работы с графиками. Несмотря на то, что пакет Scilab содержит огромное количество математических функций, обладает возможностями добавления новых функций, которые могут быть написаны на таких языках как Fortran, C, C++ и т.д.
Deductor - платформа для создания законченных аналитических решений,
представляющая собой программный эмулятор нейрокомпьютера I17!. Программное средство реализует многослойную нейронную сеть, которая обучается с помощью алгоритма обратного распространения ошибки. ПС применяться для таких задач как анализ информации, построение моделей процессов и прогнозирование. В платформу встроены современные методы извлечения, визуализации и анализа данных.
FisPro (Fuzzy Inference System Professional) - профессиональное программное обеспечение для проектирования, разработки и тестирования систем нечеткого вывода,
базирующихся на математическом аппарате нечеткой логики ИШ. FisPro обладает широкими возможностями для создания и работы систем нечеткого вывода, включая возможности автоматического обучения систем и создания баз нечетких правил, является свободно распространяемым программным продуктом.
Под гипотетической системойподразумевается система, которая максимально соответствует сформированным ранее требованиям.
Словарь функций, состоящий из множества реализуемых программными средствами,
обозначим как F = где =
ПС составило - 21, т.е. j = 21.
Программные системы и вычислительные методы, 2017 - 4 Г1, т]. Количество выделенных функций (таблица 2) для
Таблица 2 - Анализируемые функции ПС
Код Нащание функции
П Экспорт/Сохранение результатов
VI Им порт/3 агрузка ре зуп ьт ато в
гз Создание экспортных систем
Р4 Выбор вида функций принадлежности
Формирование баз правил
¥6 Автоматическая генерация функций принадлежности
¥7 Автоматическая генерация нечетких правил
Р8 Формирование многоуровневой нечет кой модели
Выбор механизма нечетко]и вывода
ни Выбор методов обучения
ш Отображение структуры системы нечеткого вывода
П2 Качественная оценка
ИЗ Количественная оценка
И 4 Интегральная качественная и количественная оценка
И.5 Поддержка различных видов рас пределе г гия
Иб Поддержка обучения модели с помощью генетического алгоритма
П7 Преобразование модели в программный код
Р18 Проектирование нечетких нсйросетсй
¥29 Графическое представление нечеткого моделирования
Р20 Формирование решения по результатам моделирования
Р21 Сохранение отчета по результатам моделирования
Исходная информация будет представлена в виде матрицы X (таблица 3), элементы которой Г-'",., I определяются по следующему принципу:
X —
\ 1, если ] — ая функция реализуется ; — м ПС
10, если не реализуется Таблица 3 - Элементы матрицы X
52 N3 54 55 56 57 58
¥1 1 1 1 1 1 1 1 1
Р2 1 0 1 1 1 1 0 1
РЗ 0 1 1 0 0 0 0 1
Р4 1 0 0 1 0 1 1 1
Р5 1 0 1 ] 1 1 1 ]
Р6 0 ] 0 0 0 0 0 0
Р7 0 ] 0 0 0 0 0 0
Р8 1 0 0 0 0 0 0 ]
Р9 0 0 0 1 0 0 1 0
Р10 1 0 1 1 1 1 1 1
Р11 1 0 0 а 0 0 0 1
¥\2 1 0 1 0 1 1 0 ]
ИЗ 1 ] 1 1 1 1 1 ]
П4 0 0 0 0 0 0 0 ]
Р15 1 0 0 ] 0 0 0 ]
F^ь 0 0 0 ] 0 0 0 ]
¥М 1 ] 1 0 1 0 0 0
П8 0 0 1 0 0 1 0 0
Р29 1 1 1 1 1 1 1 1
Р20 0 0 0 0 0 0 0 1
¥21 0 0 0 0 0 0 0 1
Абсолютная оценка функционального превосходства одного программного средства над
другим характеризуется матрицей —
выг
, где элементы р10 равны числу функций, полняемых программной системой Б/, но не реализуемой системой где ^ к = п].
Элемент р10 представляет собой мощность разности множеств Z/■ и Z^<•, т.е. р10 = |Р
гк
Матрица Р10 =
абсолютной оценки функционального превосходства одного
программного средства над другим (таблица 4).
Таблица 4 - Матрица абсолютного функционального превосходства одного программного средства над другим
51 52 вз 54 55 56 57 58
0 3 2 1 0 1 1 5
82 8 0 5 6 4 й 4 12
вз 4 2 0 3 0 1 2 8
84 4 4 4 0 2 2 0 8
4 3 2 3 0 2 2 9
86 4 4 2 2 1 0 1 8
6 4 5 2 3 3 0 10
88 ] 3 2 1 1 1 1 0
Относительная характеристика сопоставимости программных средств в части дублирующихся в них функций, т.е. степень поглощения системой Бк системы Б/ может
быть осуществлена с помощью матрицы £[ — по следующей формуле:
1М
, где элементы матрицы вычисляются
=
Рп
р ,7 + р
•-.(о < < I )
Матрица Н =
гк
характеризующая относительную сопоставимость программных
средств (таблица 5) в части дублирующихся в них функций.
Таблица 5 - Матрица, характеризующая относительную сопоставимость программных с ре дс тв
81 82 ЙЗ 84 85 86 Б7 88
S1 1.000 0,333 0.667 0,667 0.667 0,667 0,500 0,917
82 0,571 1,000 0.714 0,429 0,571 0,429 0,429 0,571
83 0.800 0,500 1.000 0,600 0.800 0,800 0,500 0,800
Я4 0.889 0,333 0.667 1,000 0,667 0,778 0,778 0,889
Я5 1.000 0,500 1.000 0,750 1,000 0,875 0,625 0,875
84 0.889 0,333 0.889 0,778 0,778 1,000 0,667 0,889
Б7 0.857 0,429 0.714 1,000 0,714 0,857 1,000 0,857
88 0.688 0,250 0.500 0,500 0,438 0,500 0,375 1,000
Относительную характеристику взаимосвязи программных средств, основанную на объединенной их попарной функциональности, т.е. степень подобия систем Б^ и Б,
описывает матрица
с =
| Згк
, где элементы матрицы д^ представляют собой оценку
подобия систем - меру подобия Жаккарда и вычисляются по следующей формуле:
, характеризующая относительную взаимосвязь программных средств
Матрица С — |д ^ (таблица 6).
Таблица 6 - Матрица относительной взаимосвязи программных средств
51 82 ЙЗ Б4 85 86 87 88
81 1.000 0,267 0,571 0,615 0,667 0,615 0,462 0,647
Б2 0.267 1,000 0.417 0,231 0,364 0,231 0,273 0,211
83 0.571 0,417 1.000 0,462 0,800 0,727 0,417 0,444
84 0.615 0,231 0.462 1,000 0,545 0,636 0,778 0,471
85 0.667 0,364 0.800 0,545 1,000 0,700 0,500 0,412
86 0.615 0,231 0.727 0,636 0,700 1,000 0,600 0,471
87 0.462 0,273 0,417 0,778 0,500 0,600 1,000 0,353
88 0,647 0,211 0.444 0,471 0,412 0,471 0,353 1,000
На основе матриц Р, Н \л С строят логические матрицы превосходства .Рп —
подобия £?п —
и поглощения (включения) —
. Элементы матрицы Рд
вычисляются по следующей формуле:
матрицы Нд вычисляются по формуле:
а для матрицы Gд как:
Где €р , €д и € ^ пороговые значения соответственно для матриц Рд, Нд и Бд. Логическая матрица превосходства для порогового значения €р = 5 (таблица 7). Таблица 7 - Логическая матрица превосходства для порогового значения €р = 5
81 52 53 54 55 56 57 58
51 0 1 1 1 1 1 ] 1
52 0 0 1 0 1 0 1 0
53 1 1 0 1 1 1 ] 0
54 1 1 1 0 1 1 1 0
55 1 1 1 1 0 1 ] 0
56 1 1 1 1 1 0 1 0
57 0 1 1 1 1 1 0 0
58 1 1 1 1 1 1 1 0
Логическая матрица подобия для порогового значения €д - 0,6 (таблица 8). Таблица 8 - Логическая матрица подобия для порогового значения €д = 0,6
Б1 52 53 54 55 56 57 58
51 0 0 0 1 1 1 0 1
Б2 0 0 0 0 0 0 (1 0
53 0 0 0 0 1 1 0 0
54 1 0 0 0 0 1 1 0
55 1 0 1 0 0 1 0 0
Б6 1 0 1 1 1 0 1 0
57 0 0 0 1 0 1 0 0
58 1 0 0 0 0 0 (1 0
Логическая матрица поглощения функциональности информационных систем для уровня £>г = 0,8 (таблица 9).
Таблица 9 - Логическая матрица поглощения функциональности информационных систем для уровня бд = 0,8
51 Э2 53 Э4 55 86 87 88
51 0 0 0 0 0 0 0 1
52 0 0 0 0 0 0 (1 0
53 1 0 0 0 1 1 0 1
54 1 0 0 0 0 0 (1 1
55 1 0 1 0 0 1 0 1
56 1 0 1 0 0 0 (1 1
57 1 0 0 1 0 1 (1 1
58 0 0 0 0 0 0 0 0
На основе логических матриц превосходства, подобия и поглощения (включения) строят графы превосходства (рисунок 3), подобия (рисунок 4) и поглощения (рисунок 5) ИС.
Рисунок 3 - Граф превосходства информационных систем при = 5
Рисунок 4 - Граф подобия информационных систем при €д = 0,6
Рисунок 5 - Граф поглощения информационных систем при бд = 0,8
Построенные матрицы и графы позволяют сделать следующие выводы: система S8 превосходит практически все системы; системы S1, S4, S5 и S6 имеют схожие функции, а связь S8 только с S1 объяснимо наличием уникальных функций формирования нечеткой модели; системы S1 и S8 поглощают многих, а у систем S3, S5 и S6 присутствует взаимное поглощение.
Заключение
Исследование показало, что большинство из приведенных программных систем ориентированы на реализацию нечетких экспертных систем, при этом параметры функций принадлежности и нечеткие продукционные правила должны быть заданы экспертом предметной области. Приведенные системы во многом не отвечают функциональным требованиям «эталонной» модели, так функции генерации базы нечетких правил и корректировку формы функций принадлежности нечеткой модели с использованием генетических алгоритмов поддерживаются только одной системой. Поэтому, разработка новых и эффективных программных средств реализации нечетких экспертных систем, которые позволят получить как качественные, так и количественные оценки и выполнить корректировку элементов модели различными методами - актуальная задача.
Анализ также позволилопределить программные средства со схожим набором функций, оценить степень подобия и степень соответствия рассматриваемых систем «эталонной» модели информационной системы, учитывающей требования пользователя.
На следующем этапе анализа следует сравнить цены на ПС и сопоставить нефункциональные характеристики (например, требуемые технические средства и операционная система; удобство пользовательского интерфейса; сложность работы с системой; надежность, отказоустойчивость и т.п.), что позволит сделать оптимальный выбор.
Исследование выполнено при финансовой поддержке РФФИ в рамках научного проекта № 16-31-00285 мол_а «Методы и модели нечеткой логики в системах принятия решений управления рисками».
Библиография
1 Долженко А.И. Нечеткие модели — эффективный инструментарий для анализа потребительского качества информационных систем: монография. Ростов н/Д: РГЭУ «РИНХ», 2008. 220 с.
2. Mацяшек Л.А. Анализ требований и проектирование систем. Разработка информационных систем с использованием UML. M.: Изд. дом «Вильямс», 2002. 432 с.
3. Уокер Р. Управление проектами по созданию программного обеспечения. Унифицированный подход. M.: Лори, 2002. 424 с.
4. Шафер Д.Ф., Фатрел Р.Т., Шафер Л.И. Управление программными проектами: достижение оптимального качества при минимуме затрат. M.: Изд. дом «Вильямс», 2004. 113б с.
5. Долженко А.И., Глушенко С.А. Анализ предпосылок создания СППР управления рисками проектов информационных систем // Информационные системы, экономика, управление трудом и производством: Ученые записки. Выпуск 14. Ростов-на-Дону: РГЭУ (РИНХ), 2011. 1б5 c.
6. Частиков А.П., Леднева И.Ю. Нечеткие экспертные системы // Наука Кубани, № б, 2000. С. 58-б3.
7. Полковникова Н.А., Курейчик ВЖ Разработка модели экспертной системы на основе нечёткой логики // Известия ЮФУ. Технические науки, № 1 (150), 2014. С. 83-92.
8. Борисов В.В., Круглов А.С., Федулов А.С. Нечеткие модели и сети.-2-е изд., стереотип. M.: Горячая линия-Телеком, 2012. 284 с.
9. Долженко А.И. Mетодология анализа рисков при проектировании информационных систем с использованием нечетких сетей // Вестник Ростовского государственного экономического университета «РИНХ», Т. 24, № 2, 2007. С. 148-155.
10. Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближенных решений. M.: Mир, 197б. 1б8 с.
11. Хубаев Г.Н. Сравнение сложных программных систем по критерию функциональной полноты // Программные продукты и системы (SOFTWARE&SYSTEMS), № 2, 1998. С. 7-9.
12. Программный продукт «FuzzyTECH» // Inform Software. URL: http://www.fuzzytech.com/ (дата обращения: 7.03.2017).
13. Программный продукт «CubiCalc» // Hyper Logic. URL: http://www.tora-centre.ru/library/fuzzy/fuzi_i.htm (дата обращения: 20.02.2017).
14. Программный продукт «Fuzzy Logic Toolbox» // MatLab. URL: https://ch.mathworks.com/products/fuzzy-logic.html (дата обращения: 3.03.2017).
15. Программный продукт «FlexTool» // CynapSys. URL: http://cynapsys.com/page.cfm7CON-
TENTS=include/contents.htm&BODY = = products/flextool/flextool.htm (дата обращения: 17.02.2017).
16. Программный продукт «Scilab» // Scilab Enterprises. URL: http://www.scilab.org (дата обращения: 25.02.2017).
17. Программный продукт «Deductor» // BaseGroup Labs. URL: https://basegroup.ru/deductor/description (дата обращения: 15.02.2017).
18. Программный продукт «FisPro» // INRA Irstea. URL: https://www7.inra.fr/mia/M/fispro/fispro2013_en.html (дата обращения: 1.03.2017)
