Оценки назначаются по вашей воле, но на этом своеволие кончается, и начинается математика. Формулы статистической теории принятия решений позволяют найти на дереве ветвь, наилучшую в данных условиях, при данных оценках. Если до прогноза вы считали дождь вероятным на 40 процентов, если сам прогноз погоды сбывается в 70 процентах случаев, то расчет пс алгоритму статистических решений приводит к категорическому выводу: прогноза ждать не стоит. И брать с собой плащ тоже не стоит.
Вы зря ждали радиосообщения, но, выйдя без плаща поступили правильно. Пусть шальной дождь застиг вас по дороге - все равно правильно! Это подсчитано с помощью статистической теории принятия решений, области математики, на которую часто опирается Искинт. Статистическая теория принятия решений не помогла вам сегодня. Зато во многие другие облачные понедельники вы благополучно избежите дождя. Эта теория умело отсекает многочисленные ветви дерева, выбирая в густой кроне самый выгодный путь. Наряду со статистической теорией принятия решений в программах Искинта трудятся и другие эвристики - веткорубы. "Сначала вширь" зовут одну из них: "сначала вглубь" - имя другой; "не зарываться" - девиз третьей. Все ОНИ. хотя и по-разному, стремятся к одной цели: заменить слепой перебор ветвей дерева разумной оценкой правильного пути.
Эвристики, вошедшие в метод доказательства теорем, в метод резолюции, усиливают, но одновременно и ослабляют его: вот-вот потеряется обязательность достижения результата. Приходится балансировать на зыбкой грани между изяществом и результативностью.
Что ж, разработка Искинта - это инженерное дело, а не чистая математика или чистая психология. Здесь все замешено на компромиссах. Выбор инженера определяется практической полезностью, а не теоретической безупречностью. Что выбрать в качестве решателя задач для робота - анализ средств и целей или резолюцию? У каждого подхода есть сильные стороны, есть и недостатки.
"Возьму оба! - решает инженер. - Пусть, составляя свои планы в общем, робот действует по программе ЛЮБОЗАР, а уточняя частности, переходя от стратегии к тактике, доказывает теоремы".
Инженера не смущают действия робота по разнородным программам, лишь бы работал, лишь бы давал наибольший эффект. Инженер понимает, что компромиссы только начинаются. Его робот действует не в абстрактном мире логики, а в реальном, грубом мире с помехами, трением, осечками и глупостью. Отправилась, скажем, "разумная тележка" за наклонной плоскостью, а у нее заело колесо; робот вращается на месте, не двигаясь вперед. Или в другой раз удалось подтолкнуть наклонную плоскость к платформе, въехать по ней на платформу, но вдруг передние колеса тележки-робота провалились в зазор между плоскостью и платформой. Или потеря питания, или случайный предмет на дороге, или...
