|
Тогда, если в базе фактических данных
заданы  и  , заключение  получается по следующей
формуле:
 , (2.38)
где -операция
максимум-минимум,  обозначает  .
Последовательность вывода показана на
рис. 2.5.
База знаний для выводов составляется
из функций принадлежности (в случае оценки входных и выходных значений),
правил, диапазона входных и выходных значений и указаний к окончательным
выходным данным. Функции принадлежности состоят из названия функции (уровня
нечеткости) и значений принадлежности, в системе использованы следующие
нечеткие уровни (ниже приведен процесс составления базы знаний):
1. Для каждого пункта клинических
анализов, исключая качественные данные, в предпосылках используется пять
уровней:
TRS (очень маленький) TPS (довольно
малый)
ММ (обычный) ТРВ (довольно большой)
TRB (очень большой)
2. Для пунктов клинических анализов с
качественными данными в предпосылках используются
ММ (-) TPS (+ - и ниже) РВ (+ -)
RB (+) ТРВ ( + и выше) ТРВ (+ + и
выше)
VB ( + + +)
3. При расспросе о симптомах в
предпосылках используются LT1 (не проявляется, проявляется временами,
проявляется)
4. Для промежуточных гипотез и
тяжести болезни в заключениях используются
CLA (классический) DEF (определенный)
PRO (вероятный) POS (возможный)
SUS (подозреваемый)
5. Для выбора диагноза на экране,
выбора способа осмотра и промежуточных гипотез в предпосылках и заключениях
используются
YES (да) NO (нет).
Пример функции принадлежности для
уровней (1) приведен на рис. 2.6 а), для уровней (4)-на рис. 2.6 б). В правилах
можно описать до десяти нечетких тезисов предпосылки и до двух нечетких тезисов
заключения. Правила имеют следующую структуру:
Рисунок 2.5 Процесс выводов.
Если пункт введенных данных = уровень
нечеткости,
тогда пункт выходных данных = уровень
нечеткости.
 а)  б)
Рисунок 2.6 функции принадлежности
для уровней (1) на рис. а) и для уровней (4) на рис. б).
Кроме того, для уровней нечеткости,
представленных функциями принадлежности, в тезисах можно использовать отрицание
и логическую сумму.
Правила записаны в трех файлах:
первичной оценки, вторичной оценки и указаний по охране здоровья. Файлы
переключаются по соответствующей команде.
Приведем ниже примеры правил
первичной оценки функционирования печени.
1. Если GOT = ТРВ, то
функционирование печени = DEF.
2. Если GPT = ТРВ, то
функционирование печени = DEF.
3. Если GGT = ТРВ, то
функционирование печени = DEF.
4. Если (GOT = < GPT) = YES, то
функционирование печени = DEF.
5. Если расспрос (легкая усталость) =
LT1, то функционирование печени = PRO.
6. Если GOT = ММ & GPT = ММ &
(GOT = < GPT) = NO & прошлый раз GOT = ТРВ, то функционирование печени =
PRO.
2.2.6 Проектирование систем типа Сугено
Рассмотрим основные этапы
проектирования систем типа Сугено
на примере создания системы нечеткого логического вывода, моделирующей зависимость
 ,  ,  . Моделирование этой зависимости будем осуществлять с
