Опубликован: 26.07.2006 | Доступ: свободный | Студентов: 3068 / 549 | Оценка: 4.00 / 3.77 | Длительность: 15:27:00
ISBN: 978-5-94774-818-5
Специальности: Программист, Математик
Лекция 11:

Нечеткие алгоритмы

< Лекция 10 || Лекция 11: 1234 || Лекция 12 >
Аннотация: В лекции дается строгое, формальное определение нечеткого алгоритма, рассматриваются способы его выполнения, описывается метод представления нечеткого алгоритма в виде ориентированного графа.

Формализация понятия нечеткого алгоритма

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

Под алгоритмом понимается точно определенное правило действий (программа), для которого задано указание, как и в какой последовательности это правило необходимо применять к исходным данным задачи, чтобы получить ее решение. Характеристиками алгоритма являются:

а) детерминированность — однозначность результата процесса при неизменных исходных данных;

б) дискретность определяемого алгоритмом процесса — расчлененность его на отдельные элементарные акты, возможность выполнения которых человеком или машиной не вызывает сомнения;

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

Нечеткий же алгоритм , упрощенно говоря, определяется упорядоченным множеством нечетких инструкций (нечетких высказываний), которые содержат понятия, формализуемые нечеткими множествами.

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

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

Во-первых, вместо интервала [0,1], общепринятого множества значений функции принадлежности, рассматривается непустое множество W с отношением частичного порядка \( \succ\) и операциями \( \otimes ,\; \oplus\), удовлетворяющими свойствам коммутативности, ассоциативности и дистрибутивности, а также содержащие нулевой (0) и единичный (1) элементы.

Во-вторых, рассматриваются инструкции следующего вида:

Start: go to L (инструкция начала);
L: do F, go to L_{1} (инструкция операции);
L: if P then go to ( L_{1},\ldots,L_{n} ) (инструкция условия);
L: halt (инструкция окончания)

где L_{1},\ldots,L_{n}\in L — множество символов меток инструкций, f\in F — символ оператора или функции, P\in P — символ предикатов или условий.

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

В-третьих, определяется понятие W -машины. W -машина есть функция M, определенная на множестве символов \{O\}\cup \{I\}\cup  F  \cup P, для которых существуют множество входов X, множество состояний памяти M и множество выходов Y, а также выполнены следующие условия:

  1. M (I)\colon X\times    M\to   W (функция входов);
  2. \forall F\in  F M(F) \colon M \times M\to  
W (функция операции);
  3. \forall P\in  P, n>0 M(P) \colon
M\times  \{1,\ldots,n\} \to W (функция условий);
  4. M (O)\colon M\times   Y\to   W (функция выхода).

Символы I и O обозначают вход и выход. Наконец, в-четвертых, программа \pi вместе с W -машиной, которая допускает \pi (т.е. машина определена на всех операциях F и условиях P, содержащихся в инструкциях операции и условия программы \pi ), называется нечеткой программой. Следовательно, последовательностью инструкций, составляющих нечеткую программу, определяется нечеткий алгоритм.

Конкретные типы алгоритмов могут быть получены посредством выбора множеств \{W, M, X,Y\}, функций (входов, действий, условий, выходов), операций \{  \otimes ,\; \oplus \}, отношения \( \succ\).

< Лекция 10 || Лекция 11: 1234 || Лекция 12 >
Владимир Власов
Владимир Власов

Зачем необходимы треугольные нормы и конормы? Как их использовать? Имеется ввиду, на практике.