Искусственный разум

Оценки назначаются по вашей воле, но на этом своеволие кончается, и начинается математика. Формулы статистической теории принятия решений позволяют найти на дереве ветвь, наилучшую в данных условиях, при данных оценках. Если до прогноза вы считали дождь вероятным на 40 процентов, если сам прогноз погоды сбывается в 70 процентах случаев, то расчет пс алгоритму статистических решений приводит к категорическому выводу: прогноза ждать не стоит. И брать с собой плащ тоже не стоит.

Вы зря ждали радиосообщения, но, выйдя без плаща поступили правильно. Пусть шальной дождь застиг вас по дороге - все равно правильно! Это подсчитано с помощью статистической теории принятия решений, области математики, на которую часто опирается Искинт. Статистическая теория принятия решений не помогла вам сегодня. Зато во многие другие облачные понедельники вы благополучно избежите дождя. Эта теория умело отсекает многочисленные ветви дерева, выбирая в густой кроне самый выгодный путь. Наряду со статистической теорией принятия решений в программах Искинта трудятся и другие эвристики - веткорубы. "Сначала вширь" зовут одну из них: "сначала вглубь" - имя другой; "не зарываться" - девиз третьей. Все ОНИ. хотя и по-разному, стремятся к одной цели: заменить слепой перебор ветвей дерева разумной оценкой правильного пути.

Эвристики, вошедшие в метод доказательства теорем, в метод резолюции, усиливают, но одновременно и ослабляют его: вот-вот потеряется обязательность достижения результата. Приходится балансировать на зыбкой грани между изяществом и результативностью.

Что ж, разработка Искинта - это инженерное дело, а не чистая математика или чистая психология. Здесь все замешено на компромиссах. Выбор инженера определяется практической полезностью, а не теоретической безупречностью. Что выбрать в качестве решателя задач для робота - анализ средств и целей или резолюцию? У каждого подхода есть сильные стороны, есть и недостатки.

"Возьму оба! - решает инженер. - Пусть, составляя свои планы в общем, робот действует по программе ЛЮБОЗАР, а уточняя частности, переходя от стратегии к тактике, доказывает теоремы".

Инженера не смущают действия робота по разнородным программам, лишь бы работал, лишь бы давал наибольший эффект. Инженер понимает, что компромиссы только начинаются. Его робот действует не в абстрактном мире логики, а в реальном, грубом мире с помехами, трением, осечками и глупостью. Отправилась, скажем, "разумная тележка" за наклонной плоскостью, а у нее заело колесо; робот вращается на месте, не двигаясь вперед. Или в другой раз удалось подтолкнуть наклонную плоскость к платформе, въехать по ней на платформу, но вдруг передние колеса тележки-робота провалились в зазор между плоскостью и платформой. Или потеря питания, или случайный предмет на дороге, или...

Их невозможно перечислить, все эти "или", невозможно заранее предусмотреть все каверзы, которые готовит реальный мир наивному роботу. Если он займется составлением планов на все случаи жизни, то переберет миллионы целей и средств, докажет тысячи теорем, но никогда не сдвинется с места. Если же робот пренебрежет превратностями жизни и понадеется на авось, то скорее всего попадет впросак.

Нужен компромисс между тщательностью планирования и быстротой исполнения, нужна способность менять свои планы по ходу дела, способность, которой обладает человек.

Я расскажу вам сейчас старинную историю о корректировке планов.

Дело происходило в давние времена в Лондоне. Честный купец взял большую сумму денег взаймы у ростовщика и не смог отдать в срок. Ему грозит позор и долговая тюрьма, его красавице дочери - голодное, жалкое существование.

Есть, впрочем, один выход, который подсказывает старый и уродливый ростовщик. Он давно хотел взять в жены дочь купца, но девушка категорически не соглашалась, как не соглашается и сейчас, во время решительного объяснения не соглашается, хотя отец вот-вот окажется в долговой яме.

Отец, девушка и ростовщик беседуют на усыпанной гравием дорожке в саду. Ростовщик будто немного смягчился. Он не требует обязательного замужества в обмен на отказ от долга и готов решить вопрос жребием.

"Вот что, любезная, - говорит ростовщик девушке, - я подниму сейчас с дорожки два камешка - черный и белый, и положу их в свой цилиндр. А вы, не глядя, вытащите один из камней. Если вам достанется белый, я тотчас прощу вашему отцу долг и не стану больше домогаться вашей руки и сердца. А если достанется черный камешек, тогда вы войдете хозяйкой в мой дом, а ваш отец получит от меня новый заем. Согласны вы положиться на судьбу?" - "Согласна", - отвечает отважная английская девушка.

Ростовщик нагибается, проворно берет с дорожки два камня и бросает их в цилийдр. Но девушка успевает заметить, что оба камня черные, оба черные... Он ее обманывает, подлый ростовщик, он навязывает ей ненавистный брак!

Уродливый старик как ни в чем не бывало протягивает ей цилиндр: "Сделайте свой выбор!"

Как поступить девушке?