Текст книги "Модельное мышление. Как анализировать сложные явления с помощью математических моделей"

Семь областей применения моделей

В научной литературе описаны десятки вариантов применения моделей. Мы же остановимся на семи: рассуждение, объяснение, прогнозирование, разработка, коммуникация, действие и исследование.

Области применения моделей (REDCAPE)

Рассуждение: определение условий и вывод логических следствий.

Объяснение: предоставление (поддающихся проверке) объяснений эмпирических явлений.

Разработка: выбор характеристик институтов, политик и правил.

Коммуникация: передача знаний и представлений.

Действие: обеспечение выбора политических альтернатив и стратегических действий.

Прогнозирование: получение численных и категорийных прогнозов будущих и неизвестных явлений.

Исследование: изучение возможностей и гипотез.

REDCAPE: РАССУЖДЕНИЕ

При построении модели мы выделяем такие важные составляющие, как агенты и объекты, наряду с соответствующими характеристиками, а затем описываем способы взаимодействия и объединения отдельных фрагментов, что позволяет определить, что из чего следует и почему. Такой подход повышает эффективность наших рассуждений. Хотя полученные выводы зависят от исходных предположений, процесс рассуждений раскрывает нечто большее, чем тавтологии. Крайне редко можно получить весь спектр последствий наших предположений только из одного наблюдения – нужна еще и формальная логика. Логика позволяет раскрыть возможности и невозможности. С ее помощью можно установить точные и порой неожиданные связи. Это позволяет обнаружить обусловленность интуитивных выводов.

Теорема Эрроу (теорема невозможности) – пример того, как логика раскрывает невозможное. Модель рассматривает вопрос о том, приводит ли объединение индивидуальных предпочтений к формированию коллективного предпочтения. Предпочтения представлены в ней в виде упорядоченного списка альтернатив. Применительно к пяти итальянским ресторанам, обозначенным буквами от A до E, эта модель допускает любой из 120 упорядоченных списков. Согласно введенным Эрроу требованиям, общий упорядоченный список должен быть монотонным (если каждый ставит в своем списке A выше B, то же происходит в общем списке), независимым от посторонних альтернатив (если относительный ранг A и B в каждом списке остается неизменным, а ранг других альтернатив меняется, то порядок A и B в общем упорядоченном списке не меняется) и недиктаторским (ни один человек не должен определять общий упорядоченный список альтернатив). Далее Эрроу доказывает, что если разрешены любые предпочтения, то коллективное упорядочение списка может и не существовать[21]21
  См. Arrow, 1963. Общий упорядоченный список альтернатив возможен при ограничении индивидуальных списков предпочтений. Например, если бы у каждого человека был один и тот же список предпочтений, то существовал бы и общий список. В целом у нас нет способа преобразовать индивидуальный список предпочтений в согласованный общий список.


[Закрыть].

Кроме того, логика раскрывает парадоксы. Применение моделей позволяет продемонстрировать возможность ситуации, когда в каждой подгруппе содержится более высокий процент женщин, чем мужчин, но в общей совокупности наблюдается более высокий процент мужчин. Этот феномен известен как парадокс Симпсона. И он действительно имел место: в 1973 году Калифорнийский университет в Беркли зачислил на большинство факультетов больше студенток, чем студентов. Однако в целом университет принял больше студентов мужского пола. Модели также показывают, что чередование двух проигрышных ставок может обеспечить положительный ожидаемый результат (Парадокс Паррондо); или что включение дополнительной вершины в граф позволяет сократить общую длину ребер, необходимых для соединения всех вершин[22]22
  Лучшие умы моего поколения, несомненно, заметили, что я позаимствовал фразу «это действительно было» из поэмы Howl («Вопль»). См. Bickel, Hammel, and O’Connell, 1975.
  На представленном ниже рисунке показан один из множества примеров того, как включение дополнительной вершины приводит к сокращению общей длины ребер графа. На графе слева четыре вершины соответствуют углам квадрата, а на графе справа добавлена пятая вершина в центре. Если длина стороны квадрата равна 1, общая длина ребер левого графа равна 3, а общая длина ребер правого графа равна 4 × 0,71, что меньше 3.
  Парадокс Симпсона возникает, когда заявления на факультеты с более высоким процентом зачисления подает больше абитуриентов женского пола, чем мужского. Например, рассмотрим университет, в котором есть медицинская и ветеринарная школы. Предположим, в медицинскую школу подают заявления 900 абитуриентов мужского пола, и 480 (или 53 процента) из них зачисляются, и 300 абитуриентов женского пола, и 180 (или 60 процентов) из них зачисляются, а в ветеринарную школу подают заявления 100 абитуриентов мужского пола, и 20 (или 20 процентов) из них зачисляются, и 300 абитуриентов женского пола, и 90 (или 30 процентов) зачисляются. В каждой школе на обучение принято больше женщин, но в целом зачислено 50 процентов мужчин (500 из 1000) и только 45 процентов женщин (270 из 600).
  В качестве примера парадокса Паррондо рассмотрим следующую ситуацию. Предположим, первая ставка всегда проигрывает 1 доллар, а вторая ставка проигрывает 2 доллара в любом периоде, номер которого не делится на три, и выигрывает 3 доллара в периоды 3, 6, 9, 12 и так далее. Каждая ставка обеспечивает ожидаемый проигрыш, но если вы будете делать вторую ставку только в те периоды, когда она выигрывает, а первую ставку – в остальные периоды, то будете выигрывать по 1 доллару каждые три периода.


[Закрыть].

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

Логика также раскрывает математические зависимости. Исходя из аксиом Эвклида, треугольник однозначно определяется любыми двумя углами и стороной или любыми двумя сторонами и углом. Стандартные предположения о поведении потребителей и компаний позволяют сделать вывод, что на рынках с большим количеством конкурентов цена равна предельным издержкам. Некоторые результаты оказываются неожиданными, как в случае парадокса дружбы, который гласит, что в любой сети дружеских связей у друзей человека больше друзей, чем у него самого.

Этот парадокс объясняется тем, что у очень популярных людей больше друзей. На рис. 2.1 показана сеть дружеских связей в клубе карате, описанная Уэйном Закари. У человека, представленного черным кружком, шесть друзей, которые обозначены серыми кружками. У его друзей в среднем семь друзей, отмеченных белыми кружками. В целом в сети двадцать девять из тридцати четырех человек имеют друзей, которые пользуются большей популярностью, чем они сами[23]23
  См. Kooti, Hodas, and Lerman, 2014.


[Закрыть]. Далее вы увидите, что если сделать ряд других допущений, то друзья большинства людей в среднем будут также более красивыми, добрыми, богатыми и умными, чем они сами.

Рис. 2.1. Парадокс дружбы: у друзей человека больше друзей, чем у него самого

И последнее, самое важное: логика раскрывает обусловленность истины. Политик может утверждать, что снижение налогов увеличивает налоговые поступления в государственный бюджет, стимулируя экономический рост. Простейшая модель, в которой доход исчисляется как произведение налоговой ставки на уровень дохода, доказывает, что объем налоговых поступлений увеличивается только в случае, если процентный рост дохода превышает процентное сокращение налогов[24]24
  Предположим, каждый человек получает одинаковый доход I и выплачивает налоги по неизменной ставке налога t. Пусть c обозначает процент сокращения налоговой ставки, а r – повышение уровня дохода. Текущий объем налоговых поступлений в государственный бюджет равен I · t. После снижения налогов объем налоговых поступлений составит I(1 + r) · t(1 − c). Объем налоговых поступлений в государственный бюджет увеличится тогда, и только тогда, когда I · t < I(1 + r) · t(1 − c). Перегруппировка членов неравенства дает r > c(1 + r).


