Fact Engineering on 架构师 PARK JUN WOOhttps://www.parkjunwoo.com/zh/tags/fact-engineering/Recent content in Fact Engineering on 架构师 PARK JUN WOOHugozhSun, 26 Jul 2026 17:20:00 +0900从主张到已接受事实图https://www.parkjunwoo.com/zh/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/zh/tech/from-claims-to-gaf/机器要确定性地评判现实世界之前，必须先明确地封闭这个世界:评估悬而未决的Claim,将Accepted Fact投影为可追溯的图,冻结边界,并保留申诉的路径。真相不是被发现的https://www.parkjunwoo.com/zh/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/zh/opinion/truth-is-not-discovered/开放世界里没有可供发现的真相——因为一切观测都被光速所困，永远触不到事件本身。然而在小说、数学、法律这类由声明所封闭的世界里，真相是存在的。审判是把实在投影到法律世界的过程，判决则是在其上进行的运算。当下LLM所缺的不是更大的模型，而是像法治那样明示的封闭程序。三元组不是事实，而是主张https://www.parkjunwoo.com/zh/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/zh/opinion/toulmin-knowledge-graph/维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。toulmin -- 计算契约的规则引擎https://www.parkjunwoo.com/zh/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/zh/tech/toulmin/规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。