🤖 AI

Provenance-Enhanced Statements in Knowledge Graphs

本論文は、知識グラフにおけるプロベナンス（由来）を認識論的スタンスの指標として解釈し、属性付きの主張を「認知世界」へと組織化することで、不一致へと崩壊させることなく、相違や仮説に対する原理的な推論を可能にするフレームワークであるDECを導入するものである。

原著者： Fabio Vitali, Valentina Pasqual

公開日 2026-06-16

📖 1 分で読めます☕ さくっと読める

CC BY 4.0

原著者： Fabio Vitali, Valentina Pasqual

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

問題点：「誰が何を言ったのか？」という混乱

巨大な図書館（知識グラフ）を想像してください。そこでは人々が事実を保管しています。通常、図書館は「空は青い」や「水は100℃で沸騰する」といった、確定した事実を保存するのに適しています。これらは**データ（Data）**であり、誰が見ても変わることのない真実です。

しかし、私たちの知識の多くはそれとは異なります。それはカプタ（Capta）（ラテン語で「取られたもの」の意）です。つまり、誰かによって「主張されたもの」です。例えば：

「美術史家のXによれば、この絵はダ・ヴィンチによって描かれた」
「科学者のYによれば、この病気はストレスによって引き起こされる」
「歴史家のZによれば、地球は紀元前4004年に創造された」

現在のコンピュータシステムでは、これらの記述に「誰が言ったか？」（プロベナンス／由来）というタグを付けることができます。しかし、システムはそのタグを単なる「付箋」として扱います。システムは、そのタグの「意味」を理解していません。システムは、以下の違いを理解していないのです：

「マーティン・ケンプが……と書いた」（本の事実）
「マーティン・ケンプが……と信じている」（意見）
「マーティン・ケンプが……と証明した」（強い事実）
「マーティン・ケンプが……と推測した」（荒唐無稽な推測）

現在、もしコンピュータが「ケンプによれば、地球は平らである」という記述を見つけた場合、コンピュータは混乱する可能性があります。地球は平らなのでしょうか？それとも、ケンプが間違っているだけなのでしょうか？システムはしばしば、すべてを単一の「真実」に押し込めようとするため、エラーが発生したり、歴史や科学の微妙なニュアンスが無視されたりします。

解決策：DEC（ドクサ的、エピステミック、推測的）

著者らは、DECと呼ばれる新しいフレームワークを提案しています。単に名前をタグ付けするのではなく、DECは記述を特定の**「認知的世界（Cognitive World）」**の中に存在するものとして扱います。

「認知的世界」とは、家の中の異なる部屋、あるいはスクリーンで再生されている異なる映画のようなものです。

現実の部屋（エピステミック・ワールド）： これは、私たちが100%確信している事実を保管しておく部屋です。もし記述がこの部屋にあれば、コンピュータはそれを真実として扱います。
信念の部屋（ドクサ的ワールド）： これは、たとえ間違っていたとしても、人々が「正しい」と思っていることを保管しておく場所です。もしブルースが「クジラは魚である」と信じているなら、それはブルースの「信念の部屋」に入ります。コンピュータは、現実に対してブルースが間違っていることは理解していますが、ブルースがそう「信じている」という事実は尊重します。
推測の部屋（コンジェクチュラル・ワールド）： これは、仮説を保管しておく場所です。もしカールが「ドラゴンは爬虫類だ」と推測しているなら、それは「推測の部屋」に入ります。コンピュータはこれが仮説であることを知っていますが、その部屋の中では論理を実行できます（例：「もしドラゴンが爬虫類なら、トゥーススも爬虫類である」）。

仕組み：「浸透（Permeation）」のマジック

DECの魔法は、これらの部屋がどのように対話するかという点にあります。著者らはこれを**浸透（Permeation）**と呼んでいます。

