Текст, карты, хронологии, базы данных, причинно-следственные диаграммы и симуляции выполняют разную работу. Полезная среда моделирования не должна заменять их одной канонической моделью. Она должна позволять им ссылаться на одних и тех же людей, места, события, утверждения, величины и решения, сохраняя при этом сильные стороны каждого представления.
Минимальная общая структура может включать устойчивые идентификаторы, отдельные элементы состояния, сведения о происхождении данных и явно заданные преобразования между моделями. Если читатель меняет время, сценарий, масштаб или выбранный объект в одном представлении, другие представления должны понимать, что это означает. Если две модели расходятся, среда должна сохранять это расхождение, а не устранять его случайным образом.
Рекурсивные языковые модели добавляют один полезный архитектурный принцип: хранить артефакт, служащий источником истины, и промежуточные объекты вне временного контекста модели, а контроллеру на основе ИИ позволять работать с ними через программные ссылки. Но непрозрачная строка во временной REPL-среде — ещё не такая среда моделирования. Для долговременного использования также нужны идентификаторы, типы, свидетельства, сведения о том, когда данные действительны, история версий, права доступа, различение предложенных и принятых изменений, а также возможность отката.
Topos Institute — самое перспективное из известных мне направлений работы по композиции формальных моделей. Типизированные графы знаний и системы вроде TypeDB могут помочь с идентификацией сущностей и ограничениями. Roam Research, Obsidian, Quartz, Dynamicland и Ink & Switch дают отдельные уроки о создании материалов и совместно используемых вычислительных объектах. Открытым остаётся вопрос: какой минимум общей структуры достаточен, чтобы координировать полезные модели, не делая их хрупкими?
Укрощение бесконечностей
Roam Research, Obsidian и Quartz позволяют без труда добавлять всё новые заметки и ссылки. Но это не то же самое, что возможность разобраться в большом массиве материалов. По мере его роста у человека по-прежнему должна оставаться возможность:
- Видеть основные структуры этого массива, не читая каждый элемент.
- Переходить от сводки или обобщённых данных к лежащим в их основе подробностям и обратно.
- Видеть, что изменилось со временем, в чём расходятся описания и какие области остаются плохо изученными.
- Менять значимый для задачи выбор, время, масштаб или сценарий так, чтобы другие представления реагировали там, где это изменение имеет смысл.
- Изучать, откуда взялась интерпретация, а не получать сгенерированную сводку без возможности вернуться к свидетельствам, на которых она основана.
Для серьёзной проверки нужна реальная система, описанная через несколько представлений — например, карту, хронологию, институциональную модель, физическую модель и исходные материалы. Эти представления должны иметь возможность ссылаться на одни и те же места, организации, события, величины и решения. Изменение общего для них выбора или периода должно обновлять те представления, для которых это состояние имеет смысл, не создавая видимости, будто все представления — одна и та же модель.