[Закрыть]. Следовательно, 10-процентное снижение подоходного налога увеличит объем налоговых поступлений только тогда, когда приведет к повышению уровня доходов более чем на 10 процентов. Логические рассуждения политика верны лишь при некоторых условиях, которые позволяют определить модели.

Сила обусловленности становится очевидной при сопоставлении утверждений, полученных с помощью моделей, и описательных утверждений, пусть и имеющих эмпирическое обоснование. Рассмотрим управленческую поговорку «в первую очередь самое важное», смысл которой сводится к тому, что при наличии множества задач прежде всего нужно решать самую важную. Это правило также известно как «сначала крупные камни», поскольку, складывая в ведро камни разных размеров, сначала вы должны уложить большие камни, потому что если первыми сложить мелкие камни, то крупные могут не поместиться.

Правило «сначала крупные камни», выведенное на основе экспертных наблюдений, может быть верным в большинстве случаев, но оно не безусловно. Подход, основанный на применении моделей, вывел бы оптимальное правило, исходя из конкретных предположений о задаче. В задаче об упаковке в контейнеры множество предметов разных размеров (или с разным весом) необходимо уложить в контейнеры определенного объема, использовав при этом как можно меньше контейнеров. Представьте, что вы упаковываете вещи из своей квартиры и складываете их в коробки размером примерно 60×60 сантиметров. Упорядочить вещи по размеру и положить каждую из них в первую коробку с достаточным объемом (метод, известный как алгоритм первого подходящего) – весьма эффективный подход. И правило «сначала крупные камни» здесь вполне применимо. Однако предположим, что мы рассматриваем более сложную задачу: выделить место на Международной космической станции для исследовательских проектов. У каждого проекта есть вес полезного груза, размер и требования к системе электропитания наряду с требованиями ко времени и когнитивным способностям астронавтов. Кроме того, каждый исследовательский проект вносит определенный научный вклад. Даже если бы мы установили какой-либо показатель значимости как взвешенное среднее всех этих характеристик, правило «сначала крупные камни» не сработало бы, учитывая размерность взаимозависимостей. В данном случае гораздо лучше работали бы более сложные алгоритмы и, возможно, рыночные механизмы[25]25
  См. Ledyard, Porter, and Wessen, 2000, где представлена информация о рыночном механизме, обеспечивающем более эффективное решение многомерных задач полезной нагрузки.


[Закрыть]. Таким образом, при одних условиях правило «сначала крупные камни» эффективно, тогда как при других нет. Применение моделей позволяет выяснить, когда целесообразно сначала складывать крупные камни, а когда нет.

Критики формального подхода заявляют, что модели просто переформатируют то, что нам уже известно, что они наливают старое вино в сверкающие математические бутылки, что нам не нужна модель для понимания того, что две головы лучше одной и что промедление смерти подобно. Мы можем осознать ценность самоотверженности, прочитав историю о том, как Одиссей привязал себя к мачте корабля. Такая критика не признает того факта, что выводы, сделанные с помощью моделей, принимают условную форму: если условие A выполняется, то наступает следствие B (например, если вы складываете что-то в контейнеры и размер – единственное ограничение, укладывайте сначала самые крупные предметы). Уроки, почерпнутые из литературы, или общеизвестные советы великих мыслителей во многих случаях не содержат никаких условий. Пытаясь жить или управлять другими людьми согласно безусловным правилам, мы потеряемся в море противоположных поговорок. Действительно ли две головы лучше одной? Или у семи нянек дитя без глазу?

Противоположных поговорок множество, а вот противоположных теорем не бывает. С помощью моделей мы делаем предположения и доказываем теоремы. Две теоремы, которые расходятся в отношении оптимальных действий, дают разные прогнозы или предлагают несовпадающие объяснения, скорее всего, исходят из разных предположений.

REDCAPE: ОБЪЯСНЕНИЕ

