
- •1.3.6. Экстремальные характеристики отношения
- •3.2.3. Связь между исчислением высказываний и алгеброй
- •3.2.4. Основные результаты исследования исчисления
- •Предисловие
- •1.1. Понятие компьютинга и дискретной математики
- •1.2. Теория множеств
- •1.2.1. Основные понятия теории множеств
- •1.2.2. Способы задания множеств
- •1.2.3. Операции над множествами
- •1.2.4. Свойства операций над множествами
- •1.2.5. Аксиоматика теории множеств
- •1.3. Бинарные отношения и их свойства
- •1.3.1. Декартово произведение и бинарное отношение
- •1.3.2. Функции и операции
- •1.3.3. Способы задания бинарных отношений
- •1.3.4. Свойства бинарных отношений
- •1.3.5. Типы бинарных отношений
- •1.3.7. Отношение толерантности
- •1.3.8. Операции над отношениями
- •Контрольные вопросы и задания
- •2.1. Фундаментальные алгебры
- •2.2. Алгебра высказываний
- •2.3. Формализация логических высказываний
- •2.4. Таблицы истинности сложных высказываний
- •2.5. Равносильности алгебры высказываний
- •2.6. Булевы функции
- •2.7. Формы представления логических функций
- •2.7.1. Дизъюнктивные нормальные формы
- •2.7.2. Конъюнктивные нормальные формы
- •2.8.1. Законы алгебры Буля
- •2.8.2. Упрощение логических функций
- •2.8.3. Метод Квайна – МакКласки
- •2.9.1. Теорема о полноте системы булевых функций
- •2.10. Построение логических схем
- •Контрольные вопросы и задания
- •Глава 3. Формальные теории
- •3.1. Основные свойства формальных теорий
- •3.1.1. Выводимость
- •3.1.2. Интерпретация
- •3.1.3. Разрешимость
- •3.1.4. Общезначимость
- •3.1.5. Непротиворечивость
- •3.1.6. Полнота
- •3.1.7. Независимость
- •3.2. Исчисление высказываний
- •3.2.1. Интерпретация
- •3.2.2. Правило подстановки
- •3.2.3. Связь между исчислением высказываний
- •3.2.5. Другие формализации исчисления высказываний
- •3.3. Исчисление предикатов
- •3.3.2. Кванторные операции над предикатами
- •3.3.3. Формальное определение исчисления предикатов
- •Контрольные вопросы и задания
- •4.1. Прямые доказательства
- •4.1.1. Правило подстановки
- •4.1.2. Правило вывода
- •4.1.3. Дедукция
- •4.1.4. Математическая индукция
- •4.2. Косвенные доказательства
- •4.2.1. Доказательство «от противного»
- •4.2.2. Доказательство через контрпример
- •Контрольные вопросы и задания
- •Глава 5. Основы комбинаторики
- •5.1. Правила суммы и произведения
- •5.2. Перестановки
- •5.3. Размещения и сочетания
- •5.4. Разбиения
- •5.5. Формула включений и исключений
- •5.6. Рекуррентные соотношения
- •5.7. Производящие функции
- •5.8. Числа Стирлинга второго и первого рода
- •Контрольные вопросы и задания
- •Глава 6. Основы теории графов
- •6.1. Основные понятия
- •6.1.1. Классификация графов
- •6.1.2. Способы задания графов
- •6.2. Операции над графами
- •6.2.1. Удаление вершин и ребер
- •6.2.2. Дополнение
- •6.2.3. Объединение графов
- •6.2.4. Сложение графов
- •6.2.5. Произведение графов
- •6.3. Связность в графах
- •6.3.1. Компоненты связности
- •6.3.2. Вершинная и реберная связность
- •6.3.3. Сильная связность в графах
- •6.4. Цикломатика графов
- •6.4.1. Ациклические графы
- •6.4.2. Базисные циклы и цикломатическое число
- •6.4.3. Базисные разрезы и ранг
- •6.4.4. Эйлеровы графы
- •6.4.5. Гамильтоновы графы
- •6.5. Диаметр графа
- •6.5.1. Основные определения
- •6.5.2. Алгоритм нахождения диаметра
- •6.5.3. Поиск диаметра при операциях над графами
- •6.6. Устойчивость графов
- •6.6.1. Внутренняя устойчивость
- •6.6.1. Внешняя устойчивость
- •6.7. Хроматика графов
- •6.7.1. Хроматическое число
- •6.7.3. Двудольное представление графов
- •6.7.4. Хроматический класс
- •6.8. Преобразование графов
- •6.8.1. Реберные графы
- •6.8.2. Изоморфизм графов
- •6.8.3. Гомеоморфизм графов
- •6.8.4. Автоморфизм графов
- •6.9. Планарность
- •6.9.1. Основные определения
- •6.9.2. Критерии непланарности
- •6.10. Построение графов
- •6.10.1. Преобразование прилагательных в числительные
- •6.10.3. Оценка количества ребер сверху и снизу
- •Контрольные вопросы и задания
- •7.1. Введение в теорию нечетких моделей
- •7.1.1. Принятие решений в условиях неопределенности
- •7.1.2. Основы нечетких моделей
- •7.2. Нечеткие множества. Базовые определения
- •7.2.1. Базовые и нечеткие значения переменных
- •7.2.2. Основные определения
- •7.2.3. Типовые функции принадлежности
- •7.3. Операции над нечеткими множествами
- •7.3.1. Операция «дополнение»
- •7.3.2. Операция «пересечение»
- •7.3.3. Операция «объединение»
- •7.3.4. Операция «включение»
- •7.3.5. Операции «равенство» и «разность»
- •7.3.6. Операция «дизъюнктивная сумма»
- •7.3.7. Операции «концентрирование» и «растяжение»
- •7.3.8. Операция «отрицание»
- •7.3.9. Операция «контрастная интенсивность»
- •7.3.10. Операция «увеличение нечеткости»
- •7.4. Обобщенные нечеткие операторы
- •7.4.1. Треугольные нормы
- •7.4.2. Треугольные конормы
- •7.4.3. Декомпозиция нечетких множеств
- •7.5. Индекс нечеткости
- •7.5.1. Оценка нечеткости через энтропию
- •7.5.2. Метрический подход к оценке нечеткости
- •7.5.3. Аксиоматический подход
- •7.6. Нечеткие бинарные отношения
- •7.6.1. Нечеткие бинарные отношения
- •7.6.2. Свойства нечетких бинарных отношений
- •7.6.3. Операции над нечеткими отношениями
- •7.7. Нечеткие числа
- •7.8. Приближенные рассуждения
- •7.8.1. Нечеткая лингвистическая логика
- •7.8.2. Композиционное правило вывода
- •7.8.3. Правило modus ponens
- •Контрольные вопросы и задания
- •Список литературы

