Fact Engineering
从主张到已接受事实图
机器要确定性地评判现实世界之前，必须先明确地封闭这个世界:评估悬而未决的Claim,将Accepted Fact投影为可追溯的图,冻结边界,并保留申诉的路径。
真相不是被发现的
开放世界里没有可供发现的真相——因为一切观测都被光速所困，永远触不到事件本身。然而在小说、数学、法律这类由声明所封闭的世界里，真相是存在的。审判是把实在投影到法律世界的过程，判决则是在其上进行的运算。当下LLM所缺的不是更大的模型，而是像法治那样明示的封闭程序。
三元组不是事实，而是主张
维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。
toulmin -- 计算契约的规则引擎
规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。