機械が現実世界を決定論的に判定するには、まずその世界を明示的に閉じなければならない。開いたClaimを評価し、Accepted Factsを追跡可能なグラフへ投影し、境界を凍結し、異議申し立てへの道を保存する。
Wikidataのトリプルは事実ではない——主張である。トリプルの上にToulminの論証モデルを重ねれば、コンテキストによってverdictが変わる動的なナレッジグラフが生まれる。保存するのは論証構造、判定はランタイムで行われる。
