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