Модели дают четкое логическое объяснение эмпирических явлений. Экономические модели объясняют динамику цен и рыночной доли. Физические – скорость падающих предметов и форму траекторий. Биологические – распределение видов. Эпидемиологические – скорость и характер распространения заболеваний. Геофизические – распределение очагов землетрясений по размерам.

Модели способны объяснить выраженные в пунктах показатели и изменение их значений. В частности, модель может объяснить нынешнюю цену фьючерсов на свиную грудинку и причины роста цен на нее за последние шесть месяцев. Модель может также объяснить, почему президент назначает на должность судьи Верховного суда человека с умеренными взглядами и почему тот или иной кандидат склоняется в сторону левых или правых. Кроме того, модели объясняют форму: модели распространения идей, технологий и болезней дают S-образную кривую принятия (или распространения).

Модели, которые мы изучаем в рамках курса физики, такие как закон Бойля-Мариотта (модель, которая гласит, что произведение давления газа на его объем есть величина постоянная PV = k), объясняют различные явления непостижимо хорошо[26]26
  Я позаимствовал слово «непостижимо» у физика Юджина Вигнера (Eugene Wigner, 1960), который описывал математические модели, используемые в естественных науках, как непостижимо эффективные.


[Закрыть]. Зная начальные объем и давление, мы можем вычислить постоянную k, а затем объяснить или спрогнозировать давление P как функцию V и k: P = k/V. Точность модели обусловлена тем фактом, что газы состоят из огромного количества простых частиц, которые следуют фиксированным правилам: любые две молекулы газа, помещенные в идентичную среду, подчиняются одним и тем же физическим законам. Таких молекул настолько много, что статистическое усреднение исключает любую случайность. Большинству социальных явлений не свойственна ни одна из этих характеристик: социальные агенты неоднородны, взаимодействуют в небольших группах и не подчиняются твердым правилам. К тому же люди умеют думать. Более того, они попадают под влияние социальной среды, а значит, вариации их поведения могут не быть взаимно скомпенсированы. По этой причине социальные явления гораздо менее предсказуемы, чем физические[27]27
  См. Ziliak and McCloskey, 2008. В этой книге идет речь о способности моделей, используемых в общественных науках, объяснять вариацию.


[Закрыть].

Наиболее эффективные модели объясняют как очевидные, так и неожиданные результаты. Классические модели рынков могут объяснить, почему непредвиденное повышение спроса на обычный товар, такой как обувь или картофельные чипсы, приводит к росту цен в краткосрочной перспективе – это интуитивно понятный результат. Эти же модели объясняют, почему увеличение спроса в долгосрочной перспективе меньше сказывается на ценах, чем предельные издержки производства товара. Увеличение спроса может даже привести к снижению цен вследствие повышения рентабельности за счет роста масштабов производства – более неожиданный результат. Те же модели могут объяснить парадоксы, например, почему алмазы, не представляющие большой практической ценности, настолько дороги, а вода, столь необходимая для выживания, такая дешевая.

Что касается утверждения, что модели могут объяснить все что угодно, то это правда, так и есть. Вместе с тем объяснение, полученное на основе модели, включает исходные предположения и четко обозначенные причинно-следственные связи, которые могут быть преобразованы в данные. Модель, гласящая, что высокий уровень преступного поведения можно объяснить низкой вероятностью разоблачения, поддается проверке.

REDCAPE: РАЗРАБОТКА

Модели облегчают процесс разработки, обеспечивая концептуальные схемы, в рамках которых можно проанализировать последствия сделанного выбора. Инженеры используют модели для проектирования цепей поставок. Программисты – для разработки интернет-протоколов. Социологи – для создания институтов.

