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