戻る
O-023 / 制作

KLM — Knowledge Layers Model

言語モデルの出力について、知識の由来、証拠の関係、評価の履歴を扱うオープンソースの記録契約と検証ツール。

言語モデルの答えには、文章以外にも問いがあります。知識はどこから入ったのか。どの証拠が各主張を支えるのか。実行した手順や評価を示せるのか。

KLM — Knowledge Layers Model は、そのためのオープンソースの記録契約と検証ツールです。出力を、知識単位、主張、証拠、手順、評価の履歴とともに記述します。

三つの次元、六つの層

六つの層は、順番に実行する六段階ではありません。一つの知識単位が複数の次元に位置することがあります。

  • 由来: パラメトリックな知識(L0)と外から導入された知識(L1)。
  • 機能: 宣言的知識(L2)と振る舞いの手順(L3)。
  • 省察: メタ認知的評価(L4)とガバナンス(L5)。

例えば方針文書を外から導入し、その証拠を出力の特定の主張につなげます。確認手順の読み込み、起動、実際の実行は、それぞれ別の記録状態です。

出典一覧を超えて

参考文献だけでは、どの出典がどの主張を支えるかは分かりません。KLMは知識、証拠、主張、手順に識別可能なオブジェクトと型付きの関係を与え、出力の部分をそれらにつなげます。

信号にはmeasured、heuristic、synthesized、unavailableの四つの認識的状態があります。測定、近似、モデルの解釈を同じ種類の証拠として示しません。利用できない信号は理由付きのnullです。

オープンソースのツール

リポジトリには記録と認識的ベクトルのスキーマ、Pythonの検証器、署名ツール、ハッシュで連結した記録ログ、読者別の開示ビューがあります。検証経路はPython標準ライブラリで動く設計です。正しい例と、拒否すべき敵対的な例が含まれます。

KLM-0からKLM-5は、宣言、追跡可能性、根拠付け、省察、帰属、独立した検証可能性を表します。記録構造と証拠基盤の水準であり、モデルの知能を採点したり答えの真実を認証したりするものではありません。十分に記述された記録にも、根拠なし・反証ありと明示した主張を含められます。

ライセンスはApache-2.0です。

状態と限界

確認した版では、仕様は v0.3の作業草案 、証明記録のスキーマはklm-attestation/0.2です。旧0.1記録には元の規則が適用されます。仕様、記録スキーマ、ツールの版は別です。

KLMは参照標準の候補で、正式に批准された標準ではありません。異なる仕組みを使う独立した実装での検証が、次の重要な試験です。暗号学的な完全性、出典への信頼、事実の正しさも別の問いです。

関連する読み物

出典と版

この文章は次の日に確認した公開版に基づきます: 2026年10月9日. リンクはその版に固定しています。説明例は編集上の解釈であり、研究結果は元の範囲を保持します。その後、研究が変わっている可能性があります。

つながり

探究するKLM:未知がゼロではない理由

利用できない信号を明示するKLMの原則を探究します。

記録するKLMを初めて検証する

正しい例と不正な例でKLMの検証器を説明します。