Нечеткая логика в процессе моделирования

     

     При (b-a)=(c-b) имеем случай симметричной треугольной функции принадлежности, которая может быть однозначно задана двумя параметрами из тройки (a, b, c).

     Аналогично  для задания трапецеидальной  функции принадлежности необходима четверка чисел (a, b, c, d):

       

     При (b-a)=(d-c) трапецеидальная функция принадлежности принимает симметричный вид.

     

 
Рисунок 3. Типовые кусочно-линейные функции принадлежности.

     Функция принадлежности гауссова типа (в соответствии с рисунком 4) описывается формулой

     

     и оперирует двумя параметрами. Параметр c обозначает центр нечеткого множества, а параметр σ отвечает за крутизну функции.

     

 
Рисунок 4. Гауссова функция принадлежности.

     Совокупность  функций принадлежности для каждого  терма из базового терм-множества T обычно изображаются вместе на одном  графике. На рисунке 5 приведен пример описанной выше лингвистической переменной "Цена акции", на рисунке 6 – формализация неточного понятия "Возраст человека". Так, для человека 48 лет степень принадлежности к множеству "Молодой" равна 0, "Средний" – 0,47, "Выше среднего" – 0,20.

     

 
Рисунок 5. Описание лингвистической переменной "Цена акции". 

     

 
Рисунок 6. Описание лингвистической переменной "Возраст".

    Количество  термов в лингвистической переменной редко превышает 7. 
 

4.  Нечеткий логический вывод

     Основой для проведения операции нечеткого  логического вывода является база правил, содержащая нечеткие высказывания в форме "Если-то" и функции принадлежности для соответствующих лингвистических термов. При этом должны соблюдаться следующие условия:

1. Существует хотя бы одно правило для каждого лингвистического терма выходной переменной.
2. Для любого терма входной переменной имеется хотя бы одно правило, в котором этот терм используется в качестве предпосылки (левая часть правила).

     В противном случае имеет место  неполная база нечетких правил.

     Пусть в базе правил имеется m правил вида:

     

     Результатом нечеткого вывода является четкое значение переменной на основе заданных четких значений .

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

     

 
Рисунок 7. Система нечеткого логического вывода.

     Алгоритмы нечеткого вывода различаются главным  образом видом используемых правил, логических операций и разновидностью метода дефазификации. Разработаны модели нечеткого вывода Мамдани, Сугено, Ларсена, Цукамото.

     Рассмотрим  подробнее нечеткий вывод на примере  механизма Мамдани. Это наиболее распространенный способ логического  вывода в нечетких системах. В нем используется минимаксная композиция нечетких множеств. Данный механизм включает в себя следующую последовательность действий.

1. Процедура фазификации: определяются степени истинности, т.е. значения функций принадлежности для левых частей каждого правила (предпосылок). Для базы правил с m правилами обозначим степени истинности как
2. Нечеткий вывод. Сначала определяются уровни "отсечения" для левой части каждого из правил:

     Далее находятся "усеченные" функции  принадлежности:

3. Композиция, или объединение полученных усеченных функций, для чего используется максимальная композиция нечетких множеств:

     где MF(y) – функция принадлежности итогового  нечеткого множества.

4. Дефазификация, или приведение к четкости. Существует несколько методов дефазификации. Например, метод среднего центра, или центроидный метод:

     Геометрический  смысл такого значения – центр  тяжести для кривой MF(y). Рисунок 8 графически показывает процесс нечеткого вывода по Мамдани для двух входных переменных и двух нечетких правил R1 и R2.

     

 
Рисунок 8. Схема нечеткого вывода по Мамдани. 

