論文の概要: Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)

• arxiv url: http://arxiv.org/abs/2605.19186v2
• Date: Mon, 25 May 2026 19:01:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-27 17:51:40.684698
• Title: Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)
• Title（参考訳）: Discoverable Agent Knowledge -- Agentic KG Affordances (Extended Version)のための形式的フレームワーク
• Authors: Terry R. Payne, Valentina Tamma, Enrico Daga,
• Abstract要約: 20年前、セマンティックWebサービスコミュニティは、異なる存在論的コミットメントを持つエージェントがWebサービスを一貫性を持って発見し、構成し、呼び出す方法について質問された。 我々は、4次元の形式的枠組みを用いて、これらの洞察をKG設定のために再検討し、拡張する。 エージェント計画時のKG選択, 組成, 故障診断を基本としたAAP(Agenic Affordance Profile)を導出する。
• 参考スコア（独自算出の注目度）: 0.5461938536945722
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Two decades ago, the Semantic Web Services community was asked how agents with different ontological commitments could discover, compose, and invoke web services coherently. The response was OWL-S and WSMO: formally grounded capability descriptions specifying what a service could do, what the agent must already know for invocation to be epistemically sound, and how ontological mismatches could be formally bridged. Current KG metadata standards such as VoID and DCAT describe what a KG contains, yet say nothing about what a specific agent can prove from it, what closure assumptions govern empty results, or whether the agent's task vocabulary is grounded in the schema. Furthermore, in deployed KGs the governing schema DL and the operative entailment regime can diverge: an epistemic failure mode invisible to current metadata. We revisit and extend these insights for the KG setting with a four-dimensional formal framework; Semantic Expressivity, Agentic Discoverability, Task-Relative Grounding, and Epistemic Trust Scope, from which we derive the Agentic Affordance Profile (AAP): a semantic layer above VoID and DCAT enabling principled KG selection, composition, and failure diagnosis at agent planning time. The four dimensions operationalise the affordance structure of the Ontological Continuum at the individual-agent level, specifically for \kg selection, composition, and failure diagnosis. A worked example drawn from a scholarly-search task concretely grounds the framework, and identifies the formal, computational, and engineering work needed to realise AAP-based affordance matching at scale though a five-point research agenda.
• Abstract（参考訳）: 20年前、セマンティックWebサービスコミュニティは、異なる存在論的コミットメントを持つエージェントがWebサービスを一貫性を持って発見し、構成し、呼び出す方法について質問された。 その答えはOWL-SとWSMOでした: サービスに何ができるか、エージェントが認識的に健全な呼び出しのために既に知っていること、オントロジ的なミスマッチが正式にブリッジされる方法について、正式な根拠付き機能記述です。 現在のVoIDやDCATのようなKGメタデータ標準では、KGが何を含んでいるかが記述されているが、特定のエージェントがそれから何を証明するか、クロージャ仮定が空の結果を支配しているか、あるいはエージェントのタスク語彙がスキーマに根拠づけられているかどうかについては何も述べていない。 さらに、デプロイされたKGでは、管理スキーマDLとオペ・エンテインメント・レシエーションが、現在のメタデータに見えないてててんかん障害モードに分散する可能性がある。 エージェント・アフォード・プロファイル(AAP: Agentic Affordance Profile: エージェント・アフォード・プロファイル: Agentic Affordance Profile: エージェント・アフォード・プロファイル: Agentic Affordance Profile: エージェント・アフォード・プロファイル: AAP: Agentic Affordance Profile: エージェント・アフォード・プロファイル: Agentic Affordance Profile; エージェント・プロファイル: AAP: Agentic Affordance Profile; エージェント・プロファイル: AAP: Agentic Affordance Profile: エージェント・アフォード・プロファイル: Agentic Affordance Profile; エージェント・プロファイル: AAP: Agentic AAP: エージェント・アフォード・プロファイル: Agentic Affordance Profile; エージェント・プロファイル: エージェント・アフォード・プロファイル)を導出し、エージェント・プランニング時のKG選択、構成、失敗診断を可能にする。 この4つの次元は、オントロジカル連続体(オントロジカル連続体)の価格構造を個々のエージェントレベルで運用し、特にkg選択、構成、故障診断を行う。 学術的な研究課題から引き出された実例は、この枠組みを具体化し、5点の研究課題にもかかわらず、大規模にAAPベースの価格マッチングを実現するのに必要な形式的、計算的、および工学的作業を特定する。

関連論文リスト

