Алексей Чачко - Искусственный разум
Математические опыты Гулливера в стране великанов
Глубокое заблуждение. Бессмысленно, например, привязывать ход мысли к осям X, У и Z, будто это орбита космического корабля. Горы чисел-координат исчерпывающе расскажут о движении корабля и ничего не сообщат о мысли. Для очень сложных систем - мышления, языка, общества - нужно жертвовать точностью, чтобы проникнуть в сущность.
Математика, которую автор в запальчивости грозится сбросить с атомохода современности, всегда была верной служанкой людей в их наступлении на сложные системы.
Вспомните первый великий подвиг математики - ее роль в рождении могучего мира механизмов и машин. Рычаги, блоки, полиспасты, станки, поезда, космические корабли многим обязаны пропорциям, многочленам, алгебраическим и дифференциальным уравнениям. Своими орудиями поразила математика неизведанную сложность, схватила внутренние ее законы, отбросив несущественное, и позволила нам сегодня называть этот мир миром классической механики или миром организованной простоты.
Вспомните второй великий подвиг математики - вторжение в страну неорганизованной сложности. Туда, где слепо тычутся в тепловом танце миллионы молекул, где напрасно ищет порядка демон Максвелла, где срываются со своих орбит электроны и вдребезги разлетаются ядра. В страну, в которой так любят говорить о смерти - тепловой смерти вселенной или термоядерной смерти теплокровных. Бросив в дело статистику и теорию вероятностей, использовав резерв неэвклидовых геометрий, математика победила неорганизованную сложность. И попала в третий мир, в мир, где живут язык, мышление, общество.
Про них не скажешь - неорганизованные, им свойственна высочайшая организация. Про них язык не повернется заявить - простые. Они состоят из миллионов и миллиардов разнообразно сплетенных элементов, они непрерывно изменяются, реорганизуются, дышат, живут.
Количественная математика споткнулась об эту организованную сложность. Ее орудия, отточенные в других боях, оказались здесь почти бесполезными, как бессильны дротики дикарей против ружейного огня колонизаторов. А мы, привыкшие к победному маршу математики, не желаем взглянуть правде в глаза: веруем в математику, в ее количественную непогрешимость.
Построить Искинт без математики, конечно, нельзя. Но нужна новая математика - математика нечетких объектов.
Математика нечетких объектов... В самом словосочетании скрывается противоречие. Математика, казалось бы, должна вносить в объекты, в реальную жизнь четкость, меру и число. Если при этом возникают ошибки, математика учитывает их влияние, надевая и на ошибки узду меры и числа. А тут нечеткость, расплывчатость - давнишние, всегдашние враги математики, исконные и смертельные ее неприятели - оказываются добрыми друзьями, первыми зваными гостями.
Чтобы построить Искинт, нужно не просто развитие математики, нужна коренная революция в математике.
Двенадцать лет назад на одном международном совещании я услышал горячее, по-восточному темпераментное выступление американского ученого Лофти Заде, который рассказывал о фази-множествах.
Понятие "множества" - одно из основных в математике; на него опираются и алгебра, и геометрия, и логика. Что такое "множество" - известно. А вот что значит "фази"?
Если от английского произношения докладчика вернуться к латинскому написанию слова, оно из "фази" превратится в "фузи". И это "фузи" встречалось нам еще в школе, скажем, в слове "диффузия". "Диффузия" в прямом переводе - это "разлитие".
Те из читателей, кто любит историю, легко вспомнят, что пушка в петровские времена называлась "фузия" (или "фузея"), то есть "литье".
Литье, разлитие, размытость... Л. Заде говорил о размытых множествах!
Простое, неразмытое множество состоит из элементов, которых может быть и один, и десять, и любое другое количество. Сколько бы их ни было, они принадлежат данному множеству, входят в него, являются его членами, а другие элементы не принадлежат, не входят, не являются. Простое множество напоминает клуб со строгими правилами - в него пропускают только членов этой организации.
Размытое множество устроено совсем иначе. Если это и клуб, то клуб с мягкими правилами: вместо непременного членства здесь большая или меньшая склонность, степень принадлежности, мера близости. Скажем, утверждение "молодой" будет выглядеть на языке размытых множеств так:
молодой =0,1/15+0,9/20+1,0/25+0,7/30+0,2/40+0,1/50
Прочтем эту запись. Числа 15, 20, 25, 30, 40 и 50 означают возраст. Молодому человеку может быть и 15, и 20, и 25, и 30, и 40, и 50 лет. К каждому возрасту привешен своеобразный ярлычок - мера близости. Для 15 лет эта мере невелика - всего 0,1. Столь же мала она для 50 лет. Зато для 25 лет она максимальная - 1,0.
Значит, "молодой" - множество возрастов, в которое, безусловно, входит 25 лет, чуть в меньшей степени 20 лет, еще в меньшей - 30 и совсем в малой - 15 или 50. Перед нами спектр чисел, передающий оттенки понятия "молодой". Если сравнить смысл слова "молодой" со сложной краской, то формула представляет собой как бы рецепт составления ее из простых тонов: возьми 0,1 часть возраста "15 лет", смешай ее с 0,9 частями возраста "20 лет", добавь к смеси 1,0 части оттенка "25 лет"...
Спору кет, любопытная запись. Но полезная ли? Понятие "молодой" мы определили, а дальше что? Предположим, о человеке говорят - "очень молодой". Позволяет ли теория вычислить, что это означает? Да. Вот результат:
очень молодой=молодой2.
Вы не ошиблись, читатель, правая часть формулы гласит: "молодой в квадрате". В точности как в школе: у=х2.
Ну а если сказать - "не очень молодой и не очень старый", смысл сего нечеткого заявления можно исчислить? Пожалуйста:
не очень молодой и не очень старый=∇ (молодой)2 ∩ ∇ (старый)2.
Перед нами снова формула, в которой, быть может, не все символы вам знакомы. И бог с ними - не стоит тратить время на подробности, потому что вам отлично знакомо главное, потому что в новой одежде вы узнали старых друзей: у=х2, z=х2-у2 и другие, и прочие, и прочие. Алгебра это!
Размытые множества - основа для алгебры нечетких объектов. Алгебра Заде имеет свои правила, с помощью которых происходит объединение и разделение множеств, концентрация и разрежение элементов, уменьшение и увеличение нечеткости.
Да, да, в фузи-алгебре есть правила, преобразующие расплывчатые вещи в еще более расплывчатые. Был, скажем, мужчина, а получился не мужчина, а облако в штанах. Усиление расплывчатости - часто используемый людьми прием.
Каждому из нас. приходилось в ответ на вопрос, знакомы ли мы с определенным предметом, отвечать: "более или менее", "в некоторой степени", "слегка". Мы наращиваем нечеткость, когда хотим проявить осторожность и не делать опрометчивых суждений. Нечеткая алгебра возвела человеческую уловку в правило математики.
Фузи-алгебра, как и всякая алгебра, работает с двумя основными вещами - переменной и функцией. Только переменные здесь непривычные - слова, а не числа. Тем не менее словесная переменная, как и числовая, может пробегать ряд значений. Скажем, переменная "возраст" пробегает значения: "младенческий", "детский", "юношеский", "молодой", "средний", "пожилой", "старый", "дряхлый". Переменная пробегает ряд значений, а вместе с ней пробегает наша жизнь. Чему быть, того не миновать; остается только любоваться формулой:
дряхлый=очень-очень старый=старый4.
Остается еще раз удивиться мудрости Р. Декарта. Это он стал первым записывать показатель степени в виде маленькой цифры над переменной. И это он ввел в науку само понятие переменной. Ф. Энгельс так оценил нововведение: "Поворотным пунктом в математике была Декартова переменная величина, Благодаря этому в математику вошли движение и тем самым диалектика".
Про главную идею Р. Декарта резонно еще сказать "могучая". И тогда сегодняшняя нечеткая алгебра окажется не только плодом трудов Л. Заде, но и результатом творческого импульса, данного науке Р. Декартом.
Математика нечетких объектов, конечно, математика сведения. Внешний, физический мир сначала сводится к словесному описанию. Словесное описание, в свой черед, сводится к функциям от размытых переменных. Размытые переменные сводятся к простейшим переменным, а эти амебы нечеткой математики уже измерены и описаны с помощью чисел (вспомните наше "молодой").
В математике нечетких объектов числа ушли с авансцены, чтобы работать за кулисами. Размытые категории обретают определенность за счет "числовой подложки". Старая математика не исчезает, только стушевывается, уходит с капитанского мостика в машинное отделение и там трудится изо всех сил.
Незачем сбрасывать старую математику с атомохода современности: застопорится атомоход. Но изменить взгляд на математику стоит.
Дело математики не только количественные явления, но и качественные, не только числа, но и смыслы. Дело математики не только точность, но и расплывчатость.
