Искусственный разум - [40]
Современная наука очистила древний родник. Нам, как и доисторическим людям, идея дерева представляется волнующей, емкой и плодотворной. Почти погибшие умные деревья наполнились теперь новыми соками, выбросили новые побеги. Вновь зазеленел прекрасный лес, который растет нигде и всюду.
"Есть дерево: крик унимает, свет наставляет, больных исцеляет". Придумывая эту загадку, наши прадеды имели в виду березу. Сегодня у старой загадки иные отгадки. Дерево возможностей! Дерево целей! Дерево опровержений!
Впереди нас ждут встречи с новыми деревьями из Умного леса - с деревьями планов, с деревьями смыслов, с диагностическими деревьями. Но уже сейчас ясно, что представление малопохожих человеческих решений единым способом - в виде дерева, - могучее подспорье на пути к Искинту.
Вместо многочисленных частных, узких эвристик мы станем теперь изобретать единые способы выбора лишь полезных, лишь перспективных, лишь целенаправленных ветвей дерева.
Понедельник. Раннее утро. Перед выходом на работу вы подходите к окну. По небу несутся тяжелые тучи, а на градуснике 25 тепла. "Одевать ли плащ? - размышляете вы. - Если будет дождь, плащ окажется кстати, а если пронесет, придется зря таскаться с ним по жаре. Полезно, конечно, послушать прогноз погоды. Минут через пять по радио скажут, ожидается ли дождь. Но время дорого - пропустишь автобус, да и прогнозу можно верить лишь с оглядкой".
Итак, снова дерево. Его корень "выбор одежды" расщепляется на два ствола: "ждать прогноза" и "не ждать прогноза". Положим, вы решили ждать. И спустя пять минут слышите прогноз: ожидается дождь.
"Опять, - думаете вы,- опять синоптики обещают дождь. Вчера тоже обещали. И позавчера. А дождя не было; все их прогнозы - обман".
И вы оставляете плащ на вешалке. И, отчаянно спеша, выбегаете на улицу. А дождь не заставляет себя ждать. Насквозь промокший и слегка опоздавший, вы являетесь на работу, извлекаете из кармана листок с деревом "выбор одежды" и внимательно рассматриваете другие возможности.
Всего в кроне дерева двенадцать ветвей. Теперь-то ясно, что незачем было бежать без плаща под дождь; ветви 3, 7 и 11 следовало решительно отбросить. Нужно было согласиться с прогнозом, взять плащ и оказаться в выигрыше, то есть выбрать ветвь 1. Даже если бы радио сказало "не будет дождя", даже тогда стоило бы взять плащ - перестраховаться (ветвь 5). Да и вообще, при чем здесь прогноз? Увидел, что облачно, надевай плащ, не надейся на авось (ветвь 9).
Столь мрачно вы рассуждаете оттого, что дождь, проливной и холодный, не оставил на вас сухого места. Задержись он на часок, вы благополучно добрались бы до работы. Тогда б выигрышными оказались ветви 4, 8 и 12 (вы без плаща, и нет дождя).
На дереве есть еще ветви 2, 6 и 10 (вы в плаще, на улице солнышко); лучше ли это, чем быть без плаща в дождь, - решать вам самому.
В том-то и состоит трудность, что решать надо, не зная наверняка, будет ли дождь. Для такого неопределенного решения можно оценить пользу от своих действий в баллах.
Если вы не ждали прогноза, не взяли плащ и дождя не было, то удовольствие от правильного решения резонно оценить в +8 баллов (ветвь 12). Самый печальный случай когда вы понадеялись на прогноз, не взяли плащ, а хлынул дождь; этой вдвойне досадной ситуации припишем -13 баллов (ветвь 3).
Каждая из ветвей дерева получает свою оценку. На рисунке показаны оценки, удовлетворяющие автора; читатель вправе назначить другие баллы. Столь же субъективна наша оценка вероятности того, что произойдет дождь или что бюро прогнозов ошибается.
Оценки назначаются по вашей воле, но на этом своеволие кончается, и начинается математика. Формулы статистической теории принятия решений позволяют найти на дереве ветвь, наилучшую в данных условиях, при данных оценках. Если до прогноза вы считали дождь вероятным на 40 процентов, если сам прогноз погоды сбывается в 70 процентах случаев, то расчет пс алгоритму статистических решений приводит к категорическому выводу: прогноза ждать не стоит. И брать с собой плащ тоже не стоит.
Вы зря ждали радиосообщения, но, выйдя без плаща поступили правильно. Пусть шальной дождь застиг вас по дороге - все равно правильно! Это подсчитано с помощью статистической теории принятия решений, области математики, на которую часто опирается Искинт. Статистическая теория принятия решений не помогла вам сегодня. Зато во многие другие облачные понедельники вы благополучно избежите дождя. Эта теория умело отсекает многочисленные ветви дерева, выбирая в густой кроне самый выгодный путь. Наряду со статистической теорией принятия решений в программах Искинта трудятся и другие эвристики - веткорубы. "Сначала вширь" зовут одну из них: "сначала вглубь" - имя другой; "не зарываться" - девиз третьей. Все ОНИ. хотя и по-разному, стремятся к одной цели: заменить слепой перебор ветвей дерева разумной оценкой правильного пути.
Эвристики, вошедшие в метод доказательства теорем, в метод резолюции, усиливают, но одновременно и ослабляют его: вот-вот потеряется обязательность достижения результата. Приходится балансировать на зыбкой грани между изяществом и результативностью.