一方通行のドア： 通常、「現実の部屋」からの事実は「推測の部屋」へと流れます。もし私たちが「ドラゴンは架空の存在である」と知っていれば、「推測の部屋」（カールがドラゴンについて推測している場所）も自動的にそれを知ることになります。
逆流なし： しかし、「信念の部屋」（ブルースがクジラは魚だと考えている状態）で起きていることは、「現実の部屋」へは流れていきません。ブルースがそう考えているからといって、コンピュータが突然「クジラは魚である」と考えることはありません。
「スーパーマン」の修正： 有名な論理パズルに「スーパーマンのパラドックス」があります。もしロイス・レーンが「スーパーマンは空を飛べる」ことを知っており、かつスーパーマンが実はクラーク・ケントである場合、ロイスは「クラーク・ケントは空を飛べる」ことを知っているでしょうか？通常の論理では「はい」ですが、現実には「いいえ」です。なぜなら、彼女は二人が同一人物であることを知らないからです。
- DECは、このように「ロイス・レーンの世界」を切り離すことでこれを解決します。彼女の世界では、スーパーマンとクラークは別物です。コンピュータは彼女の視点を尊重し、彼女が明示的に真実を学ぶまで、現実のアイデンティティを彼女の「信念の世界」に強制することはありません。

これによって可能になること

これらの世界を分離することで、システムはクラッシュすることなく複雑な状況に対処できます。

意見の相違： 「シェイクスピアがハムレットを書いた」という部屋と、「ディ・ヴィアがハムレットを書いた」という別の部屋を同時に持つことができます。システムは「エラー！」とは言いません。ただ、「これら二つの部屋は意見が食い違っている」と言うだけです。
妄想： もしある部屋が「地球は平らである」と言い、現実の部屋が「地球は丸い」と言っている場合、システムはその「平らな地球」の部屋を**妄想的（Delusional）**であるとフラグ立てできます。システムは、記述が正しく帰属されていること（誰かが確かにそう言ったこと）は理解していますが、その内容が現実と矛盾していることも理解しています。
個人的な意見： アリスが「ピザはホットドッグより美味しい」と言い、ボブが「ホットドッグの方が美味しい」と言った場合、システムはこれらが単なる意見であることを理解します。これらを「修正」したり、真偽を証明したりする必要はありません。それらは単に個人の見解として存在します。

プロトタイプ：データベースの「監督官」

著者らは、標準的なデータベースソフトウェア（Apache Jena/Fusekiなど）の上で動作するプロトタイプツール（「推論器（Reasoner）」）を構築しました。

このツールを、誰よりも先に図書館を巡回する**「監督官（Supervisor）」**だと考えてください。

監督官はすべての記述をチェックします。
彼らは問いかけます。「誰がこれを言ったのか？どのように言ったのか？」
彼らは記述を正しい「部屋」（現実、信念、推測）へと仕分けます。
そして、各部屋の中で標準的なコンピュータ論理が計算を行えるようにします。
さらに、部屋同士が戦っていないか（意見の相違）、あるいは現実と戦っていないか（妄想）をチェックします。
最後に、どの事実が確かなもので、どの記述が信念であり、どの記述が単なる推測であるかを明確にラベル付けして、ユーザーに結果を示します。

まとめ

この論文は、コンピュータ内のすべての知識を、単一の固形な真実の塊として扱うのをやめるべきだと主張しています。代わりに、知識を異なる視点の集合体として扱うべきなのです。

DECは、「これは事実である」、「これは信念である」、「これは推測である」と言い分ける方法を提供し、コンピュータが混乱したりクラッシュしたりすることなく、それらすべてを同じデータベース内に共存させる方法を提供します。これにより、議論の歴史、誤った理論の存在、そして人間の意見のニュ微さを保持しながら、「確かな事実」を安全に守り続けることが可能になります。

技術要約：知識グラフにおけるプロベナンス強化型ステートメント

1. 問題提起

