Fact Engineering on 아키텍터 박준우https://www.parkjunwoo.com/ko/tags/fact-engineering/Recent content in Fact Engineering on 아키텍터 박준우HugokoSun, 26 Jul 2026 17:20:00 +0900Claim에서 인정된 사실 그래프로https://www.parkjunwoo.com/ko/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/ko/tech/from-claims-to-gaf/기계가 현실 세계를 결정론적으로 판정하려면 먼저 그 세계를 명시적으로 닫아야 한다. 열린 Claim을 평가하고, Accepted Facts를 추적 가능한 그래프로 투영하고, 경계를 동결하며, 이의를 제기할 길을 보존해야 한다.진실은 발견되지 않는다https://www.parkjunwoo.com/ko/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/ko/opinion/truth-is-not-discovered/열린 세계에는 발견할 진실이 없다 — 모든 관측이 빛의 속도에 걸려 사건에 닿지 못하기 때문이다. 그러나 소설·수학·법처럼 선언으로 닫힌 세계에는 진실이 있다. 재판은 실재를 법적 세계로 투영하는 과정이고 판결은 그 위에서의 연산이다. 지금 LLM에 빠진 것은 더 큰 모델이 아니라, 법치주의 같은 명시적 폐쇄 절차다.트리플은 사실이 아니라 주장이다https://www.parkjunwoo.com/ko/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/ko/opinion/toulmin-knowledge-graph/위키데이터의 트리플은 사실이 아니라 주장이다. Toulmin 논증 모델을 트리플 위에 올리면, 맥락에 따라 판정이 달라지는 동적 지식 그래프가 된다. 저장은 논증 구조, 판정은 런타임.toulmin — 계약을 계산하는 규칙 엔진https://www.parkjunwoo.com/ko/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/ko/tech/toulmin/규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.