3. Нечеткая идентификация. Структура и параметры

Двумя основными источниками информации для построении нечетких моделей являются априорные сведения (знания) и данные эксперимента (измерения). Априорные знания могут быть скорее аппроксимирующего (приближенного) характера (качественные знания, эвристика, т.е. знания эксперта на основе собственного опыта). Эти знания берут свое начало от экспертов, т.е. от проектировщиков объектов управления, операторов и т.п. В этом смысле нечеткие модели рассматривают как простые нечеткие экспертные системы.

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

Можно отметить два основных подхода, используемых для интеграции знаний и данных:

1. Знания экспертов, выраженные в словесной форме, преобразуют в совокупность правил если-то. Параметры в этой структуре (функции принадлежности, позиции синглтонов заключений или параметры заключений) затем могут быть уточнены (точно настроены) за счет использования данных. При этом некоторые алгоритмы настройки используют тот факт, что с вычислительной точки зрения нечеткую модель можно трактовать как многослойную структуру (сеть), подобную искусственным нейронным сетям, по отношению к которым применимы стандартные алгоритмы обучения. Такой подход определяется как нейро-нечеткое моделирование.

2. Если отсутствуют априорные сведения об исследуемой (рассматриваемой) системе, т.е. те сведения, которые вначале используются для формулировки правил, то нечеткая модель конструируется из данных. При этом предполагается, что извлеченные из данных правила и функции принадлежности могут обеспечить апостериорную (на основе опыта, эмпирическую) интерпретацию поведения системы. Эксперт может сопоставить эту информацию с своими собственными знаниями, может модифицировать правила, или добавить новые, и может запланировать проведение новых экспериментов, чтобы получить более полную информацию. Этот подход определяется как извлечение правил из данных. Нечеткая кластеризация является одной из технологий, которая часто применяется для этих целей.

Рассмотренные технологии, естественно, могут комбинироваться (объединятся, сочетаться) в зависимости от конкретных приложений. В данном разделе мы рассмотрим основные шаги и альтернативы (выбор), имеющие место при конструировании нечетких моделей, построенных на знаниях, и основные методы, позволяющие извлечь или точно настроить нечеткие модели с помощью данных.

Относительно проектирования нечетких моделей (а также и других моделей) различают два субъекта: структуру и параметры модели. Структура определяет гибкость модели с точки зрения аппроксимации (неизвестных) преобразований вход-выход. Параметры затем настраиваются, чтобы соответствовать имеющимся в распоряжении данным. Модель с «богатой» структурой в состоянии аппроксимировать более сложные функции, но в то же время имеет плохие свойства обобщения. Хорошие свойства обобщения означают, что модель, настроенная при одном комплекте данных, также хорошо работает при другом наборе данных для того же самого объекта. В нечетком моделировании выбор структуры связан со следующими моментами:

• Переменные входа и выхода. В сложных системах не всегда ясно видно, какие переменные должны быть использованы как входные сигналы системы. В случае динамических систем надо определится с порядком системы. Для модели НАРВ (NARX) (нелинейной авторегрессионной с внешним входом) имеем уравнение

,

где и представляют собой настоящие и прошлые значения выходов и входов модели соответственно, это означает выбор целых чисел , , определяющих смещение входных и выходных последовательностей в сторону запаздывания. Априорные сведения, способность проникнуть в сущность свойств объекта управления и цель моделирования - вот типичные источники информации для такого выбора. В ряде случаев возможен диктуемый данными автоматический выбор путем сравнения различных вариантов в рамках некоторого критерия качества.

• Структура правил. Выбор касается типа модели (лингвистическая, синглтонная, Такаги-Сугено) и формат антецедентов. Важными аспектами при этом являются цель моделирования и вид доступных данных.

• Число и форма функций принадлежности для каждой переменной. Этот выбор определяет степень (уровень) детализации (гранулярности) модели. И снова цель моделирования и специфика доступных данных оказывают влияние на этот выбор. Методы автоматизации, определяемые данными (data-driven), могут быть использованы для добавления или удаления функций принадлежности из модели.

• Тип механизма нечеткого логического вывода (инференции), операторов связок, метода дефаззификации. Этот выбор ограничивается типом нечеткой модели (Мамдани, Такаги-Сугено). В рамках этих моделей, однако, остается некоторая свобода выбора, например, выбор операторов конъюнкции и т.п. Чтобы облегчить оптимизацию нечетких моделей с помощью данных (обучение), часто предпочитают использование операторов (алгебраические произведение и сумма), позволяющих осуществлять дифференцирование выражений для выходных сигналов, вместо стандартных операторов min и max.

При фиксированной структуре свойства нечеткой модели можно улучшать за счет настройки ее параметров. Настраиваемыми параметрами лингвистических моделей являются параметры функций принадлежности антецедентов и консеквентов (определяющие их форму и положение) и правила (определяющие связь между антецедентами и консеквентами в нечетких диапазонах). В нечетких моделях, основанных на отношениях, эта связь кодируется в нечетких отношениях. Модели Такаги-Сугено имеют параметры в функциях принадлежности антецедентов и в функциях консеквентов (a и b для аффинных ТС моделей).