или
|
2 |
, 0 |
≤ μA (x) ≤ 0.5, |
|||
2A |
|
|||||
INT( A) = |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
||||
|
|
, 0.5 ≤ μA (x) ≤1, |
||||
2A |
|
где A = ∫х/(1 − μA (x)) .
U
Эта операция отличается от концентрирования тем, что она увеличивает значение μA (x) , которое больше 0,5 и уменьшает те, ко-
торые меньше 0,5. Таким образом, контрастная интенсификация, по существу, уменьшает нечеткость А.
7.3.10. Операция «увеличение нечеткости»
Операция увеличения нечеткости, которая обозначается Ф(А),
противоположна операции контрастной интенсивности и выполняет процедуру превращения четкого множества в нечеткое или увеличения степени нечеткого множества.
Операция увеличения нечеткости определяется как
Φ( A) = 2 μA (x) (1 −μA (x)) (0.5 −μA (x)) + μA (x) .
Оператор увеличения нечеткости используется для преобразования четких множеств в нечеткие и для увеличения нечеткости нечеткого множества.
7.4. Обобщенные нечеткие операторы
Жесткие, поточечно однозначные операторы, недостаточно полно отражают смысл многозначных лингвистических преобразований термов лингвистических переменных. Поэтому большой практический интерес представляет построение обобщенных нечетких операторов, т.е. параметризованных операторов пересечения, объединения, дополнения и др. Весьма общий и изящный подход к целенаправленному формированию нечетких операторов пересечения и объединения заключается в их определении в классе треугольных норм и конорм.
250

