PULSE делает граф знаний исполняемым, но не источником истины

PULSE предлагает решать одну из неприятных проблем инженерии графов знаний: правила того, что можно записывать, изменять и считать доказанным, часто живут отдельно от самих данных. В результате граф формально описывает состояние, а реальный контракт его исполнения приходится восстанавливать по коду, схемам и договорённостям между системами.

PULSE собирает эти операционные роли и эффекты записи в одном типизированном runtime. Это не новая логика модальностей или деонтическая система: modes здесь обозначают именно режимы работы. Язык задаёт, как обрабатывать доказательства, состояния, ограничения, процессы и гипотетические ветки.

Самая полезная часть идеи — не синтаксис, а ограничения, которые становятся исполняемыми. В проверенном фрагменте PULSE:

• не позволяет перезаписывать evidence;
• изолирует ветки сценариев;
• поддерживает таймеры, привязанные к нескольким субъектам;
• требует защитных условий для изменения состояния;
• задаёт порядок событий во времени и пространстве через приоритет деклараций.

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

Но PULSE не решает вопрос доверия автоматически. Внешний runner всё ещё определяет, превращается ли evidence в authoritative move. Иными словами, язык умеет удерживать границы исполнения, но не отвечает сам за политическое или инженерное решение: достаточно ли конкретного наблюдения, чтобы изменить официальное состояние.

Авторы проверяли не абстрактную идею, а конкретный фрагмент реализации: 88 тестов, 3 534 ограниченные проверки и 32 случая сопоставления Lean 4 с Python-ядром. В Lean проверялись аналоги механизмов позиций, evidence, часов, мониторов и атомарности. Отдельные реализации на standards composition и Sismic statechart воспроизвели тестовый cold-chain trace.

На 37 440 сгенерированных временных трасс PULSE совпал с отдельным workflow и различил десять мутантов, изменявших по одному полю. На полном подмножестве NOAA IBTrACS с 1980 года система совпала с GEOS и event sweep для 1 476 290 пар в transition zone; отдельно были учтены 4 800 выборочных и 12 831 событий, прошедших проверку длительности.

Эти цифры подтверждают более узкое утверждение, чем может показаться по аннотации: контрактная локализация, аргументы безопасности и совпадение трасс работают на проверенном фрагменте. Они не доказывают превосходство языка или его удобство для разработчиков — авторы прямо оставляют usability вне оценки.

Практический вывод простой: PULSE стоит рассматривать не как замену GeoSPARQL, SOSA или SHACL, а как исполняемый слой над ними. Эти стандарты остаются генерируемыми представлениями, тогда как PULSE пытается зафиксировать порядок действий и эффекты записи. Для систем, где ошибка в переходе состояния опаснее неполного графа, такой слой может быть полезнее ещё одной декларативной схемы. Но источник истины всё равно придётся определять за пределами языка.

Источник: cs.AI updates on arXiv.org