"Из последующих разделов будет видно, что теоретические основания нашего подхода на самом деле вполне точны и математичны по духу. Дело в том, что источником неопределенности в нашем подходе является не лежащая в его основе теория, а способы использования лингвистических переменных и нечетких алгоритмов в формулировании и решении реальных задач. В действительности, в каждом случае степень точности решения может быть согласована с требованиями задачи и точностью имеющихся данных. Подобная гибкость составляет одну из важных черт рассматриваемого метода."[3].
Если говорить о формальной стороне, то нечеткая логика позволила получить математическое решение задач, например, модальных логик.
Лотфи Заде ввел в логику нечеткое множество, размытое множество [5] , тени [1] и грани [1], и т.д., а также множество новых математических символов и знаков.
Понятно удивление, с которым была встречена нечеткая логика. Неопределенность лингвистических оценок была уложена в математические каноны, вполне четко, несмотря на название предложенной логики. Последовала бурная реакция, попытки применения и ... долгая тишина. Реальное применение принципов нечеткой логики было предложено только через много лет. И в весьма урезанном виде.
И только сейчас нечеткая логика начала новый виток развития. Сейчас уже широко применяются процессоры, реализующие принципы нечеткой логики в составе различных образцов бытовой техники. Это уже можно считать широким применением нечеткой логики, правда, с некоторой натяжкой. И все же, ... применяем.
По этому пути и пошло применение его логики. И нечеткая логика превратилась в один из алгоритмов решений типовых задач. На основе экспертных оценок. Все остальные заявленные возможности потихоньку уходят в небытие. Возможно, что ненадолго. Время покажет.
С другой стороны, Лотфи Заде постарался решить задачи логики высокого уровня на уровне автоматических решений, видимо, противоречие, стоявшее перед ним в начале пути, показалось ему вполне решаемым на этом уровне.
И все же он так и не определил, каким образом происходит выбор и формирование исходного нечеткого множества, необходимого для решения задачи. Предполагается, что машина "знает" это, или критерии отбора известны изначально.
И потому, это пока делаем ... мы, а задачу уже решает машина.
А мы как это делаем? Каким образом выбирается нужное множество, как мы подбираем фактики для начала, даже формулирования задачи, непонятно...
В своих последних работах [6] Л.Заде уже не возвращается к этому, ограничившись только математическим аппаратом решения. Но задача-то осталась...
Наверное, математически, нечеткая логика безупречна. Она позволяет сформулировать задачу в формуле, обосновать критерии оценки, провести вычисление и получить ответ в виде исполнительной команды. С другой стороны, весь аналитический материал подготовки задачи ... формулируется и собирается вне логической системы проводящей решение задачи. Так, во всяком случае, было на стадии формирования нечеткой логики. Возможно, сейчас ситуация изменилась, но не очень сильно. Слишком большой объем информации и сложное математическое обеспечение надо иметь для проведения самостоятельных решений. Даже сейчас это проблематично.
Но задача поставлена и сформулирована правильно. Нечеткая логика находит достоверные решения. Видимо, принципы справедливы для всех типов логических систем, как отрытых, так и закрытых. Вопрос только в способности их применения...
Никакая автономная саморазвивающаяся логическая система не может, даже в принципе, освоить математический аппарат, предложенный для решения задач нечеткой логики. Если, правда, он не будет загружен в её память на стадии начального развития.
Но, это возможно только для машин, сооружаемых человеком, а что делать остальным ... живым логическим системам. От клетки до ... человека?
Да принципы есть, но ... возможно есть и какой-то способ решения задач с другой основой принятия обоснованного решения. Без сложной многоуровневой математики, но не менее точный.
Хотя, мы всегда несколько предубежденно относимся к формулам математики. Интегралы и дифференциальное исчисление использовалось и тогда, когда они еще так не назывались. Многие вещи только понимаются сложно, а применяются везде и всюду, без осознания их истинной сложности. Мы очень часто проводим сложнейшие логические вычисления автоматически, не вдаваясь в подробности, как, собственно, мы это делаем...
При этом, математическое обоснование простейшего логического хода может занимать не одну страницу сложнейших формул. Это так.
С другой стороны, нечеткость исходной информации, неопределенность ситуации и жесткая необходимость поиска решения простейшими методами должна была отразиться на механизме поиска решения. В сторону его математической деградации, с сохранением точности конечного результата, пригодной для принятия конечного решения. Не имеет смысла математическая виртуозность, если результат нужен сразу и только на этот момент, иначе ... он не нужен совсем.
Это, то самое противоречие в поиске эффективных решений, с которого начинал Лотфи Заде. С предложенным математическим аппаратом нечеткой логики оно сохраняется в полной мере.
Логическая система...на случайностях.
А почему бы и - нет? Очень даже может. И даже очень вероятно.
В конце концов, вся наша жизнь, это непрерывная цепь событий, в которых случайность играет далеко не последнюю роль. И более того, наложение случайностей, одна на другую, дает то неповторимое явление, которое мы называем своей жизнью. Она только моя, повторить её невозможно.
И уж если случайность так важна для нас, почему мы не можем положить её в основу всей логики Живого? Как одну из составных частей.
Для понимания случайности можно заглянуть, например, в [30]. Как оказалось, определение случайности всегда конкретно привязано к той науке, где она в данный момент изучается. В математике одно определение, в философии - другое..., с понятием неопределенности происходит примерно то же самое.
Тогда и я попробую дать свое понимание случайности и неопределенности.
Случайность, это когда мы не можем указать, что может произойти, когда и где...
Неопределенность знает, что должно произойти, но не знает когда и где...
Но, это, так, к слову...
Локализация случайностей.
Мы говорим, что беда не приходит одна, или, что надо ловить удачу за хвост...
Откуда это? Из народного опыта жизни...
А вот пример, технический. У вас вдруг пропал сигнал телеканала, а телевизор продолжает работать на этом канале. И на экране появляется характерная рябь случайных точек. Случайных, это мы точно можем сказать. Но вот что интересно, если внимательно приглядеться к этой случайной ряби, то вдруг оказывается, что она не совсем случайная. Ровной и пестрой картинки не получается. Точки группируются какими-то маленькими группами, постепенно двигаются по экрану в разных направлениях, как быстро движущиеся гусеницы, и все примерно равного размера..., изображение динамично изменяется... и при этом сохраняет общую картинку. Одинаковую на всех каналах...