В июле 1993 года группа экономистов собралась в Калифорнийском технологическом институте в Пасадене для подготовки аукциона по распределению радиочастот для мобильной связи. В прошлом правительство предоставляло право на использование радиочастотного спектра крупным компаниям за умеренную плату. Всеобщий закон об урегулировании бюджетных противоречий 1993 года включал положение, разрешавшее проводить такие аукционы с целью сбора средств.

Учитывая, что радиосигнал с вышки охватывает определенную территорию, правительство намеревалось продавать лицензии по конкретным регионам: Западная Оклахома, Северная Калифорния, Массачусетс, Восточный Техас и так далее. Это вызвало вопросы к формату проведения аукциона. Стоимость любой лицензии для компании зависела от других полученных ею лицензий. Например, лицензия на частоты в Южной Калифорнии обошлась бы компании, имеющей лицензию на частоты в Северной Калифорнии, дороже. Экономисты называют такие взаимозависимые оценки экстерналиями, или внешними эффектами. В данном примере у экстерналий были две основные причины: строительство и реклама. Владение лицензиями на частоты в соседних регионах означало снижение затрат на строительство и возможность использования перекрывающихся медиарынков.

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

Предполагалось, что эффективный формат проведения аукциона должен обеспечивать выгодный результат, быть защищенным от стратегических манипуляций и понятен участникам торгов. Экономисты использовали модели теории игр, чтобы определить, могут ли стратегически действующие участники торгов использовать свойства аукциона в своих интересах, модели компьютерной симуляции для сравнения эффективности различных форматов аукциона и статистические модели для выбора параметров экспериментов с реальными людьми. Окончательный формат (многораундовый аукцион, который позволял его участникам отзывать заявки и запрещал пропускать первые этапы, чтобы скрыть свои намерения) оказался успешным. На протяжении последних тридцати лет Федеральная комиссия по средствам связи собрала на аукционах такого типа почти 60 миллиардов долларов[28]28
  Информацию об истории аукциона частот можно найти здесь: Porter and Smith, 2007.


[Закрыть].

REDCAPE: КОММУНИКАЦИЯ

Создавая общее представление, модели улучшают коммуникацию. Модели требуют формального описания соответствующих характеристик и их взаимосвязей, что обеспечивает точную передачу информации. Модель F = ma соотносит три измеримые величины – силу (F), массу (m) и ускорение (a), делая это в форме уравнения, каждый член которого выражен в измеримых единицах, информацию о которых можно распространять, не опасаясь ошибочного толкования. Напротив, утверждение, что «более крупные, быстрые объекты генерируют больше мощности», обеспечивает гораздо более низкую степень точности. Многое теряется при переводе. Более крупный означает вес или размер? Более быстрый – имеется в виду скорость или ускорение? Мощность – это энергия или сила? И как соединяется более крупное и быстрое, чтобы генерировать мощность? Попытки формализовать это утверждение могут привести к получению ряда формул; при этом мощность может быть некорректно описана как вес плюс скорость (P = w + v), как вес умножить на скорость (P = wv) или как вес плюс ускорение (P = w + a).

При формальном описании абстрактных концепций (таких как политическая идеология) с помощью воспроизводимой методики они приобретают некоторые свойства, аналогичные физическим параметрам, таким как масса и ускорение. Мы можем использовать ту или иную модель, чтобы сказать, что один политик более либерален, чем другой, на основании их голосования. Затем можем точно сформулировать и распространить это утверждение. Либеральность хорошо поддается определению и количественному измерению. Кто-то может применить аналогичный метод для сравнения других политиков. Безусловно, данные о результатах голосования не единственный показатель либеральности. Мы можем сконструировать еще одну модель, определяющую идеологию на основе текстового анализа речей. В комбинации с первой она позволит четко обозначить, что мы имеем в виду, говоря о более либеральных взглядах.

