Epistemology

ClaimからAccepted Factsのグラフへ

機械が現実世界を決定論的に判定するには、まずその世界を明示的に閉じなければならない。開いたClaimを評価し、Accepted Factsを追跡可能なグラフへ投影し、境界を凍結し、異議申し立てへの道を保存する。