新框架将 RDF 与微分动态逻辑集成到 AI 系统中

研究人员开发了 RDFdL，一个结合了资源描述框架 (RDF) 和微分动态逻辑 (dL) 的新颖框架。这种集成旨在弥合表示和推理静态知识以及物理系统的连续动态之间的差距，这对于 AI 驱动的网络物理系统至关重要。通过将微分方程和状态空间范围转换为 RDF 和 SHACL，RDFdL 使得 dL 的验证结果可以用作 RDF 数据上 SPARQL 查询的蕴涵。该框架已使用 Apache Jena 进行 RDF 推理，并使用 KeYmaera X 进行 dL 验证，在制造业中有潜在应用。 AI

影响 通过整合静态知识与连续动态，为网络物理系统实现更强大的 AI 推理。

排序理由 该集群描述了一篇关于整合知识表示与动态系统逻辑的新颖框架的详细研究论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

• Apache Jena
• Differential Dynamic Logic
• first-order logic
• KeYmaera X
• RDFdL
• Resource Description Framework
• SHACL
• SPARQL

• 论文
• 其他

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →