Алексей Чачко - Искусственный разум

Если вы не ждали прогноза, не взяли плащ и дождя не было, то удовольствие от правильного решения резонно оценить в +8 баллов (ветвь 12). Самый печальный случай когда вы понадеялись на прогноз, не взяли плащ, а хлынул дождь; этой вдвойне досадной ситуации припишем -13 баллов (ветвь 3).

Каждая из ветвей дерева получает свою оценку. На рисунке показаны оценки, удовлетворяющие автора; читатель вправе назначить другие баллы. Столь же субъективна наша оценка вероятности того, что произойдет дождь или что бюро прогнозов ошибается.

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

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

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

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

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

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

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

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

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

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

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