Fact Engineering

Claim에서 인정된 사실 그래프로

기계가 현실 세계를 결정론적으로 판정하려면 먼저 그 세계를 명시적으로 닫아야 한다. 열린 Claim을 평가하고, Accepted Facts를 추적 가능한 그래프로 투영하고, 경계를 동결하며, 이의를 제기할 길을 보존해야 한다.

2026-07-26

진실은 발견되지 않는다

열린 세계에는 발견할 진실이 없다 — 모든 관측이 빛의 속도에 걸려 사건에 닿지 못하기 때문이다. 그러나 소설·수학·법처럼 선언으로 닫힌 세계에는 진실이 있다. 재판은 실재를 법적 세계로 투영하는 과정이고 판결은 그 위에서의 연산이다. 지금 LLM에 빠진 것은 더 큰 모델이 아니라, 법치주의 같은 명시적 폐쇄 절차다.

2026-07-23

트리플은 사실이 아니라 주장이다

위키데이터의 트리플은 사실이 아니라 주장이다. Toulmin 논증 모델을 트리플 위에 올리면, 맥락에 따라 판정이 달라지는 동적 지식 그래프가 된다. 저장은 논증 구조, 판정은 런타임.

2026-05-22

toulmin — 계약을 계산하는 규칙 엔진

규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.

2026-03-22