Многие недооценивают влияния коммуникации на прогресс. Идея, которую нельзя распространить, подобна упавшему дереву в лесу, где этого никто не заметит. Поразительный экономический рост в эпоху Просвещения был в значительной мере обусловлен возможностью передачи знаний, нередко в форме моделей. Фактически данные указывают на то, что возможность передачи идей скорее объяснялась экономическим ростом, чем уровнем образования: развитие городов во Франции XVIII столетия в большей степени соотносится с количеством подписок на «Энциклопедию» Дидро, чем с уровнем грамотности[29]29
  См. Squicciarini and Voigtlander, 2015. В книге Джоэля Мокира (Mokyr, 2002) представлена исчерпывающая историческая информация о важности передачи знаний.


[Закрыть].

REDCAPE: ДЕЙСТВИЕ

Фрэнсис Бэкон писал: «Величайший итог жизни – не знание, а действие». Эффективные действия требуют эффективных моделей. Все правительства, корпорации и некоммерческие организации используют модели в качестве руководства к действию. Будь то повышение или снижение цен, открытие нового магазина, поглощение компании, обеспечение всеобщего доступа к медицинскому обслуживанию или финансирование программы внеклассного обучения – во всех этих случаях лица, принимающие решения, полагаются на модели. Для самых важных действий ответственные за принятие решений используют модели высокой сложности. Модели связаны с данными.

В 2008 году в рамках программы по спасению проблемных активов (Troubled Asset Relief Program, TARP) Федеральная резервная система США выделила 182 миллиарда долларов финансовой помощи на спасение транснациональной страховой компании American International Group (AIG) от банкротства. По данным министерства финансов США, правительство предпочло стабилизировать ситуацию в AIG, «поскольку ее банкротство во время финансового кризиса имело бы катастрофические последствия для нашей финансовой системы и экономики»[30]30
  См. www.treasury.gov/initiatives/financial-stability/Pages/default.aspx.


[Закрыть]. Целью этой финансовой помощи было не спасение компании AIG как таковой, а поддержка финансовой системы в целом. В конце концов, компании терпят крах каждый день, но правительство не вмешивается[31]31
  Например, в середине 1990-х годов обанкротились около 60 процентов ресторанов, открывшихся в Колумбусе. Ни один из них не получил финансовой помощи от государства, да и не должен был получить. Здоровая рыночная экономика подразумевает вероятность банкротств. См. Parsa et al., 2005.


[Закрыть].

Конкретные решения, принятые в рамках программы TARP, основывались на моделях. На рис. 2.2 представлен один из вариантов сетевой модели, разработанной Международным валютным фондом. Вершины графа (кружки) представляют финансовые учреждения. Ребра графа (линии между кружками) отражают корреляцию между стоимостью активов этих учреждений. Цвет и ширина ребра соответствуют степени корреляции между учреждениями: более темные и широкие линии означают более высокую степень корреляции[32]32
  Данные взяты из доклада МВФ о глобальной финансовой устойчивости за 2009 год. Сила связи основана на корреляции по стоимости портфеля ценных бумаг. Корреляция рассчитана исходя из предельных случаев – данных за те дни, когда эти учреждения демонстрировали особенно высокие или особенно низкие результаты. Этот показатель должен был отражать вероятность того, что банкротство одной компании повлечет за собой банкротство другой компании. В действительности корреляция по результатам работы могла быть следствием сходства инвестиционных портфелей или того, что один банк владел активами другого банка.


[Закрыть].

Рис. 2.2. Граф корреляций между финансовыми учреждениями

Компания AIG занимает центральное место в этой сети, поскольку предоставляла услуги страхования другим компаниям и обязывалась им заплатить в случае, если их активы потеряют стоимость. Из-за падения курса акций AIG была бы должна этим компаниям деньги. Следовательно, ее банкротство повлекло бы за собой и банкротство связанных с ней компаний, что могло бы привести к каскаду банкротств. Стабилизация положения AIG позволила правительству поддержать рыночную стоимость активов других компаний, входящих в сеть[33]33
  См. Geithner, 2014.


[Закрыть].

