H-Categoriser
reins — Quest CLIからドメインだけを残し、ratchetはフレームワークへ
how-make-questはQuest CLIを素手で建てる方法を教えた。だが二つ目のCLIを建てると、同じratchet、同じscan/next/submit、同じ集計をまた書く。reinsはその不変をフレームワークとして抜き出す — ratchet・コマンド骨格・集計・exportはreinsが供給し、あなたはドメインのゲート(gate.Definition 4メソッド)だけを実装する。ゲートはcheese防御ルールのカタログであり、toulmin defeatグラフが『なぜ負けたか、何を変えれば勝つか』という攻略集をエージェントに返す。
トリプルは事実ではなく主張である
Wikidataのトリプルは事実ではない——主張である。トリプルの上にToulminの論証モデルを重ねれば、コンテキストによってverdictが変わる動的なナレッジグラフが生まれる。保存するのは論証構造、判定はランタイムで行われる。
toulmin — 契約を計算するルールエンジン
ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。