Алексей Чачко - Искусственный разум
Человек удивляет нас прежде всего своей способностью решать разнообразные, очень далекие друг от друга задачи, умением войти в мир задачи, как в свой дом, любовью к необычным задачам.
Волонтер Р. Декарт
Голландия. 1618 год. Волонтер Р. Декарт вместе со своим полком находится в Бреде. Гуляя по улице, он замечает объявление. Похоже, в этом объявлении предлагается желающим для решения трудная задача (была в те времена такая мода). Р. Декарт не понимает условий задачи - он почти не знает голландского языка. Он обращается за помощью к другому ротозею. Незнакомец переводит условия задачи с голландского на латынь.
Они знакомятся. Голландец, оказывается, занимается медициной, математикой и физикой. Он подзадоривает Р. Декарта: работа переводчика должна быть оплачена, плата за услугу - решение задачи.
Задетый за живое, Р. Декарт работает, быть может, всю ночь. Утром он приносит полное решение сложной задачи.
- Я засыпал, а Вы разбудили меня! - с улыбкой говорит Р. Декарт новому своему другу.
Он имеет в виду не минувшую ночь, скорее всю свою предшествующую жизнь, когда любовь к науке и досуг не слились еще у него в страсть решать задачи и понимать, как решают задачи другие люди.
С этого дня жизнь его круто изменилась. В этот день Р. Декарту было 22 года, столько же, сколько сегодня Искинту.
У мысли стоя на часах...
О смертной мысли водомет,
О водомет неистощимый!
Какой закон непостижимый
Тебя стремит, тебя мятет?
Ф. Тютчев
Программы-однодумы представляют собой серьезный этап в развитии Искинта. Они многое уточнили в оценке возможностей ЭВМ, но, конечно, не исчерпали этих возможностей. Пришел черед рассказать о программе-антиподе, о решателе, берущемся за любые задачи.
Начнем со сказочной истории, казалось бы, далекой от компьютеров, со свадьбы Ивана-дурака и царевны-лягушки.
Старая, но поучительная история. Иван вернулся из дальних странствий без богатств и без коней, пешком, неся в тряпице лягушку. В тот же день он всенародно объявил, что намерен взять земноводную в жены.
Склонная к принятию благоразумных решений общественность удивлялась. Ладно, лягушка - это полбеды, не у всех жены Василисы Прекрасные, да за лягушкой ни сундука с жемчугом, ни телеги, ни квартиры, тряпица одна, хотя и тряпица не ее - бывший Иванов дорожный узелок. Но если Иван вбил себе в голову дурь, ее оттуда и колом не вышибешь.
Сыграли на другой день свадьбу. Гости справедливо прокричали "Горько!", жених поцеловал невесту, и она обратилась вдруг в царевну.
Можно сказать, здорово повезло Ивану-дураку. А можно и иначе сказать: Иван оказался проницательным решателем проблем.
Он не был верхоглядом. На каждую былинку обращал внимание, на каждую пичугу. Увидел, у дороги лягушка плачет, не отшвырнул ногой, а остановился и спросил:
- О чем плачешь, красавица?
Лягушка сначала нехотя отвечала, отрывисто, невнятно. Рассказывала она уже многим свою историю, не верит никто, чего зря болтать, только душу бередить.
Но Иван был и терпелив и коммуникабелен. Сумел у лягушки все выведать. Про то, как Кащей Бессмертный ее, нездешнюю царевну, проклял и в квакушку обратил, и про то, что злое проклятие снимется с нее лишь тогда, когда добрый молодец ее в жены возьмет и на свадьбе поцелует всенародно.
Иван и царевна-лягушка
Он не был легковерным. Взвесил лягушкины речи; про подлость К. Бессмертного он давно уже знал. Слыхивал Иван и про то, что Кащей торопится, деталей доделывать не любит. Потому, похоже, лягушка не квакает, а изъясняется человеческим голосом.
Голос у нее нежный, не обманный голос. И склад речей простой и приятный. Нет, не обманщица она, не аферистка придорожная, а девица заговоренная.
Может, и так было, что не от торопливости Кащей ей голос человеческий сберег, а с коварным умыслом. Без голоса как бы она про женитьбу рассказала? А без рассказа главное в Кащеевом расчете пропадет. Кащей-то на подлость людскую и на так называемый здравый смысл надеется. Мол, кто из нормальных людей на лягушке женится? Так она в лягушках и будет вековать. Потенциально она расколдоваться способна, а реально...
Нет, врешь, Кащей! Не будет по-твоему, я лягушку в жены возьму. Я ее крепко поцелую при всем честном народе, а ты уж изволь вернуть ей и красоту, и молодость, и царство...
Так, видимо, рассуждал Иван, принимая свое решение. Когда-нибудь Искинт научится мыслить, как Иван-дурак, станет способен к нетривиальным, творческим светлым и добрым решениям. Для того чтобы это случилось быстрее, нужно больше и глубже изучать человеческое мышление. Автор верит, что психология мышления человека даст много ценных и важных идей для развития Искинта, а психолог - обязательный участник группы, всерьез делающей интеллект.
Не все специалисты разделяют идею человекообразного Искинта. Р. Беллман, имя которого мы уже упоминали в связи с размытыми алгоритмами, говорит без обиняков: "Нам, безусловно, не следует копировать человеческие мыслительные способности или даже пользоваться сходными методами". Быстродействие и доступность памяти машин многократно превосходят человеческие возможности; решать на машине задачи по-человечески все равно, что стрелять из пушки по воробьям.
Нет, не подражание человеку, а свои, оригинальные, несравненно более эффективные приемы решения проблем - вот магистральная дорога для ЭВМ. Что толку в подражании? Летали бы сейчас реактивные самолеты, если бы человек ограничился подражанием птицам и непременно стремился бы освоить машущий полет? Работали бы сейчас мощные электростанции, если б человек упрямо пытался построить их по образу и подобию лошадей и быков, главных энергетических агрегатов древности? А колесо? Не было бы у человечества колес, когда б оно подражало, а не изобретало новые, невиданные в природе вещи. Таковы взгляды машино-центристов. Люди дела, они не ограничиваются критикой, а создают новые, сугубо машинные приемы решения сложных проблем. Математическое программирование, их главное достижение, пришлось по мерке вычислительным машинам, оно работает сейчас во многих отраслях народного хозяйства и продолжает совершенствоваться. Машиноцентристы имеют серьезное право на прогноз: Искинт возникнет не в бесплодном подражании человеку, а в интенсивном развитии математического программирования.
Сторонники движения к искусственному интеллекту от человека отвергают сомнительные доводы машино-центристов. Человек, если пользоваться выражением математиков, является "теоремой существования" для Искинта; раз существует мыслящий человек, то в принципе возможно воспроизведение мышления вне человека, в машине.
Теоремы существования, как известно, не указывают пути к цели, но человек больше, чем "теорема существования". Он еще, если перейти на язык инженеров, образцовая конструкция. В небольшом объеме помещается гибкий, обучаемый, надежный мозг. Если конструировать Искинт на уровне мировых стандартов, то нельзя обойти человека стороной. Инженерам есть чему у него поучиться, грех отказываться от копирования совершенной конструкции во имя математической чистоты.
Никто, конечно, не говорит, что человек абсолютное совершенство, недосягаемый образец. У него есть слабости - их бы поточнее изучить, тогда удастся избежать в машине. У него есть ограничения - опять-таки важно узнать, каковы они и чем вызваны: самой ли природой переработки информации или причудами эволюции, которая не шедевры создает, а жизнеспособные организмы. Знания о человеческом мышлении, пусть неполные, очень помогут конструктору Искинта. Так рассуждали А. Ньюэлл, Г. Саймон и К. Шоу, когда задумали серию экспериментов по выявлению человеческих эвристик.
Начало было скромным. Отобрали группу студентов, незнакомых с математической логикой. Предлагали каждому из них доказать одну или несколько теорем этой отрасли математики. Обращали внимание своих испытуемых: здесь не так важен результат, как ход рассуждений. Просили рассуждать вслух, не замалчивая ничего - ни колебаний, ни сомнений, ни вздорных мыслей, ни полезных идей, ни движений вперед, ни отказов от выбранного пути и возвратов вспять. Разрешали делать любые записи, стремились снять то, что на жаргоне психологов называется "напряженкой", создать непринужденную обстановку.
Потом магнитофонные протоколы решения задач и листочки с выкладками студентов тщательно обрабатывались. Исследователи искали общие для многих студентов приемы доказательства теорем, эвристики в математической логике. Потом место студентов заняла вычислительная машина; опираясь на студенческие эвристики, ученые создали для ЭВМ программу "Логик-теоретик".
Программа А. Ньюэлла, Г. Саймона и К. Шоу оказалась безупречным логиком и энергичным теоретиком: доказала 38 теорем булевой алгебры. Конечно, молодец этот "Логик-теоретик"; жаль, опять однодум, искусник в узком, замкнутом мирке, в математической логике.