Рис. 2.2 также помогает объяснить, почему правительство допустило банкротство Lehman Brothers. Lehman Brothers не занимала центрального места в сети. Повернуть историю вспять невозможно, поэтому нам не дано знать, предприняла ли Федеральная резервная система правильные действия. Однако мы знаем, что банкротство Lehman Brothers не привело к коллапсу всей финансовой отрасли. Нам также известно, что правительство заработало 23 миллиарда долларов прибыли на займе компании AIG. Следовательно, мы можем сделать вывод, что выбор политики (основанный на многомодельном мышлении) не был провальным.

Модели, выступающие в качестве руководства к действию (такие как модели политики), часто полагаются на данные, но это касается не всех моделей. В большинстве моделей политики также используется математика, хотя так было не всегда. В прошлом политические деятели создавали и физические модели. Гидравлическая модель британской экономики Филлипса использовалась для анализа политических альтернатив в середине ХХ века, а физическая модель залива Сан-Франциско сыграла ключевую роль в решении об отказе от строительства в нем дамбы для создания резервуара пресной воды[34]34
  См. Weisberg, 2012. В этой книге описана модель залива Сан-Франциско и ее практическая ценность с точки зрения выбора курса действий.


[Закрыть]. Модель экспериментальной станции водных путей площадью около 80 гектаров в бассейне реки Миссисипи возле города Клинтон – миниатюрная копия бассейна реки, построенная в горизонтальном масштабе 1:100. Эта модель позволяет проверить воздействие строительства новых плотин и резервуаров на территорию вверх и вниз по течению реки. В пределах этой физической системы сбрасываемая вода подчиняется физическим законам. В таких физических моделях объекты сами по себе являются аналогами объектов реального мира. Подобные модели логичны, поскольку подчиняются законам физики.

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

REDCAPE: ПРОГНОЗИРОВАНИЕ

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

Модели позволяют прогнозировать как отдельные события, так и общие тенденции. Первого июня 2009 года самолет авиакомпании Air France, выполнявший рейс AF447 по маршруту Рио-де-Жанейро – Париж, потерпел крушение над Атлантическим океаном. В следующие нескольких дней после катастрофы спасатели находили плавающие обломки авиалайнера, но не смогли обнаружить фюзеляж. В июле аккумуляторы акустических маяков самолета разрядились, и поиски были прекращены. Проведенная год спустя вторая поисковая операция, организованная Океанографическим институтом Вудс-Хоул с участием кораблей ВМФ США, оборудованных гидролокаторами бокового обзора, а также автономных глубоководных аппаратов, тоже не дала результатов. В итоге французское бюро по расследованию и анализу безопасности гражданской авиации обратилось к моделям. Специалисты бюро применили вероятностные модели для анализа океанических течений и обнаружили небольшую прямоугольную область, где с наибольшей вероятностью мог находиться фюзеляж. С помощью прогноза, составленного на основании этой модели, поисковые команды в течение недели нашли обломки самолета[35]35
  Исчерпывающую информацию об этом крушении можно найти здесь: Stone et al., 2014.


[Закрыть].

В прошлом объяснение и прогнозирование, как правило, были тесно связаны. Электротехнические модели, которые объясняют картину распределения напряжения, также могут прогнозировать напряжение. Пространственные модели, объясняющие результаты прошлых голосований, позволяют прогнозировать результаты будущих голосований. В, пожалуй, самом знаменитом примере использования объяснительной модели для прогнозирования французский математик Урбен Леверье применил законы Ньютона, объясняющие движение планет, для анализа отклонений орбиты Урана. И пришел к выводу, что орбиты планет указывают на присутствие большой планеты во внешней области Солнечной системы. Леверье отправил свой прогноз в Берлинскую обсерваторию 18 сентября 1846 года, а через пять дней астрономы обнаружили планету Нептун именно там, где и предсказывал математик.

