Теория нечетких. Теория нечетких множеств

Федеральное агентство по образованию Восточно-Сибирский государственный технологический государственный университет ВВЕДЕНИЕ В ТЕОРИЮ НЕЧЕТКИХ МНОЖЕСТВ Учебное пособие Часть I Издательство ВСГТУ Улан-Удэ 2004 УДК 519.5 510.22 ББК 22.12 Ха199 Хаптахаева Н.Б., Дамбаева С.В., Аюшеева Н.Н. Введение в теорию нечетких множеств: Учебное пособие. – Часть I. – Улан-Удэ: Изд-во ВСГТУ, 2004. - 68 с.: ил. Ха199 ISBN 5-89230-199-0 Рецензенты: Д.Ш. Ширапов, д.ф-м.н., профессор, заведующий кафедрой «Электронно- вычислительные системы» ВСГТУ Б.М. Степанов, к.т.н., доцент, заведующий кафедрой «Информационные технологии) БГУ Учебное пособие предназначено для студентов специальностей 220400 «Программное обеспечение вычислительной техники и автоматизированных систем» и 351500 «Математическое обеспечение и администрирование информационных систем». Пособие состоит из двух частей и содержит теоретические основы и приложения по дисциплине «Нечеткая логика». В части I рассмотрены основы теории нечетких множеств: понятие нечетких множеств, нечетких отношений, а также понятие нечеткой и лингвистической переменных. Материал снабжен контрольными вопросами и упражнениями для самостоятельного выполнения. Ключевые слова: нечёткое множество, нечеткое отношение, нечеткая переменная, лингвистическая переменная, нечеткий логический вывод. Печатается по решению редакционно-издательского совета Восточно-Сибирского государственного технологического университета. ISBN 5-89230-199-0 ББК 22.12  Хаптахаева Н.Б. с соавт., 2004 г. ВСГТУ, 2004 г. 2 Оглавление Введение.............................................................................................................................................4 1. Нечеткие множества......................................................................................................................6 1.1. Основные характеристики нечетких множеств...................................................................6 1.2. Методы построения функции принадлежности.................................................................10 1.3. Операции над нечеткими множествами.............................................................................13 1.3.1. Логические операции над нечеткими множествами..................................................13 1.3.2. Алгебраические операции над нечеткими множествами...........................................17 Контрольные вопросы.................................................................................................................21 Упражнения..................................................................................................................................22 2. Нечеткие отношения и операции над ними...............................................................................24 2.1. Нечеткие отношения.............................................................................................................25 2.2. Операции над нечеткими отношениями.............................................................................28 2.3. Свойства нечетких отношений............................................................................................33 2.4. Транзитивное замыкание нечеткого бинарного отношения.............................................37 2.5. Специальные типы нечетких отношений...........................................................................39 2.5.1. Нечеткие отношения предпорядка...............................................................................39 2.5.2. Нечеткие отношения порядка.......................................................................................40 2.5.3. Отношение подобия.......................................................................................................41 2.5.4. Отношения различия. ....................................................................................................43 2.5.5. Отношения сходства и несходства...............................................................................44 Контрольные вопросы.................................................................................................................46 Упражнения..................................................................................................................................47 3. Нечеткая и лингвистическая переменные.................................................................................50 3.1. Понятие нечеткой и лингвистической переменных..........................................................50 3.1.1. Характеристики простых отношений между нечеткими переменными..................52 3.2. Нечеткие числа......................................................................................................................54 3.2.1. Операции над нечеткими числами...............................................................................54 3.2.2. Сравнение нечетких чисел............................................................................................56 3.3. Лингвистические неопределенности...................................................................................59 3.3.1. Вычисление значений лингвистических переменных................................................61 Контрольные вопросы.................................................................................................................64 Упражнения..................................................................................................................................65 Заключение.......................................................................................................................................66 Список рекомендуемой литературы..............................................................................................67 3 Введение Наиболее поразительным свойством человеческого интеллекта является способность принимать правильные решения в обстановке неполной и нечеткой информации. Традиционные компьютерные вычисления «слишком точны» для реального мира. Человечество столкнулось с проблемами, для решения которых невозможно получить полную информацию или определение которых недостаточно полно. Казалось бы ситуация безвыходная, но благодаря развитию и совершенствованию так называемых нечетких и гибридных систем в настоящее время уже довольно обыденно воспринимаются «сверхинтеллектуальные» стиральные машины и бытовые автоматы, гиперзвуковые самолеты и самонаводящиеся ракеты и многое другое. Математическую основу нечетких и гибридных систем составляют противоположные традиционным компьютерным вычислениям (hard computing), так называемые мягкие вычисления (soft computing), одной из составляющих которых является нечеткая логика. Математическая теория нечетких множеств, предложенная в 1965 в работах Лотфи А. Задэ (Lotfi A. Zadeh), профессора технических наук Калифорнийского университета в Беркли, позволяет описывать нечеткие понятия и знания, оперировать этими знаниями и делать нечеткие выводы. Основанные на этой теории методы построения компьютерных нечетких систем существенно расширяют области применения компьютеров. В последнее время нечеткое управление является одной из самых активных и результативных областей исследований применения теории нечетких множеств. Нечеткое управление оказывается особенно полезным, когда технологические процессы являются слишком сложными для анализа с помощью общепринятых количественных методов, или когда доступные источники информации интерпретируются качественно, неточно или неопределенно. Экспериментально показано, что нечеткое управление дает лучшие результаты, по сравнению с получаемыми при общепринятых 4 алгоритмах управления. Нечеткие методы помогают управлять домной и прокатным станом, автомобилем и поездом, распознавать речь и изображения, проектировать роботов, обладающих осязанием и зрением. Нечеткая логика, на которой основано нечеткое управление, ближе по духу к человеческому мышлению и естественным языкам, чем традиционные логические системы. Нечеткая логика, в основном, обеспечивает эффективные средства отображения неопределенностей и неточностей реального мира. Наличие математических средств отражения нечеткости исходной информации позволяет построить модель, адекватную реальности. Учебное пособие состоит из двух частей и содержит теоретические основы нечеткой логики. Первая часть пособия посвящена математической теории нечетких множеств и состоит из трех разделов. В первом разделе рассмотрены основные определения и понятия теории нечетких множеств: характеристики нечетких множеств, методы построения функций принадлежности элемента нечеткому множеству, операции над нечеткими множествами, свойства операций. Второй раздел содержит основные определения и понятия нечетких отношений и операций над ними, свойств нечетких отношений. Рассмотрены специальные типы бинарных нечетких отношений: нечеткое отношение предпорядка, нечеткое отношение порядка, нечеткое отношение подобия, нечеткое отношение сходства, нечеткое отношение различия. В третьем разделе вводятся понятия нечеткой и лингвистической переменных, в качестве значений которых выступают нечеткие множества, а также рассматриваются понятия нечетких чисел и лингвистических неопределенностей. Каждый раздел сопровождается контрольными вопросами и упражнениями для самостоятельного выполнения. 5 1. Нечеткие множества 1.1. Основные характеристики нечетких множеств Опр.1.1. Нечетким множеством А во множестве U называется совокупность пар вида (u, µА(u)), где u∈U, а µА(u)) – это функция принадлежности нечеткого множества А, µА: U → . Здесь U – некоторое обычное множество, называемое универсальным множеством. Для любого элемента U функция принадлежности µА определяет степень принадлежности данного элемента множеству А. Нечеткое множество можно записать следующим образом: A= Υ µ A (u) / u u∈U (1.1) Примеры записи нечетких множеств 1. Если U = (a, b, c, d, e, f); M = (0, 0.5, 1), тогда А можно представить в виде: А = (0/а, 1/b, 0.5/c, 0/d, 0.5/e, 0/f). 2. Если А = (0.8/а1, 1/a2, 0.4/a3, 0.2/a4, 0.5/a5, 0/a6), то U = (a1, а2, а3, а4, а5, а6); M = (0, 0.2, 0.4, 0.5, 0.8, 1). 3. Если элементы множества U являются числовыми значениями, то порядок следования элементов пары должен соответствовать (1.1). U = (1, 2, 3, 4, 5, 6); M = (0, 0.5, 1), тогда А = (0/1, 0/2, 0.5/3, 0.5/4, 0.5/5, 1/6). Обычные множества составляют подкласс класса нечетких множеств. Функцией принадлежности обычного множества В ⊂ U является функция: 1, u ∈ B µ B (u) =  (1.2) 0, u ∉ B Опр.1.2. Нечеткое множество А называется пустым, если µ A (u) = 0, ∀u ∈ U Опр.1.3. Носителем нечеткого множества А называется обычное подмножество таких точек U, для которых величина µА(u) положительна. Носитель обозначается S(A) или SuppA: S (A) = {u u ∈ U , µ A (u) > 0} (1.3) 6 Опр. 1.4. Высотой h(A) нечеткого множества А называется величина h(A) = sup µ A (u) (1.4) u∈U Нечеткое множество А называется нормальным, если его высота равна единице. В противном случае нечеткое множество А субнормально. Отметим, что субнормальное нечеткое множество всегда можно нормализовать, поделив функцию принадлежности µА на величину h(A) = sup µ A (u) . u∈U Опр. 1.5. Элементы множества U, для которых степень принадлежности µА(u) = 0.5 называются точками перехода нечеткого множества А. Примеры нечетких множеств 1. Пусть универсальное множество U представлено в виде {a, b, c, d, e} и нечеткое подмножество А, заданное на U, имеет вид A = (0/a, 0.5/b, 0.6/c, 0.7/d, 0.85/e). Тогда носителем нечеткого множества A является S(A) = {b, c, d, e}. Высота нечеткого множества А - h(A)=0.85. Точка перехода - u=b. Множество А – субнормально. Нормализованное множество будет иметь вид: A = (0/a, 0.6/b, 0.7/c, 0.8/d, 1/e). 2. Пусть универсальное множество U представляет собой интервал , и переменная u, принимающая значения из этого интервала, интерпретируется как «Возраст». Тогда нечеткое множество A, обозначаемое термином «Старый», можно определить функцией принадлежности вида 0, при 0 ≤ u ≤ 50   −1 µ A (u) =   u − 50  −2  (1.5) 1 +    5    , при 50 < u ≤ 100     Здесь носитель S(A) = (50, 100]. Высота множества «Старый» близка к 1, соответственно множество нормальное. Точкой перехода является значение u=55. 7 3. Пусть U = и переменная u, принимающая значения из этого интервала, интерпретируется как «Возраст». Тогда нечеткое множество «Молодой», можно определить функцией принадлежности вида 1, при 1 ≤ u ≤ 25  µ Молодой (u) =  1 (1.6) 1 + ((u − 25) / 5)2 , при 25 < u ≤ 100  Нечеткое множество «Молодой» на универсальном множестве U′={Иванов, Петров, Сидоров, …} задается с помощью функции принадлежности µМолодой(u) на U = , называемой по отношению к U′ функцией совместимости, при этом: µМолодой(Петров) = µМолодой(u), где u – возраст Петрова. 4. Пусть U = {Запорожец, Жигули, Мерседес, …} – множество марок автомобилей, а U′ = }