現代の知識グラフ（KG）には、プロベナンス強化型ステートメント（PES）――属性によって修飾された主張（例：「Xによれば、 $\phi$ である」）――がますます含まれるようになっている。これらのステートメントは、データ（観察者から独立した事実）ではなく、カプタ（解釈されたデータ、仮説、学術的主張）を扱う領域で普及している。

現在のセマンティック・ウェブ技術（PROV-O、Wikidataのランキング、RDF-starなど）は、プロベナンスを意味論的に中立なメタデータとして扱う。これらは「誰が何を主張したか」を記録するが、主張の**認識論的ステータス（epistemic status）**を特徴付けることはできない。この中立性は、以下の制限をもたらす：

意味のある相違の喪失： 相違や競合する理論は、しばしば不整合として解消されるか、非公式なランキングメカニズムへと追いやられ、学術的議論のダイナミクスが隠蔽されてしまう。
不適切な推論： プロベナンスを中立的に扱うことは、属性付けられた内容に対する原理的な推論を妨げる。それは、事実、信念、仮説、そして妄想を区別することをできず、「スーパーマンのパラドックス」（認知の境界を越えて同一性置換が失敗する問題）のような問題を引き起こす。
構造的モデリングの欠如： 現在のモデルは、個々のステートメントではなく、認知世界（cognitive worlds）――プロベナンスと認識論的コミットメントを共有するステートメントの同質な集合（例：特定の理論や著者の視点）――に焦点を当てていない。

2. 手法：DECフレームワーク

著者らは、プロベナンス述語を認識論的スタンス（epistemic stance）の指標として解釈し、ステートメントを認知世界へとグループ化するDEC（Doxastic, Epistemic, Conjectural）フレームワークを提案する。

2.1 理論的基礎

DECは、以下の**認知様相論理（cognitive modal logics）**に基づいている：

ドクサ的論理（Doxastic Logic / KD45）： 信念をモデル化する。エージェントは現実と矛盾する信念を持つ可能性があるが、信念は内部的には一貫していなければならない（合理性）。
認識論的論理（Epistemic Logic / S5）： 知識をモデル化する。主張は事実として扱われ、現実へと浸透する。
推測的論理（Conjectural Logic / KDC）： 仮説をモデル化する。エージェントは確立された事実を採用し、未検証の仮定を付け加える。

KGに適用される主要な論理的概念は以下の通りである：

局所性（公理 K）： 推論は認知世界内に限定される。推論が自動的に境界を越えることはない。
合理性（公理 D）： 認知世界は内部的な矛盾を含むことができない。
浸透（Permeation）：
- 内側から外へ（公理 T）： 認識論的な主張は、事実的な核（現実）へと浸透する。
- 外側から内へ（公理 C）： 確立された事実は、推測的な世界へと浸透する。
内包性（Intensionality）： 同一性と等価性（例：owl:sameAs）は、様相の境界を自由に越えることはなく、これにより同一性を文脈依存的なものとして扱うことで、スーパーマンのパラドックスを解決する。

2.2 RDFのための定式化

著者らは、RDF 1.2のセマンティクスに対して保守的（conservative）な、RDFデータセットのためのDEC解釈を定義する：

認知世界： 名前付きグラフ、引用されたトリプル（RDF-star）、または再構成されたステートメントとして表現される。
現実グラフ（ $r$ ）： すべての**認識論的（Epistemic）**な世界の和集合から構築される、識別されたグラフ。
充足（Satisfaction）： DEC解釈は、その基盤となるRDF解釈が現実グラフ $r$ を充足する場合に、グラフ $g$ を充足する。非認識論的な世界（信念、推測）は、それらが認識論的でない限り、データセットの真理条件に影響を与えない。
決定（Settlement）： 動的な演算子（settle）により、検証された際に推測的な主張を認識論的な層（現実）へと移行させることができる。この際、元の仮説を削除する必要はない。

2.3 認識論的現象