Вместе с тем прогнозирование отличается от объяснения. Модель может прогнозировать, но не объяснять. Алгоритмы глубокого обучения позволяют прогнозировать продажи продуктов, погоду на завтра, тенденции изменения цен и некоторые показатели состояния здоровья, но мало что предлагают в плане объяснения. Такие модели напоминают собак, вынюхивающих бомбы. Хотя обонятельная система собаки способна определить, есть ли взрывчатые вещества в пакете, не стоит искать объяснений у собаки, почему бомба там оказалась, как она работает и как ее обезвредить.

Обратите также внимание, что другие модели, наоборот, могут давать объяснения, но не представлять особой ценности с точки зрения прогнозирования. Модели тектоники плит объясняют, как возникают землетрясения, но не предсказывают, когда они произойдут. Модели динамических систем объясняют возникновение ураганов, но не позволяют успешно прогнозировать, когда сформируется ураган и каким будет его траектория движения. А экологические модели, хотя и могут объяснить закономерности видообразования, не способны прогнозировать появление новых видов[36]36
  Я благодарен Джошу Эпштейну за первый пример.


[Закрыть].

REDCAPE: ИССЛЕДОВАНИЕ

И наконец, модели можно использовать для проверки интуитивных выводов и возможностей. Такие исследования могут быть связаны с курсом действий: а что если сделать все городские автобусы бесплатными? Что если позволить студентам выбирать, от каких заданий будет зависеть их итоговая оценка за курс обучения? Что если установить на газонах таблички с указанием их энергопотребления? Каждое из этих гипотетических предположений можно проанализировать с помощью моделей. Кроме того, модели будут полезны при изучении нереальной среды. Что если бы Ламарк был прав и приобретенные признаки могли передаваться потомству, чтобы детям родителей, прошедших ортодонтическую коррекцию зубов, не нужны были брекеты? Как был бы устроен такой мир? Постановка этого вопроса и анализ вытекающих из него следствий позволяет определить границы эволюционных процессов. Устранение ограничений реальности может стимулировать креативность. По этой причине сторонники движения критического дизайна прибегают к умозрительным построениям для генерации новых идей[37]37
  См. Dunne, 1999 и Raby, 2001.


[Закрыть].

Иногда исследование сводится к сопоставлению распространенных допущений в разных областях. Для того чтобы понять сетевой эффект, специалист по моделированию может сформировать совокупность условных сетевых структур, а затем выяснить, влияет ли сетевая структура на кооперацию, распространение болезней или социальные волнения, и если да, то каким образом. Кроме того, он может применить совокупность моделей обучения к процессу принятия решений и играм с двумя или несколькими участниками. Цель таких действий не в объяснении, прогнозировании или разработке, а в изучении и обучении.

Применять ту или иную модель на практике можно любым из нескольких способов. Одна и та же модель может объяснять, прогнозировать и выступать в качестве руководства к действию. Рассмотрим следующий пример: 14 августа 2003 года обвисшие ветви склонившихся над линиями электропередач возле Толедо (штат Огайо) деревьев стали причиной локального прекращения подачи электроэнергии, которое распространилось, когда из-за сбоя программного обеспечения техники не смогли передать предупреждение о необходимости перераспределения электроэнергии. В тот день более 50 миллионов жителей северо-восточных районов США и Канады остались без электричества. В том же году буря вывела из строя линию электропередач между Италией и Швейцарией, оставив без электричества 60 миллионов европейцев. Инженеры и ученые обратились к моделям, в которых энергосистема представлена как сеть. И эти модели помогли объяснить, как происходили сбои, позволили составить прогнозы, в каких регионах сбои наиболее вероятны, и стали руководством к действию, определив места, где новые линии электропередач, трансформаторы и электростанции могли повысить надежность электросети. Использование одной модели для множества целей станет лейтмотивом этой книги. Как мы увидим далее, этот принцип дополняет ее основную тему: использование множества моделей для осмысления сложных явлений.