7.4.1. Треугольные нормы
Треугольной нормой Т (сокращенно t-нормой) называется двухместная действительная функция T :[0,1] ×[0,1] →[0,1] , удовлетво-
ряющая следующим условиям:
1)ограниченность: T (0,0) = 0 , T (μA ,1) =T (1,μA ) = μA ;
2)монотонность: μA ≤ μC ,μB ≤ μD T (μA ,μB ) ≤T (μC ,μD ) ;
3)коммутативность: T (μA , μB ) ≤T (μB , μA ) ;
4)ассоциативность: T (μA ,T (μB , μC )) =T (T (μA , μB ),μC ) .
Треугольная норма T является архимедовой, если она непрерывна и для любого нечеткого множества μA выполнено неравен-
ство Т(μA , μА ) ≤ μA . Она называется строгой, если функция T
строго возрастает по обоим аргументам. Примерами треугольных норм являются операторы, показанные в табл. 7.3.
|
Таблица 7.3 |
|
Треугольные нормы |
||
|
|
|
Определение функций T (x, y) = |
Имя функции |
|
|
|
|
0, если max(x, y) <1, |
Ограниченное произведение |
|
= |
||
min(x, y), если max(x, y) >1 |
|
|
= max(0, x + y −1) |
Усиленная сумма (пересечение |
|
по Лукасевичу) |
||
|
||
= x y / [1+(1− x) (1− у)] |
Произведение Эйнштейна |
|
= x y |
Алгебраическое произведение |
|
|
(вероятностное) |
|
= x y / [1−(1− x) (1− y)] |
Произведение Гамахера |
|
= min(x, y) |
Минимум (пересечение по Заде) |
|
|
|
7.4.2. Треугольные конормы
Треугольной конормой (сокращенно t-конормой) называется двухместная действительная функция :[0,1]×[0,1] →[0,1] , удовле-
творяющая следующим условиям:
1)ограниченность: (1,1) =1, (μA ,0) = (0,μA ) = μA ;
251

2)монотонность: μA ≥ μC ,μB ≥ μD (μA ,μB ) ≥ (μC ,μD ) ;
3)коммутативность: (μA , μB ) ≤ (μB , μA ) ;
4)ассоциативность: (μA , (μB , μC )) = ( (μA , μB ), μC ) .
Треугольная конорма является архимедовой, если она непрерывна и для любого нечеткого множества μA выполнено неравен-
ство (μA , μА ) ≥ μA . Она называется строгой, если функция
строго убывает по обоим аргументам. Примерами треугольных конорм являются операторы, показанные в табл. 7.4.
|
Таблица 7.4 |
|
Треугольные конормы |
||
|
|
|
Определение функций |
Имя функции |
|
(x, y) = |
||
|
||
|
|
|
= max(x, y) |
Максимум (объединение по Заде) |
|
=1 − (1 − x) (1 − y) / (1 − x y) |
Сумма Гамахера |
|
=1 − (1 − x) (1 − y) или = x + y – xy |
Алгебраическая сумма |
|
=1 − (1 − x) (1 − y) / (1 + x y) |
Сумма Эйнштейна |
|
= min(1, x + y) |
Усиленная разность (объединение |
|
по Лукасевичу, ограниченная |
||
|
сумма) |
|
|
|
|
1, если min(x, y) > 0, |
Ограниченная сумма |
|
= |
||
max(x, y), если min x(x, y) = 0 |
|
|
|
|
Рассмотрим следующие шесть пар t-норм и t-конорм (табл. 7.5).
|
Таблица 7.5 |
Пары t-норм и t-конорм |
|
|
|
t-норма |
t-конорма |
Усиленное произведение |
Усиленная сумма |
Ограниченная сумма |
Ограниченная разность |
Произведение Эйнштейна |
Сумма Эйнштейна |
Алгебраическое произведение |
Алгебраическая сумма |
Произведение |
Сумма Гамахера |
Минимум |
Максимум |
252

Для каждой пары справедливы уравнения:
T (x, y) =1− (1 − x,1 − y) ,(x, y) =1 −T (1 − x,1 − y) .
Для любых заданных значений х и у, таких, что х + у < 1, справедлива возрастающая последовательность: 0 ≤ усиленная сумма ≤ усиленное произведение ≤ произведение Эйнштейна ограниченная разность ≤ алгебраическое произведение ≤ произведение Гамахера
≤минимум ≤ максимум ≤ сумма Гамахера ≤ алгебраическая сумма
≤сумма Эйнштейна ≤ усиленная разность ≤ ограниченная сумма ≤ 1.
7.4.3. Декомпозиция нечетких множеств
Множеством уровня α (α-срезом) нечеткого множества А на-
зывается четкое подмножество универсального множества U, определяемое по формуле
Aα ={x | μA (x) ≥ α} ,
где α [0,1] .
По сути α – некоторый порог. Порог α = 0,5 называется точкой перехода.
Множество строгого уровня определяется в виде
Aα ={x | μA (x) > α} .
Для произвольной непрерывной функции принадлежности, задающей некоторое нечеткое множество, на рис. 7.5 показаны ядро, носитель и α-сечение.
Рис. 7.5
253