可发现的智能体知识——智能体KG可供性的形式框架（扩展版）

二十年前，语义 Web 服务社区被问及具有不同本体论承诺的代理如何能够连贯地发现、组合和调用 Web 服务。回应是 OWL-S 和 WSMO：正式的基础能力描述，指定服务可以做什么、代理必须已经知道什么才能调用在认知上合理，以及如何正式桥接本体不匹配。当前的知识图谱 (KG) 元数据标准（例如 VoID 和 DCAT）描述了 KG 包含的内容，但没有提及特定代理可以从中证明什么、什么闭包假设控制空结果，或者代理的任务词汇表是否基于模式。此外，在部署的知识图谱中，管理模式深度学习和操作蕴含机制可能会有所不同：当前元数据不可见的认知故障模式。我们使用四维形式框架重新审视并扩展了知识图谱设置的这些见解，从中我们得出了代理可供性配置文件（AAP）：VoID 和 DCAT 之上的语义层，可在代理规划时实现有原则的知识图谱选择、组合和故障诊断。五点研究议程确定了大规模实现基于 AAP 的可供性匹配所需的形式、计算和工程工作。