arXiv:2605.19186cs.AI2026-05被引 1

为知识图谱的智能体发现提供形式化框架,解决元数据缺失的关键问题。

Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)

论文配图:Discoverable Agent Knowledge -- A Formal Framework for Agentic KG Affordances (Extended Version)
图 1 · 摘自论文原文
  • 构建四维框架:语义表达、智能体可发现性、任务关联性、认知信任范围
  • 提出代理可用性配置文件(AAP),实现知识图谱的选择与故障诊断
  • 适用于需要可靠推理的科研搜索等高要求智能体任务

二十年前,语义网服务社区曾探讨不同本体承诺的智能体如何一致地发现、组合和调用网络服务。当时提出了OWL-S和WSMO,通过形式化的能力描述,明确服务能做什么、调用前需已知什么知识,以及如何形式化解决本体不匹配。当前的知识图谱元数据标准如VoID和DCAT仅描述知识图谱包含什么内容,却未说明特定智能体能从其中证明什么、空结果背后的闭包假设是什么,或其任务词汇是否基于模式。此外,在实际部署的知识图谱中,所用本体逻辑(DL)与推理机制可能不一致,导致认知失败,而现有元数据无法察觉。本文针对知识图谱场景重新审视并扩展上述思想,提出一个四维形式化框架:语义表达能力、代理可发现性、任务相关性、认知信任范围,并由此推导出代理可用性配置文件(AAP)。该配置文件位于VoID和DCAT之上,支持在智能体规划阶段进行有原则的知识图谱选择、组合与故障诊断。框架具体刻画了个体智能体在本体连续体上的可用性结构,尤其适用于知识图谱的选择、组合与故障诊断。通过学术检索任务的实例验证框架可行性,并提出五点研究议程,以实现大规模下基于AAP的可用性匹配。

原文摘要 · Abstract (English)

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.

知识图谱智能体语义推理元数据

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。