机器要确定性地评判现实世界之前，必须先明确地封闭这个世界:评估悬而未决的Claim,将Accepted Fact投影为可追溯的图,冻结边界,并保留申诉的路径。
维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。