помощью следующей базы знаний:
1.
Если x1=Средний, то y=0;
2.
Если x1=Высокий и x2=Высокий, то y=2x1+2x2+1;
3.
Если x1=Высокий и x2=Низкий, то y=4x1-x2;
4.
Если x1=Низкий и x2=Средний, то y=8x1+2x2+8;
5.
Если x1=Низкий и x2=Низкий, то y=50;
6.
Если x1=Низкий и x2=Высокий, то y=50.
Рисунок 2.7 Эталонная поверхность
Проектирование системы нечеткого логического вывода типа Сугэно
состоит в выполнении следующей последовательности шагов.
Шаг 1. Для загрузки основного fis-редактора напечатаем слова fuzzy
в командной строке. После этого откроется нового графическое окно, показанное
на рис. 2.8.
Рисунок 2.8 Окно редактора FIS-Editor
Шаг 2. Выберем тип системы. Для этого в меню File выбираем в
подменю New fis… команду Sugeno.
Шаг 3. Добавим вторую входную переменную. Для этого в меню Edit
выбираем команду Add input.
Шаг 4. Переименуем первую входную переменную. Для этого сделаем
один щелчок левой кнопкой мыши на блоке input1, введем новое обозначение x1 в
поле редактирования имени текущей переменной и нажмем <Enter>.
Шаг 5. Переименуем вторую входную переменную. Для этого сделаем
один щелчок левой кнопкой мыши на блоке input2, введем новое обозначение x2 в
поле редактирования имени текущей переменной и нажмем <Enter>.
Шаг 6. Переименуем выходную переменную. Для этого сделаем один щелчок
левой кнопкой мыши на блоке output1, введем новое обозначение y в поле
редактирования имени текущей переменной и нажмем <Enter>.
Шаг 7. Зададим имя системы. Для этого в меню File выбираем в
подменю Export команду To disk и введем имя файла, например, FirstSugeno.
Шаг 8. Перейдем в редактор функций принадлежности. Для этого
сделаем двойной щелчок левой кнопкой мыши на блоке x1.
Шаг 9. Зададим диапазон изменения переменной x1. Для этого
напечатаем -7 3 в поле Range (см. рис. 2.9) и нажмем <Enter>.
Рисунок 2.9 Функции принадлежности переменной x1
Шаг 10. Зададим функции принадлежности переменной x1. Для
лингвистической оценки этой переменной будем использовать, 3 терма с
треугольными функциями принадлежности, которые установлены по умолчанию.
Зададим наименования термов переменной x1. Для этого делаем один щелчок левой
кнопкой мыши по графику первой функции принадлежности (см. рис. 2.9). Затем
напечатаем наименование терма Низкий в поле Name. Затем делаем один щелчок
левой кнопкой мыши по графику второй функции принадлежности и вводим
наименование терма Средний в поле Name. Еще раз делаем один щелчок левой
кнопкой мыши по графику третьей функции принадлежности и вводим наименование
терма Высокий в поле Name и нажмем <Enter>. В результате получим
графическое окно, изображенное на рис. 2.9.
Шаг 11. Зададим функции принадлежности переменной x2. Для
лингвистической оценки этой переменной будем использовать 3 терма с
треугольными функциями принадлежности, которые установлены по умолчанию. Для
этого активизируем переменную x2 с помощью щелчка левой кнопки мыши на блоке
x2. Зададим диапазон изменения переменной x2. Для этого напечатаем -4.4 1.7 в
поле Range (см. рис. 2.10.) и нажмем <Enter>. По аналогии с предыдущим шагом
зададим следующие наименования термов переменной x2: Низкий, Средний, Высокий.
В результате получим графическое окно, изображенное на рис. 2.10.
Рисунок 2.10 Функции принадлежности переменной x2
Шаг 12. Зададим линейные зависимости между входами и выходом, приведенные
в базе знаний. Для этого активизируем переменную y с помощью щелчка левой
кнопки мыши на блоке y. В правом верхнем угле появилось обозначение трех
функций принадлежности, каждая из которых соответствует одной линейной
зависимости между входами и выходам. В базе знаний, приведенной в начале
подраздела 2.2.6. указаны 5 различных зависимостей: y=50; y=4x1-x2;
y=2x1+2x2+1; y=8x1+2x2+8; y=0. Поэтому добавим еще две зависимости путем выбора
команды Add Mfs… меню Edit. В появившимся диалоговом окне в поле Number of MFs
выбираем 2 и нажимаем кнопку OK.
Шаг 13. Зададим наименования и параметры линейных зависимостей.
Для этого делаем один щелчок левой кнопкой мыши по наименованию первой
зависимости mf1. Затем печатаем наименование зависимости, например 50, в поле
Name, и устанавливаем тип зависимости – константа путем выбора опции Сonstant в
меню Type. После этого вводим значение параметра – 50 в поле Params.
Аналогично для второй зависимости mf2 введем наименование зависимости,
например 8+8x1+2x2. Затем укажем линейный тип зависимости путем выбора опции
Linear в меню Type и введем параметры зависимости 8 2 8 в поле Params. Для
линейной зависимости порядок параметров следующий: первый параметр –
коэффициент при первой переменной, второй – при второй и т.д., и последний
параметр – свободный член зависимости.
Аналогично для третьей зависимости mf3 введем наименование зависимости,
например 1+2x1+2x2, укажем линейный тип зависимости и введем параметры
зависимости 2 2 1.
Для четвертой зависимости mf4 введем наименование зависимости,
например 4x1-x2, укажем линейный тип зависимости и введем параметры зависимости
4 -1 0.
Для пятой зависимости mf5 введем наименование зависимости,
например 0, укажем тип зависимости - константа и введем параметр зависимости 0.
В результате получим графическое окно, изображенное на рис. 2.11.
Рисунок 2.11 Окно линейных зависимостей “входы-выход”
Шаг 14. Перейдем в редактор базы знаний RuleEditor. Для этого
выберем в меню Edit команду Edit rules.... и введем правила базы знаний. Для
ввода правила необходимо выбрать соответствующую комбинацию термов и зависимостей
и нажать кнопку Add rule. На рис. 2.12. изображено окно редактора базы знаний
после ввода всех шести правил.
На рис. 2.13. приведено окно визуализации нечеткого логического
вывода. Это окно активизируется командой View rules... меню View. В поле Input
указываются значения входных переменных, для которых выполняется логический
вывод. Как видно из этого рисунка значение выходной переменной рассчитывается
как среднее взвешенное значение результатов вывода по каждому правилу.
Рисунок 2.12 Нечеткая база знаний для системы типа Сугено
Рисунок 2.13 Визуализация нечеткого логического вывода для системы
типа Сугено
На рис. 2.14. приведена поверхность “входы-выход”, соответствующая
синтезированной нечеткой системе. Для вывода этого окна необходимо использовать
команду View surface... меню View. Сравнивая поверхности на рис. 2.7. и на рис.
2.14. можно сделать вывод, что нечеткие правила достаточно хорошо описывают
сложную нелинейную зависимость. При этом, модель типа Сугено более точная.
Преимущество моделей типа Мамдани состоит в том, что правила базы знаний
являются прозрачными и интуитивно понятными, тогда как для моделей типа Сугено
не всегда ясно какие линейные зависимости “входы-выход” необходимо
использовать.
Рисунок 2.14 Поверхность “входы-выход” для системы типа Сугено
2.2.7 Результаты проектирования
нечеткого алгоритма предрейсовых медицинских осмотров на основе адаптивной сети
нейро-нечеткого вывода
Для реализации в экспертной системе был выбран нечеткий
логический вывод по Сугено: выходное нечеткое множество в этой схеме
логического вывода является нечетким множеством первого порядка, то есть
дискретным множеством, заданным на множестве четких чисел. Это позволяет
избежать накопления нечеткости при его использовании в иерархических системах.
В отличие от результата вывода Мамдани, нечеткое множество
является обычным нечетким множеством первого порядка. Оно задано на множестве
четких чисел. Результирующее значение выхода  определяется как суперпозиция линейных зависимостей, выполняемых
в данной точке  n-мерного факторного пространства. Для этого дефаззифицируют
нечеткое множество, находя взвешенное среднее или взвешенную сумму.
Рисунок 2.15
Функции слоев при аппроксимации нормы.
В гибридной схеме (рис. 2.15)
иерархия нейронной сети адаптивно настраивает функции принадлежности в условиях
и заключениях правил. Совмещение экспертных знаний и оценок регрессионной
среды, как коэффициентов вывода по Сугено, позволяет получать оптимальные
аппроксиматоры функций. Для целевого отделения признаков в работе был
модифицирован выход сети. Добавление активационной логистической функции
позволяет отследить изменение центра распределения в сторону риска.
Рисунок 2.16
Схема классификатора.
Отклонения от центра
распределения – это есть значение минимизируемого функционала, обеспечивающего
оптимальность решения относительно параметров правил. Регрессионный характер
медицинских измерений учитывается при грубой настройке коэффициентов Сугено
методом МНК. Точная подстройка функций правил осуществляется градиентным
методом, где значением градиента является изменение функционала нормы, а
аргументами частных производных – параметры гемодинамики (см. рис. 2.16).
Рисунок 2.17
- Схема статистического разделения нейротехнологии
Сигмоидальный выход
характеризует с дробной вероятностью разделение входных признаков (рисунок 2.17).
Грубая предварительная настройка по МНК приводит к общей области гистограмм
разделения признаков. Точная настройка правил по обучающей выборке оптимально
по вероятности обеспечивает минимальное пересечение классов.
Рисунок 2.18
Гистограммы указателя цели.
Алгоритм был применен к
двум входным признакам гемодинамического артериального давления с одним выходом
логического заключения, «есть риск, т.е. цель или нет». Грубой настройкой была
получена вероятностная граница цели и не цели (рис. 2.18 (А, Б)). Точная
настойка обучением обеспечила почти наверное разделение, смещая вероятностную
границу вправо, в сторону риска(рис. 2.18 (В, Д)). Этим обеспечивается минимальная
возможность ошибки.
Заключение
Произведенная теоретическая и
практическая часть (в виде компьютерного программирования) работы достигает
цели, поставленной при дипломном проектировании.
Разработанная система расспроса и предварительной диагностики
позволяет получить достоверные результаты диагностирования и приемлемую
скорость обработки при вводе симптомов, соответствующих базе знаний. Она дает
превосходные методы обработки нечеткостей, которые свойственны всем медицинским
данным, с помощью функций выводов. Наблюдения числовых характеристик полученной модели позволяют
составить достоверный прогноз индивидуальных показателей нормы здоровья
водителей транспортного средства. А это, в свою очередь, приводит к достижению
цели обеспечения безаварийности перевозочного процесса и продления стажа
опытных работников за счет планирования профилактических мероприятий по данным
прогноза.
Все это подтверждает
достижение цели, определенной поставленными перед выпускной работой актуальными
проблемами современных систем управления в условиях лингвистической неопределенности.
ЛИТЕРАТУРА
1. Тэрано Т., Асаи К., Сугено М Прикладные нечеткие
системы перевод с японского канд. техн. наук Ю. Н. Чернышова - Москва «Мир»
1993 – 363 с.
2. Норвиг А.М., Турсон И.Б.
Построение функций принадлежности // Нечеткие множества и теория возможностей.
Последние достижения: пер. с англ./ под ред. Р.Р. Ягера. – М.: Радио и связь,
1986. – 408 с.
3. Рыжов А.П. Элементы теории
нечетких множеств и измерения нечеткости.– М.: Диалог –МГУ, 1998.
4. Штовба С.Д. Введение в теорию
нечетких множеств и нечеткую логику.-http://www.matlab.ru/fuzzylogic/book1/index.asp
5. Ярушкина Н.Г. Основы теории
нечетких и гибридных систем. – М.: Финансы и статистика, 2004.
6. Круглов В. В., Борисов В.В.
Искусственные нейронные сети. Теория и практика. - М.: Радио и связь, 2000.
7. Катковник В. Я. Непараметрическая
идентификация и сглаживание данных: метод локальной аппроксимации. - М.: Наука,
1985.
8. Заде Л. А., Понятие лингвистической переменной и его
применение к принятию приближенных решений, Мир, М., 1976
9. Алексеев
А.Н., Волков Н.И., Кочевский А.Н. Элементы нечёткой логики при программном
контроле знаний // Открытое образование. 2004.Гроп Д. Методы
идентификации. – М.: Наука, 1979.
10. Сейдж Э., Мелса Д. Индентификация
систем управления. – М: Наука, 1974. – 247с.
11. Борисов
В.В., Круглов В.В., Федулов А.С. Нечеткие модели и сети. – М.: Горячая линия –
Телеком, 2007.
|
