Fact Engineering
От Claims к графу принятых фактов
Прежде чем машина сможет детерминированно судить о реальном мире, она должна явно замкнуть этот мир: оценить открытые Claims, спроецировать Accepted Facts в прослеживаемый граф, зафиксировать границу и сохранить путь к обжалованию.
Истина не открывается
В открытом мире нет истины, которую можно было бы открыть, — потому что всякое наблюдение упирается в скорость света и не достигает события. Но в мирах, замкнутых декларацией, как роман, математика или право, истина есть. Суд — это процесс проекции реальности в правовой мир, а приговор — вычисление поверх неё. Сегодня LLM недостаёт не более крупной модели, а явной процедуры замыкания, подобной верховенству права.
Тройки — это утверждения, а не факты
Тройки Wikidata — не факты, а утверждения. Наложите модель аргументации Toulmin на тройки — и вы получите динамический граф знаний, где вердикты меняются в зависимости от контекста. Хранение — это структура аргументации; оценка происходит во время выполнения.
toulmin — движок правил, вычисляющий контракты
Движки правил 60 лет считали объект проверки фактом (fact). toulmin считает его утверждением (claim). Модель аргументации Тулмина реализована в виде движка правил на Go.