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

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

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

Содержание

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

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

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

Математические основы

Символическая нечеткая логика

Символическая нечеткая логика основывается на понятии 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: \max \left( \mu_A \left( x \right), \mu_B \left( x \right) \right)
  • A или B: \min \left( \mu_A \left( x \right), \mu_B \left( x \right) \right)

Внешние ссылки

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

Wikimedia Foundation. 2010.

См. также в других словарях:

  • нечеткая логика —         НЕЧЕТКАЯ ЛОГИКА термин, появившийся в связи с развитием теории нечетких подмножеств, предложенной амер. математиком Л. Заде в …   Энциклопедия эпистемологии и философии науки

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • логика в компьютерных науках —         ЛОГИКА В КОМПЬЮТЕРНЫХ НАУКАХ способы прикладного использования логики, подразделяемые на четыре основных направления.… …   Энциклопедия эпистемологии и философии науки

  • Нечёткая логика — (англ. fuzzy logic) и теория нечётких множеств раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечёткой логики было впервые введено профессором Лютфи Заде в 1965 году. В его статье понятие множества… …   Википедия

  • философская логика —         ФИЛОСОФСКАЯ ЛОГИКА широкая область логических исследований, требующая философского осмысления основных понятий,… …   Энциклопедия эпистемологии и философии науки

  • Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Значение истинности — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/20 августа 2012. Дата постановки к улучшению 20 августа 2012 …   Википедия

  • ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ — область компьютерной науки (информатики), специализирующаяся на моделировании интеллектуальных и сенсорных способностей человека с помощью вычислительных устройств. Технологические основы для постановки проблемы И.и. возникли в результате… …   Философская энциклопедия

Книги

Другие книги по запросу «Нечеткая логика» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»