論文の概要: Provenance-Enhanced Statements in Knowledge Graphs

• arxiv url: http://arxiv.org/abs/2606.15246v1
• Date: Sat, 13 Jun 2026 11:01:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-16 16:21:33.152843
• Title: Provenance-Enhanced Statements in Knowledge Graphs
• Title（参考訳）: 知識グラフにおける先行文の強化
• Authors: Fabio Vitali, Valentina Pasqual,
• Abstract要約: X$, $varphi$" という形の証明付きステートメントは、現代の知識グラフにおいて広く普及している。 現在の証明モデルは、誰が何を主張したかを記録することができるが、通常、証明は意味的に中立であるとして扱う。 先天的な姿勢の指標として述語を解釈するフレームワークであるDECを導入し,認知の世界に先天的・同質な言明の集合を紹介する。
• 参考スコア（独自算出の注目度）: 0.08594140167290097
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Provenance-enhanced statements of the form "according to $X$, $\varphi$" are pervasive in contemporary knowledge graphs, especially in domains where graph content primarily represents claims, interpretations, and hypotheses (\emph{capta}) rather than observer-independent facts (\emph{data}). Current provenance models can record who asserted what, but they typically treat provenance as semantically neutral, leaving underspecified how attributed claims relate to factual commitment, to one another, and to reasoning. In this paper we introduce DEC, a framework that interprets provenance predicates as indicators of epistemic stance and groups provenance-homogeneous sets of statements into \emph{cognitive worlds}. Drawing on cognitive modal logics (doxastic, epistemic, and conjectural), DEC characterizes locality, rationality, and controlled permeation between cognitive worlds and a distinguished factual core ("reality"), thereby enabling principled reasoning over attributed content without collapsing disagreements into inconsistencies. We formalize a DEC interpretation for RDF datasets that is conservative over RDF~1.2 semantics, clarify the role of intensionality and identity (including the Superman paradox), and illustrate the approach on common Semantic Web representations (named graphs, quoted triples/RDF-star, and reification). Finally, we describe our prototype DEC reasoner implemented as a Fuseki dataset module, supporting controlled factualisation and explicit detection of disagreements and delusions.
• Abstract（参考訳）: X$, $\varphi$" という形の証明付きステートメントは、特にグラフの内容が観察者に依存しない事実(\emph{data})ではなく、主張、解釈、仮説(\emph{capta})を主に表す領域において、現代知識グラフにおいて広く普及している。 現在の証明モデルは、誰が何を主張したかを記録できるが、彼らは通常、証明が意味的に中立であるとして扱う。 本稿では, 先験述語を認識的姿勢の指標として解釈するフレームワークであるDECを紹介し, 証明-同質な文集合を \emph{cognitive worlds} に導入する。 認知モーダル論理 (doxastic, epistemic, and conjectural) に基づくDECは、認知世界の局所性、合理性、制御された透過性を特徴付ける。 我々はRDF〜1.2セマンティクスより保守的なRDFデータセットに対するDEC解釈を定式化し、インテンシティとアイデンティティ(スーパーマンパラドックスを含む)の役割を明らかにし、共通のセマンティックWeb表現(グラフ、引用トリプル/RDF-スター、リフィケーション)に対するアプローチを説明する。 最後に,Fusekiデータセットモジュールとして実装したプロトタイプDEC推論器について述べる。

関連論文リスト

• A Unified Representation Underlying the Judgment of Large Language Models [6.674085049223262]
  生物学的および人工知能両方のアーキテクチャ上の問題は、判断が特別なモジュールに依存するか、あるいは統一されたドメイン・ジェネラル・リソースに依存しているかである。 評価判断が支配的次元に沿って計算されることを示し、これをVAA(Valence-Assent Axis)と呼ぶ。 VAAは生成過程の制御信号として機能し、実際の精度を犠牲にしても、その評価状態と整合した合理性を構築する。
  論文  参考訳（メタデータ） (2025-10-31T09:57:19Z)
• Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective [0.45880283710344055]
  重み付けされた知識ベースとデファジブル条件セットが解釈に基づいて同じ順序を生成可能であることを示す。 我々の結果は、コストベースのセマンティクスとc-表現の両方において、さらなる作業の恩恵を受ける可能性がある。
  論文  参考訳（メタデータ） (2025-10-01T12:27:19Z)
• From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses [2.06682776181122]
  本稿では,主観的推論の形式化を目的とした認知モーダル論理の新たなファミリを紹介する。 導出論理は Axiom C と呼ばれる原理に依存しており、すべての確立された事実が仮説的な層にまたがって保存されることを保証する。 また、予想から受理事実への遷移を形式化する動的演算 $mathsfsettle(varphi)$ も導入する。
  論文  参考訳（メタデータ） (2025-08-10T11:37:49Z)
• Prototype-based Aleatoric Uncertainty Quantification for Cross-modal Retrieval [139.21955930418815]
  クロスモーダル検索手法は、共通表現空間を共同学習することにより、視覚と言語モダリティの類似性関係を構築する。 しかし、この予測は、低品質なデータ、例えば、腐敗した画像、速いペースの動画、詳細でないテキストによって引き起こされるアレタリック不確実性のために、しばしば信頼性が低い。 本稿では, 原型に基づくAleatoric Uncertainity Quantification (PAU) フレームワークを提案する。
  論文  参考訳（メタデータ） (2023-09-29T09:41:19Z)
• AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
  実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。 アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。 我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
  論文  参考訳（メタデータ） (2021-04-01T17:40:08Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。