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

Материал из Википедии — свободной энциклопедии

Нечёткая логика и теория нечётких множеств — раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечеткой логики было введено профессором Лотфи Заде в 1965 г.

Содержание

1 Направления исследований нечеткой логики
2 Математические основы
3 Смотри также
4 Внешние ссылки

[править] Направления исследований нечеткой логики

В настоящее время существует по крайней мере два основных направления научных исследований в области нечеткой логики:

Нечеткая логика в широком смысле (Теория приближенных вычислений)
Нечеткая логика в узком смысле (Символическая нечеткая логика)

[править] Математические основы

[править] Символическая нечеткая логика

Символическая нечеткая логика основывается на понятии t-нормы. После выбора некоторой t-нормы (а её можно ввести несколькими разными способами) появляется возможность определить основные операции над пропозициональными переменными: конъюнкцию, дизъюнкцию, импликацию, отрицание и другие. Нетрудно доказать теорему о том, что дистрибутивность, присутствующая в классической логике, выполняется только в случае, когда в качестве t-нормы выбирается t-норма Гёделя. Кроме того, в силу определенных причин, в качестве импликации чаще всего выбирают операцию, называемую residium (она, вообще говоря, также зависит от выбора t-нормы). Определение основных операций, перечисленных выше, приводит к формальному определению базисной нечеткой логики, которая имеет много общего с классической булевозначной логикой (точнее, с исчислением высказываний). Существуют три основных базисных нечетких логики: логика Лукасевича, логика Гёделя и вероятностная логика (Product logic). Интересно, что объединение любых двух из трех перечисленных выше логик приводит к классической булевозначной логике.

[править] Теория приближенных вычислений

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

[править] Примеры

Нечеткое множество, содержащее число 5. Нечеткое множество, содержащее число 5, можно задать, например, такой характеристической функцией: $\mu_A \left( x \right) = \left( 1+\left| x - 10 \right| ^ n \right) ^{-1}$

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

X = "Температура в комнате"
U = [5, 35]
T = {«холодно», «комфортно», «жарко»}

Характеристические функции:

$\mu_{cold} \left( u \right) = \frac{1}{1+\left( \frac{u-10}{7} \right) ^{12} }$
$\mu_{ok} \left( u \right) = \frac{1}{1+\left( \frac{u-20}{3} \right)^{6} }$
$\mu_{hot} \left( u \right) = \frac{1}{1+\left( \frac{u-30}{6} \right)^{10} }$

Правило G порождает новые термы с использованием союзов «и», «или», «не», «очень», «более ли менее».

не A: $1 - \mu_A \left( u \right)$
очень A: $\left( \mu_A \left( u \right) \right) ^ 2$
более или менее A: $\sqrt { \mu_A \left( u \right)}$
A и B: $\min \left( \mu_A \left( x \right), \mu_B \left( x \right) \right)$
A или B: $\max \left( \mu_A \left( x \right), \mu_B \left( x \right) \right)$

[править] Смотри также

[править] Внешние ссылки

[1] Статьи по нечетким множествам.
[2] Учебник по математической логике, содержащий и главу о нечеткой логике.
[3] Сайт, посвященный нечеткой логике.
[4] Статья в журнале Компьютерра.

Инженерия знаний
Общие понятия	Данные · Метаданные · Знания · Метазнание · Представление знаний · База знаний · Онтология
Жёсткие модели	Продукции · Семантическая сеть · Фреймы · Логическая модель
Мягкие методы	Нейронная сеть · Генетический алгоритм · Нечёткая логика · Гибридная система