5.  Гибридные методы объединения

     В результате объединения нескольких технологий искусственного интеллекта появился специальный термин – "мягкие вычисления", который ввел Л. Заде в 1994 году. В настоящее время мягкие вычисления объединяют такие области как: нечеткая логика, искусственные нейронные сети, вероятностные рассуждения и эволюционные алгоритмы. Они дополняют друг друга и используются в различных комбинациях для создания гибридных интеллектуальных систем.

     Ниже  приведены примеры таких объединений.

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

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

      1. Генерация лингвистических правил;

     2. Корректировка функций принадлежности.

       Первая задача относится к  задаче переборного типа, вторая  – к оптимизации в непрерывных  пространствах. При этом возникает  определенное противоречие: для генерации нечетких правил необходимы функции принадлежности, а для проведения нечеткого вывода – правила. Кроме того, при автоматической генерации нечетких правил необходимо обеспечить их полноту и непротиворечивость. Значительная часть методов обучения нечетких систем использует генетические алгоритмы.

     Нечеткие  запросы. Нечеткие запросы к базам данных – перспективное направление в современных системах обработки информации. Данный инструмент дает возможность формулировать запросы на естественном языке, например: "Вывести список недорогих предложений о съеме жилья близко к центру города", что невозможно при использовании стандартного механизма запросов. Для этой цели разработана нечеткая реляционная алгебра и специальные расширения языков SQL для нечетких запросов.

     Нечеткие  ассоциативные правила. Нечеткие ассоциативные правила – инструмент для извлечения из баз данных закономерностей, которые формулируются в виде лингвистических высказываний. Здесь введены специальные понятия нечеткой транзакции, поддержки, и достоверности нечеткого ассоциативного правила.

     Нечеткие  когнитивные карты. Нечеткие когнитивные карты были предложены Б. Коско в 1986 г. и используются для моделирования причинных взаимосвязей, выявленных между концептами некоторой области. В отличие от простых когнитивных карт, нечеткие когнитивные карты представляют собой нечеткий ориентированный граф, узлы которого являются нечеткими множествами. Направленные ребра графа не только отражают причинно-следственные связи между концептами, но и определяют степень влияния (вес) связываемых концептов. Активное использование нечетких когнитивных карт в качестве средства моделирования систем обусловлено возможностью наглядного представления анализируемой системы и легкостью интерпретации причинно-следственных связей между концептами. Основные проблемы связаны с процессом построения когнитивной карты, который не поддается формализации. Кроме того, необходимо доказать, что построенная когнитивная карта адекватна реальной моделируемой системе. Для решения данных проблем разработаны алгоритмы автоматического построения когнитивных карт на основе выборки данных.

     Нечеткая  кластеризация. Нечеткие методы кластеризации, в отличие от четких методов (например, нейронные сети Кохонена), позволяют одному и тому же объекту принадлежать одновременно нескольким кластерам, но с различной степенью. Нечеткая кластеризация во многих ситуациях более "естественна", чем четкая, например, для объектов, расположенных на границе кластеров. Наиболее распространены: алгоритм нечеткой самоорганизации c-means и его обобщение в виде алгоритма Густафсона-Кесселя.

     Также существуют объединения, такие как нечеткие деревья решений, нечеткие сети Петри, нечеткая ассоциативная память, нечеткие самоорганизующиеся карты и другие гибридные методы. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

2.  Моделирование
1. Определение моделирования

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

     Моделирование — исследование объектов познания на их моделях; построение и изучение моделей реально существующих предметов, процессов или явлений с целью получения объяснений этих явлений, а также для предсказания явлений, интересующих исследователя.

     Модель - объект произвольной природы, который отражает главные, с точки зрения решаемой задачи, свойства объекта моделирования.

     Выделяют  главные функции модели:

• упрощение получения информации о свойствах объекта;
• передача информации и знаний;
• управление и оптимизация объектами и процессами;
• прогнозирование;
• диагностика.

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

     Можно выделить следующие виды моделирования:

• Информационное моделирование
• Компьютерное моделирование. Компьютерные модели проще и удобнее исследовать в силу их возможности проводить вычислительные эксперименты, в тех случаях, когда реальные эксперименты затруднены из-за финансовых или физических препятствий или могут дать непредсказуемый результат. Логичность и формализованность компьютерных моделей позволяет выявить основные факторы, определяющие свойства изучаемого объекта-оригинала (или целого класса объектов), в частности, исследовать отклик моделируемой физической системы на изменения ее параметров и начальных условий.