Fact Engineering on アーキテクト パク・ジュヌhttps://www.parkjunwoo.com/ja/tags/fact-engineering/Recent content in Fact Engineering on アーキテクト パク・ジュヌHugojaSun, 26 Jul 2026 17:20:00 +0900ClaimからAccepted Factsのグラフへhttps://www.parkjunwoo.com/ja/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/ja/tech/from-claims-to-gaf/機械が現実世界を決定論的に判定するには、まずその世界を明示的に閉じなければならない。開いたClaimを評価し、Accepted Factsを追跡可能なグラフへ投影し、境界を凍結し、異議申し立てへの道を保存する。真実は発見されないhttps://www.parkjunwoo.com/ja/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/ja/opinion/truth-is-not-discovered/開かれた世界には発見すべき真実がない — あらゆる観測が光の速さに阻まれ、出来事に届かないからだ。しかし小説・数学・法のように宣言によって閉じられた世界には真実がある。裁判は実在を法的世界へ投影する過程であり、判決はその上での演算だ。いまLLMに欠けているのは、より大きなモデルではなく、法治主義のような明示的な閉鎖手続きである。トリプルは事実ではなく主張であるhttps://www.parkjunwoo.com/ja/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/ja/opinion/toulmin-knowledge-graph/Wikidataのトリプルは事実ではない——主張である。トリプルの上にToulminの論証モデルを重ねれば、コンテキストによってverdictが変わる動的なナレッジグラフが生まれる。保存するのは論証構造、判定はランタイムで行われる。toulmin — 契約を計算するルールエンジンhttps://www.parkjunwoo.com/ja/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/ja/tech/toulmin/ルールエンジンは60年間、検証対象を事実(fact)として扱ってきた。toulminは主張(claim)として扱う。Toulminの論証モデルをGoルールエンジンとして実装した。