• How to Interpret Agent Behavior [56.59836196946289]
  本稿では,エージェントの動作を実行時に記述・解析するための分類法であるACT*ONOMYを紹介する。 共用語彙を提供することで、ACT*ONOMYは研究者、エージェントデザイナー、エンドユーザーがエージェントの振る舞いをより一貫して解釈するのに役立つ。
  論文  参考訳（メタデータ） (2026-05-13T14:52:40Z)
• PRISM: : Planning and Reasoning with Intent in Simulated Embodied Environments [59.07829883257003]
  5つの集合住宅の上に建設され、PRISMは300の人間認証タスクを3つの能力レベルに構成する。 PRISMはエージェントに依存しない実行可能なアクションAPIを公開し、任意のエージェントをエンドツーエンドで評価できるようにする。
  論文  参考訳（メタデータ） (2026-05-12T04:59:47Z)
• Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols [0.0]
  本稿では,エージェント対エージェント通信のためのバージョン付き,追加のみの同意モデルを提案する。 このモデルは、2つの広く使用されるエージェントプロトコルに対する非破壊的拡張としてインスタンス化される。
  論文  参考訳（メタデータ） (2026-04-16T10:48:21Z)
• SAGE: A Service Agent Graph-guided Evaluation Benchmark [27.342044311161654]
  本稿では,SAGE(Service Agent Graph-Guided Evaluation)を提案する。 SAGEは構造化されていないSOPを動的ダイアロググラフに形式化し、論理的コンプライアンスの正確な検証を可能にする。 また、モデルが論理的失敗にもかかわらず丁寧な会話ファサードを維持する現象である「共感回復」も観察する。
  論文  参考訳（メタデータ） (2026-04-10T12:55:23Z)
• Towards a Declarative Agentic Layer for Intelligent Agents in MCP-Based Server Ecosystems [0.0]
  本稿では, 接地型エージェントシステムのためのモデル非依存アーキテクチャ層を提案する。 提案するレイヤであるDALIAは、実行可能な機能を形式化し、タスクを公開し、決定論的タスクグラフを構築する。 発見と計画と実行を明確に分離することで、アーキテクチャはエージェントの振る舞いを検証可能な運用空間に制約する。
  論文  参考訳（メタデータ） (2026-01-24T12:15:49Z)
• GSM-Agent: Understanding Agentic Reasoning Using Controllable Environments [56.007498767771075]
  GSM-Agentは複雑な環境でエージェント推論を評価するための新しいベンチマークである。 我々は,環境文書の埋め込みをノードにクラスタ化することでエージェント推論パターンを分析し,各ツールコールを最も近いノードにマッピングする。 本稿では,LLMのエージェント推論性能を向上させるためのツール拡張テストタイムスケーリング手法を提案する。
  論文  参考訳（メタデータ） (2025-09-26T07:24:37Z)
• Enrich-on-Graph: Query-Graph Alignment for Complex Reasoning with LLM Enriching [61.824094419641575]
  大言語モデル(LLM)は知識グラフ質問応答(KGQA)のような知識集約的なシナリオにおける幻覚と事実的誤りに苦しむ これは、構造化知識グラフ(KG)と非構造化クエリのセマンティックギャップによるもので、その焦点や構造に固有の違いが原因である。 既存の手法は通常、バニラKGの資源集約的で非スケーリング可能な推論を用いるが、このギャップを見落としている。 我々は、LLMの事前知識を活用してKGを充実させる柔軟なフレームワークEnrich-on-Graph(EoG)を提案し、グラフとクエリ間のセマンティックギャップを埋める。
  論文  参考訳（メタデータ） (2025-09-25T06:48:52Z)
• WebShaper: Agentically Data Synthesizing via Information-Seeking Formalization [68.46693401421923]
  WebShaperは集合論を通してISタスクを体系的に定式化する。 WebShaperは、GAIAおよびWebWalkerQAベンチマーク上で、オープンソースISエージェントの最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2025-07-20T17:53:37Z)
• SymAgent: A Neural-Symbolic Self-Learning Agent Framework for Complex Reasoning over Knowledge Graphs [38.517345561999115]
  SymAgentは、知識グラフと大規模言語モデルとの協調的な拡張を実現する革新的なニューラルシンボリックエージェントフレームワークである。 我々はKGを動的環境として概念化し、複雑な推論タスクを多段階の対話プロセスに変換することにより、KGが推論プロセスに深く参加できるようにする。
  論文  参考訳（メタデータ） (2025-02-05T15:37:05Z)

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

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