Fact Engineering on Архитектор Пак Джунвуhttps://www.parkjunwoo.com/ru/tags/fact-engineering/Recent content in Fact Engineering on Архитектор Пак ДжунвуHugoruSun, 26 Jul 2026 17:20:00 +0900От Claims к графу принятых фактовhttps://www.parkjunwoo.com/ru/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/ru/tech/from-claims-to-gaf/Прежде чем машина сможет детерминированно судить о реальном мире, она должна явно замкнуть этот мир: оценить открытые Claims, спроецировать Accepted Facts в прослеживаемый граф, зафиксировать границу и сохранить путь к обжалованию.Истина не открываетсяhttps://www.parkjunwoo.com/ru/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/ru/opinion/truth-is-not-discovered/В открытом мире нет истины, которую можно было бы открыть, — потому что всякое наблюдение упирается в скорость света и не достигает события. Но в мирах, замкнутых декларацией, как роман, математика или право, истина есть. Суд — это процесс проекции реальности в правовой мир, а приговор — вычисление поверх неё. Сегодня LLM недостаёт не более крупной модели, а явной процедуры замыкания, подобной верховенству права.Тройки — это утверждения, а не фактыhttps://www.parkjunwoo.com/ru/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/ru/opinion/toulmin-knowledge-graph/Тройки Wikidata — не факты, а утверждения. Наложите модель аргументации Toulmin на тройки — и вы получите динамический граф знаний, где вердикты меняются в зависимости от контекста. Хранение — это структура аргументации; оценка происходит во время выполнения.toulmin — движок правил, вычисляющий контрактыhttps://www.parkjunwoo.com/ru/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/ru/tech/toulmin/Движки правил 60 лет считали объект проверки фактом (fact). toulmin считает его утверждением (claim). Модель аргументации Тулмина реализована в виде движка правил на Go.