Нечеткая логика

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

МОДЕЛИРОВАНИЕ НА ОСНОВЕ НЕЧЕТКОЙ ЛОГИКЕ

 

 

В качестве примера был  выбран  светофор с нечеткой логикой.

 

Цель: Исследование возможностей светофора с нечеткой логикой, установленного на перекрестке, при различных интенсивностях потоков автомашин и сравнение его работы с обычным светофором.

 

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

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

Пусть время цикла традиционного  и нечеткого светофоров будет  одинаковым и равным 1мин.=60сек. Длительность зеленого света обычного светофора  зададим 30сек., тогда красный свет будет гореть тоже 30сек.

Для работы нечеткого светофора  на перекрестке улиц Север-Юг (СЮ) и  Запад-Восток (ЗВ) необходимо установить 8 датчиков, которые считают проехавшие мимо них машины.

(Рис.1) Расположение датчиков на перекрестке.

Светофор использует разности показаний четырех пар датчиков:               (Д1-Д2), (Д3-Д4), (Д5-Д6) и (Д7-Д8). Таким образом, если для улицы СЮ горит зеленый свет, машины проезжают перекресток и показания двух пар датчиков равны: Д1=Д2, Д5=Д6, а, следовательно, их разность равна нулю. В это же время на улице ЗВ перед светофором останавливаются машины, которые успели проехать только Д4 и Д7. В результате можно рассчитать суммарное количество автомобилей на этой улице следующим образом:

(Д4-Д3)+(Д7-Д8)=(Д4-0)+(Д7-0)=Д4+Д7.

Для сравнения работы обоих  светофоров введем показатель эффективности, в качестве которого будем рассматривать  число машин, не проехавших перекресток  за один цикл светофора.

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

Решение:  Для решения поставленной задачи используется пакет Matlab, т.к. он имеет в своем составе fuzzy-приложение, необходимое для моделирования работы нечеткого светофора.

Более подробно будет рассмотрено проектирование нечеткой подпрограммы. Здесь однозначно должны быть определены все входы и выходы.

Поскольку работа светофора  зависит от числа машин на обеих  улицах и текущего времени зеленого света, для нашей подпрограммы предлагается использовать 3 входа: число машин  на улице СЮ по окончанию очередного цикла, число машин на улице ЗВ по окончанию цикла и время  зеленого света нечеткого светофора.

Теперь для каждой переменной надо задать лингвистические термы, соответствующие некоторым диапазонам четких значений. Так, для переменной время зеленого света предлагается использовать три терма:

1. малое (10-25сек.);
2. среднее(20-40сек.);
3. большое(35-50сек.).

 

(Рис.2) Функция принадлежности первой входной переменной.

 

Степень принадлежности четких значений термам задается с помощью  функций принадлежности (в нашем  случае эти функции имеют форму  трапеции).

Аналогично, термы для  двух оставшихся переменных будут:

1. очень малое (0-18);
2. малое (16-36);
3. среднее (34-56);
4. большое (54-76);
5. очень большое (72-90).

 

(Рис.3) Функция принадлежности второй и третьей входных переменных.

Функции принадлежности здесь  также имеют форму трапеции.

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

1. уменьшить (-20-0сек.);
2. не изменять (-15-15сек.);
3. увеличить (0-20сек.).

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

 

Функции принадлежности имеют  форму Гаусса.

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

Если (число машин на улице  СЮ=малое)&(число машин на улице  ЗВ=большое)&(время зеленого света  на улице СЮ=большое), то (время зеленого света=уменьшить).

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

Основная программа работает следующим образом: с помощью генератора случайных чисел происходит генерирование числа машин за один цикл светофора для улиц СЮ и ЗВ.

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

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

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

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

 

(Рис.6) Результаты вычислений.

 

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

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

 

НЕЧЕТКИЕ  РАСШИРЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ

 

Рассмотрим два утверждения А и В, каждое из которых может быть истинным или ложным, т.е. может принимать значения “1” или “0”. Для этих двух утверждений всего существует 16 различных логических операций, из которых содержательно интерпретируются лишь пять: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность.

