Материал: лекция 5 ММОСУ

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

Прежде чем говорить о нечетких системах, необходимо ввести понятие нечеткого множества.

Нечетким подмножеством A множества Х назовем пару (

т.е. классическое понятие множества является частным случаем введенного

Определенное таким образом нечеткое множество можно принять в качестве формализации понятия «несколько», изначально ясного лишь на интуитивном уровне.

Рисунок 5.1 – Функции принадлежности нечетких переменных Аналогично можно ввести нечеткие множества соответствующие

понятиям: «много», «мало», «около 100» , «почти 20» и т.д.

Пример 5.2 Пусть – множество положительных чисел, а

функция A x задана формулой

график которой изображен на рис.5.1, б. Если переменную x интерпретировать как возраст, то нечеткое множество A соответствует понятию «старый». Аналогично можно формализовать понятия «молодой», «средних лет» и т.д.

Переменные, значениями которых являются нечеткие множества, называются лингвистическими. Это основной тип переменных в естественном языке людей.

Пример 5.3. Переменная «расстояние» принимает обычно числовые значения. Однако в предложениях естественного языка она может фигурировать как лингвистическая со значениями «малое», «большое», «очень малое», «среднее», «около 5 км» и т.д. Каждое значение описывается

нечетким множеством, которое в рамках данной предметной области может иметь конкретную числовую интерпретацию. Например, если речь идет о поездках на такси, то в качестве универсального множества X можно взять отрезок [0, 100] км и задать функции принадлежности значений переменной «расстояние», как показано на рис. 5.1‚ в.

При первом знакомстве с нечеткими множествами обычно возникает недовольство произволом и субъективизмом в задании функций принадлежности: «почему так, а не иначе?». Однако в этом не слабость, а сила подхода! Ведь если само понятие субъективно, то такова и его формализация, выполняемая человеком. А получаемые результаты должны носить качественный характер и достаточно слабо зависеть от конкретного задания функций принадлежности. С другой стороны‚ если есть необходимость в более объективных выводах, можно получить оценки A x путем опроса экспертов.

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

Таблица 5.2 Операции над нечеткими множествами

По аналогии с четким случаем определяется отношение включения множеств: A B‚ если и только если A x B x для всех x X .

5.2.2 Нечеткие системы Аналогично классическому случаю понятие нечеткой системы вводится

через понятие нечеткого отношения (частными случаями которого являются понятия «нечеткое отображение», «нечеткая функция»).

Определение. Нечеткое отношение R на множествах X, Y задается функцией R : X Y 0,1 , каждое значение которой R x,y интерпретируется как степень нахождения (совместимости, принадлежности)

пары x,y в данном отношении.

Таким образом, нечеткое отношение - это нечеткое подмножество множества X Y всех пар x,y , где x X,y Y . Поэтому стандартным способом вводятся пересечение, объединение, дополнение и другие действия

множествах X, Z задается формулой

В полной аналогии с обычными системами (см. лекцию 1) нечеткая система – это нечеткое отношение между множествами U, Y, где U –

множество входных функций времени u t , а Y – множество выходных функций времени y t . Операция композиции отношений соответствует последовательному соединению систем. Подчеркнем, что для нечетких систем понятие однозначности, детерминированности, теряет смысл: нечеткое отображение и нечеткое отношение неразличимы.

Если множества значений входов и выходов системы конечны, то, как указывалось в лекции 4, ММ системы можно задать таблицами либо набором правил (продукций), например: «ЕСЛИ (u ui ) И (x xj ) ТО ( y yk )», или в более компактном виде:

описанию системы вид набора причинно-следственных связей. При этом фактическая причинно-следственная связь может отсутствовать (пример: ЕСЛИ «тебе за сорок» И «с утра у тебя ничего не болит» ТО «ты умер»). Аналогично обстоит дело и для нечетких систем, входные и выходные переменные которых могут принимать нечеткие значения, т.е. являются лингвистическими. Примеры нечетких правил:

(u = «малое») —› (у = «большое»),

(u t = «около 0.5», x t 1 = «большое») -—› (x t = «очень большое»). Пример 5.4. Рассмотрим систему простейшего прогноза погоды в городе, основанную на том наблюдении, что погода чаще сохраняется, чем меняется: погода завтра будет скорее всего такая же, как сегодня. Для простоты пусть множество входов системы (возможных значений переменной «погода сегодня») состоит из трех элементов: «ясно» (Я), «пасмурно» (П), «дождь» (Д), т.е. U Я,П,Д . Таким же пусть будет и множество выходов (прогнозы на завтра). Y Я,П,Д . Если описать ММ

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

или, более экономно, набором правил:

u Я y Я ; u П y П ; u Д y Д ;

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