本フレームワークは、以下の現象を形式的に定義し、検出する：

不一致（Disagreements）： 二つの認知世界が、その和集合が論理的に矛盾する場合、それらは不一致状態にある。
妄想（Delusions）： ある世界が、確立された現実グラフと矛盾する場合、その世界は妄想的である。
برس
個人的意見（Personal Opinions）： 検証可能な現実から切り離された主張（例：好み）を含む世界であり、それらが $r$ によって支持も反駁もされていないもの。

3. 実装と結果

著者らは、Apache Jena Fusekiのモジュールとして、プロトタイプDEC推論器を実装した。

アーキテクチャ： この推論器は、標準的なRDF/RDFS/OWL推論の監督レイヤーとして機能する。これは既存の推論器を置き換えるものではなく、認知世界の認識論的タイプに基づいた**浸透ポリシー（permeation policies）**を適用することでグラフを準備する（例：事実を推測的な世界へ複製する、あるいは認識論的な事実を現実グラフへと昇格させる）。
サポートされる表現： 本システムは、名前付きグラフ、RDF-star（引用されたトリプル）、および古典的な再構成（Reification）を扱う。
不整合検出： プロトタイプは、二つのメカニズムによる衝突検出をサポートしている：
1. 論理的不整合： 基盤となるOWL推論器を使用して、世界の和集合の充足可能性をチェックする。
2. 閉鎖制約（Closure Constraints / dec:closedFor）： 特定の述語（例：dc:creator）が、異なる世界間で同一の主題に対して複数の値を持つことができないと明示的に宣言することで、論理的不整合が直ちに導出されない場合でも不一致の検出を可能にする。
結果： プロトタイプは、以下を正常に実証した：
- （例：『サルバトール・ムンディ』や『ハムレット』の作者権など）競合する理論を、データセットを不整合へと崩壊させることなく維持できること。
- 妄想的な主張（例：確立された事実に反する信念）の検出。
- 「属性の真実性」（XがYと言ったという主張）の保持（たとえ内容Yが偽であったり妄想であったとしても）。

4. 主要な貢献

PESの認識論的特性付け： プロベナンスを、ステートメントと現実との関係を定義する中立的なメタデータから、意味論的なオペレータへと移行させた。
認知世界： プロベナンスが同質なステートメントをグループ化するための構造的単位（認知世界）を導入し、理論や学術的議論を結束したユニットとしてモデリングすることを可能にした。
置換問題の形式的解決： 局所性を強制することで、KGにおける同一性と等価性の内包的な扱いを提供し、スーパーマンのパラドックスを回避した。
運用可能なプロトタイプ： これらの理論的概念が、標準的なRDFエンタイルメントを再定義することなく、既存のセマンティック・ウェブ・インフラストラクチャ（Jena/Fusek）上の実用的なレイヤーとして実装可能であることを示した。

5. 意義と主張

本論文は、DECが知識グラフにおける決定的なセマンティック・ギャップ、すなわち「主張の相違（divergence）」を形式的に推論できないという問題を解決すると主張している。データ（事実）とカプタ（主張）を区別することで、DECはKGが以下を行うことを可能にする：

単一の「事実的」な見解だけでなく、議論の状態を表現すること。
相違がエラーとして解決されるべきものではなく、明示的な特徴として扱われる制御された推論をサポートすること。
主張が推測から決定（事実）へと移動したり、妄想として特定されたりする認識論的な進化を可能にすること。

著者らは、DECが保守的であることを強調している。すなわち、RDFの用語やオントロジーの述語の根本的なセマンティクスを変更するのではなく、解釈のメタレイヤーを追加するものである。これにより、標準的な事実に対する通常の推論能力を損なうことなく、競合する視点の共存が可能となる。本研究は、文化遺産や科学研究などの領域における将来の知識グラフは、中立的なプロベナンスを超えて、明示的な認識論的スタンスのモデリングをサポートする必要があることを示唆している。