Atom: гибридный язык для точной передачи смысла

Обычный язык гибок, но эта гибкость оборачивается неточностью. Слово «тепло» означает и температуру, и дружелюбие, и погоду. Фраза «мне плохо» не говорит, что именно болит, насколько сильно и как долго. При передаче информации от человека к человеку через текст неоднозначности накапливаются и искажают исходный смысл.

Atom — экспериментальный гибридный язык, который решает эту проблему. Он строится на двух аксиоматических основаниях: семантических примитивах NSM (Natural Semantic Metalanguage) — словах, которые не разлагаются на более простые значения, — и семи фундаментальных физических величинах СИ, которые не определяются через другие величины. В результате каждое высказывание на Atom имеет одно и только одно прочтение. Язык не заменяет естественный язык в поэзии или искусстве — его задача узкая: точная, проверяемая, непротиворечивая коммуникация.

Почему примитивы дают точность

Анна Вежбицкая разработала NSM в 1970-х, предположив, что все лексические единицы любого человеческого языка сводятся к небольшому набору простых концептов. Эти примитивы не раскладываются на более базовые понятия и имеют лексическое соответствие в любом языке мира. Клифф Годдард насчитывает около 63 таких примитивов — I, YOU, THINK, WANT, DO, HAPPEN, GOOD, BAD, NOT, IF, BECAUSE и другие, — которые принимаются как аксиомы и не определяются через другие слова.

Физический слой строится на семи основных единицах СИ: метр, килограмм, секунда, ампер, кельвин, моль, кандела. Они не выводятся из других величин в рамках системы СИ — аксиоматичны для физики. Объединяя оба набора, Atom получает двойную аксиоматическую основу — лингвистическую и физическую: каждое слово в словаре либо примитив, либо строится из примитивов по строгим правилам. Двусмысленность исчезает, потому что не остаётся слов с неопределённым или множественным значением.

Важное ограничение: в словарь входят только семь базовых величин СИ. Производные величины — площадь, скорость, сила, энергия, давление, плотность и другие — не атомарны, потому что определяются через базовые, и в словарь не входят. Нужная производная величина собирается на месте: скорость записывается как L / t, сила — как m × L / t². Это сохраняет аксиоматическую чистоту языка.

Словарь Atom

Слой 1 — семантические примитивы NSM. Около 63 понятий, сгруппированных по категориям.

Слой 2 — физические величины (атомарные). Только эти семь величин входят в атомарный слой физики; всё остальное — производные.

Производные величины не получают отдельных символов — собираются из базовых:

Слой 3 — логические и математические операторы: AND (∧), OR (∨), NOT (¬), IF…THEN (→), IF AND ONLY IF (↔), FOR ALL (∀), THERE EXISTS (∃), а также =, ≠, <, >, +, −, ×, ÷.

Слой 4 — числа. Отдельный математический слой: арабские цифры для точных значений (T = 280 K), примитивы NSM — для семантических количеств (ONE, TWO, SOME, ALL, MUCH/MANY). Десятичная точка, а не запятая (3.14), отрицательные числа со знаком минус, экспоненциальная запись через e. ONE и 1 не взаимозаменяемы: первое — понятие «один» как таковое, второе — точное измеренное значение.

Как строится высказывание

Язык собирается послойно: сначала выбирается семантическая рамка из примитивов NSM, затем она насыщается физическими величинами, числами и операторами.

• Высказывание начинается с семантического предиката (THINK, KNOW, WANT, FEEL, SAY, DO, HAPPEN) или констатации существования (THERE IS, BE).
• Физические величины — только символами семи базовых величин, всегда с единицей измерения.
• Производные величины не получают отдельных символов — только комбинации базовых.
• Числа — арабскими цифрами; количественные примитивы (ONE, TWO, SOME, ALL, MUCH/MANY) остаются словами.
• Логические операторы связывают пропозиции и части внутри них.
• Если высказывание допускает два прочтения — оно перестраивается.

Примеры

Зачем это ИИ: лёгкий транскрибтор

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

Решение — лёгкий транскрибтор: небольшая модель, которая переводит естественный текст в Atom и сама задаёт уточняющие вопросы, устраняя неоднозначность до того, как запрос попадёт в тяжёлую модель.

Тяжёлая модель получает сжатый, однозначный вход вместо длинного расплывчатого сообщения: не нужно переспрашивать, не нужны длинные инструкции о том, как понимать текст, меньше контекста и меньше повторных попыток. По предварительным оценкам это может снижать потребление токенов тяжёлой модели на 30–70% в зависимости от задачи, при этом сам транскрибтор дёшев и может работать локально. Дополнительный эффект — меньше галлюцинаций, так как однозначный вход оставляет меньше пространства для неверной интерпретации.

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

Где ещё применим Atom

Общий принцип везде один: расплывчатое «мне плохо», «стало лучше», «примерно в шесть» заменяется набором проверяемых, сравнимых между собой утверждений.

• ИИ-роботы. «Подойди ближе, но осторожно» превращается в DO MOVE. L = 1 m. THERE IS SOMETHING BAD FOR MOVE — без догадок о том, что значит «осторожно».
• Эмоциональные помощники. Состояния записываются через FEEL, GOOD, BAD, WANT, PEOPLE, BODY — это даёт отслеживаемую динамику и персонализацию вместо повторяющихся расплывчатых жалоб.
• Автобиография и память. «t = 15 years: I FEEL BAD. BECAUSE PEOPLE = 0 NEAR» — разные периоды жизни становятся сравнимыми по одним и тем же параметрам, а не по субъективным формулировкам.
• Медицина и психотерапия. Дневник симптомов и состояний в форме Atom-записей поддаётся сравнению между днями и поиску паттернов, в отличие от свободного текста.
• Образование и наука. Определения и ключевые утверждения статьи дублируются на Atom как однозначное проверяемое ядро — воспроизводимость не зависит от толкования формулировки.
• Юридические показания. «Я был дома примерно в шесть» превращается в t = 5.5–6.5 PM. I BE WHERE PLACE = HOME — без «примерно».
• Компаньоны для пожилых людей и коллективная память. Ключевые факты биографии и истории сообщества фиксируются в форме, которая не искажается при пересказе и остаётся понятной со временем.

Дальше по тому же принципу: личные ИИ-ассистенты с долговременной памятью, обучение моделей на Atom-данных как менее галлюцинирующих, кросс-культурная коммуникация за счёт универсальности примитивов NSM, точные контракты и протоколы экспериментов, спорт и тренировки, личная безопасность.

Ограничения

Atom не подходит для поэзии, метафор, иронии и бытового «привет, как дела» — для этого он избыточен и слишком точен. Он дополняет естественный язык, а не заменяет его, и используется там, где точность важнее выразительности.