Предположим, что логическое утверждение может принимать  не два значения истинности, а три, например: “истинно”, ”ложно” и “неопределенно”. В этом случае мы будем иметь дело не с двухзначной, а трехзначной логикой. Общее количество бинарных операций, а, следовательно, и таблиц истинности, в трехзначной логике рано 729.

Нечеткая логика является разновидностью многозначной логики, в которой значения истинности задаются лингвистическими переменными или  термами лингвистической переменной “истинность” со степенями принадлежности, пробегающими весь отрезок [0;1]. Поэтому в случае нечеткой логики можно создать неограниченное число операций. Учитывая это, ограничимся наиболее важными операциями.

Рассмотрим расширения НЕ, И, ИЛИ до нечетких операций. Операции отрицания, конъюнкции и дизъюнкции являются основными для нечеткой логики в том смысле, что все  ее конструкции основываются на этих операциях. В настоящее время  в нечеткой логике в качестве операций отрицания, конъюнкции и дизъюнкции широко используются нечеткое отрицание,, t-нормы и t-конормы, пришедшие в нечеткую логику из теории вероятностных метрических пространств. Они достаточно хорошо изучены и лежат в основ многих формальных построений нечеткой логики.

 

1. Нечеткое отрицание НЕ.

 

Отображение  ϴ: [0;1] → [0;1] называется отрицанием, если выполняются следующие условия:

       =1.

      

Если выполняется также

     =x для ,

то отрицание называется сильным или инволюцией.

Аксиома сохраняет свойства двухзначного “НЕ” и означает, что “нечеткое отрицание 0 равно 1”, другими словами является граничным условием.

Аксиома - наиболее существенное требование понятия “отрицания”: “нечеткое отрицание инвертирует (в смысле строгого неравенства) последовательность оценок”.

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

Пример. Типичным примером сильного отрицания является “вычитание из 1”: = 1-x. С точки зрения нечетких множеств оно соответствует понятию дополнения нечеткого множества А с функцией принадлежности

  (X)=1- (X).

 

 

Легко доказать выполнимость всех трех аксиом сильного отрицания.

            =1-0=1

            1-x – монотонная строго убывающая функция.

            = = 1-(1-x) = x

 

 

 

 

 

 

ЗАКЛЮЧЕНИЕ

 

 

В России применение систем на основе нечеткой логики, началось в середине 1995 года. Популярными являются следующие пакеты:

 

1. CubiCalc 2.0 RTC - одна из мощных коммерческих экспертных систем на основе нечеткой логики, позволяющая создавать собственные прикладные экспертные системы;
2. CubiQuick - дешевая "университетская" версия пакета CubiCalc;
3. RuleMaker - программа автоматического извлечения нечетких правил из входных данных;
4. FuziCalc - электронная таблица с нечеткими полями, позволяющая делать быстрые оценки при неточных данных без накопления погрешности;
5. OWL - пакет, содержащий исходные тексты всех известных видов нейронных сетей, нечеткой ассоциативной памяти и т.д.

 

Основными потребителями  нечеткой логики на рынке СНГ являются банкиры и финансисты, а также  специалисты в области политического  и экономического анализа. Они используют CubiCalc для создания моделей разных экономических, политических, биржевых ситуаций. Что же касается пакета FuziCalc, то он занял свое место на компьютерах больших банкиров и специалистов по чрезвычайным ситуациям - то есть тех, для кого важна скорость проведения расчетов в условиях неполноты и неточности входной информации. Однако можно с уверенностью сказать, что эпоха расцвета прикладного использования нечеткой логики на Российском рынке еще впереди.

 

Сегодня элементы нечеткой логики можно найти в десятках промышленных изделий - от систем управления электропоездами и боевыми вертолетами  до пылесосов и стиральных машин. Без применения нечеткой логики немыслимы  современные ситуационные центры руководителей  западных стран, где принимаются  ключевые политические решения и  моделируются разные кризисные ситуации. Одним из впечатляющих примеров масштабного  применения нечеткой логики стало комплексное  моделирование системы здравоохранения  и социального обеспечения Великобритании (National Health Service - NHS), которое впервые позволило точно оценить и оптимизировать затраты на социальные нужды.

 

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