研究人员推出 sLTN，这是逻辑张量网络 (LTN) 的一个扩展，旨在处理结构化数据。与之前专注于个体扁平集合的 LTN 公式不同，sLTN 明确纳入了时间顺序、序列位置和图连接性等结构维度。这使得在逻辑层面直接表达时间、序列和关系约束成为可能。该框架通过模糊张量语义进行形式化，并包含一个 PyTorch 实现，通过时间和序列推理示例进行了演示。 AI
影响 扩展了神经符号 AI 的能力，以更好地处理时间序列和图等复杂结构化数据。
排序理由 这是一篇介绍神经符号 AI 新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
