Fact Engineering
ClaimからAccepted Factsのグラフへ
機械が現実世界を決定論的に判定するには、まずその世界を明示的に閉じなければならない。開いたClaimを評価し、Accepted Factsを追跡可能なグラフへ投影し、境界を凍結し、異議申し立てへの道を保存する。
真実は発見されない
開かれた世界には発見すべき真実がない — あらゆる観測が光の速さに阻まれ、出来事に届かないからだ。しかし小説・数学・法のように宣言によって閉じられた世界には真実がある。裁判は実在を法的世界へ投影する過程であり、判決はその上での演算だ。いまLLMに欠けているのは、より大きなモデルではなく、法治主義のような明示的な閉鎖手続きである。
トリプルは事実ではなく主張である
Wikidataのトリプルは事実ではない——主張である。トリプルの上にToulminの論証モデルを重ねれば、コンテキストによってverdictが変わる動的なナレッジグラフが生まれる。保存するのは論証構造、判定はランタイムで行われる。
toulmin — 契約を計算するルールエンジン
ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。