История fuzzy logic

Основы нечеткой логики были заложены в конце 60-х годов в трудах известного американского математика Заде. В это время весьма популярными были эксперименты с т.н. "мажоритарными" пространствами, в которых намеренно устранялось понятие меры и вместо него вводился ряд качественных факторов (типа квантора "большинства") - прообраз первых нечетких утверждений. Социальный заказ на исследования подобного рода был вызван растущим недовольством экспертными системами.

Для создания действительно интеллектуальных систем, способных адекватно взаимодействовать с человеком, необходим был новый математический аппарат, переводящий невнятные и неоднозначные житейские утверждения в язык четких и формальных математических формул. Первым серьезным шагом в этом направлении явилась теория нечетких множеств, разработанная Заде. Он дал и название для новой области науки -"fuzzy logic". Термин "fuzzy" (что означает "нечеткий, размытый ) не совсем точно отражает существо самой теории, которую - в ее сегодняшнем виде - правильнее было бы называть "непрерывной логикой".

Аппарат теории нечетких множеств, продемонстрировав ряд многообещающих возможностей применения - от систем управления летательными аппаратами до прогнозирования итогов выборов, оказался вместе с тем чрезмерно сложен для воплощения при тогдашнем уровне технологии - и на многие годы нечеткая логика заняла свое место в ряду других специальных научных дисциплин - где-то посередине между экспертными системами и нейронными сетями...

Свое второе рождение теория нечеткой логики пережила в начале восьмидесятых годов, когда сразу несколько групп исследователей (в основном в США и Японии) всерьез занялись созданием электронных систем различного применения, использующих нечеткие управляющие алгоритмы. Теоретические основы для этих попыток были заложены в ранних трудах Барта Коско (Bart Kosko), и других ученых.

Так , в нашумевшей книге Коско "Fuzzy Thinking" ("Нечеткое мышление") автор, доказывает, что два тысячелетия назад человечество сделало роковую ошибку, заложив в фундамент науки не зыбкую поэтику ранних восточных философий, а выхолощенную двоичную логику Аристотеля. И с тех пор классическая "черно-белая" бинарная логика, зажатая шорами закона "исключенного третьего", все более отдаляется от реального многоцветного мира, где нет ничего абсолютного, а все самое интересное происходит в туманной области между "да" и "нет". Фундаментальным изложением современной теории нечеткой логики является книга Барта Коско "Neural Networks and Fuzzy Systems : a Dynamical Systems Approach To Machine Intelligence" (Prentice-Hall, 1992)

Для признания и дальнейшего развития fuzzy logic наибольшую роль сыграли два научных результата : доказательство FAT-теоремы, дающей нечеткой логике "путевку в жизнь" и комбинация нечеткой логики с нейронными сетями Кохонена, указавшая путь к преодолению наиболее критического "узкого места" новой теории - автоматизированного формирования системы нечетких правил по содержимому входных данных.

Так, к 90-му году появилось около 40 патентов, относящихся к нечеткой логике (30 - японских). Сорок восемь японских компаний образовали совместную лабораторию LIFE (Laboratory for International Fuzzy Engineering), японское правительство финансировало 5-летнюю программу по нечеткой логике, включающую 19 различных проектов - от систем оценки глобального загрязнения атмосферы и предсказания землетрясений до АСУ заводских цехов и складов. Результатом выполнения этой программы явилось появление целого ряда новых массовых микрочипов, основанных на нечеткой логике. Сегодня их можно найти в стиральных машинах и видеокамерах, цехах заводов и моторных отсеках автомобилей, в системах управления складскими роботами и боевыми вертолетами.