18:02
官方账号arXiv cs.AI@Davide Rinaldi, Luciano Serafini
推荐理由：想给逻辑张量网络加时间或序列结构？sLTN把结构维度做进语言里，还能退化成原版LTN，有PyTorch代码可玩。
结构推理
共 1 条相关 AI 资讯
8月12日
18:02
sLTN扩展了逻辑张量网络（LTN），将时间步、序列位置或图节点等结构维度作为语言的一等公民。它允许在逻辑层面直接表达时间、序列和关系约束，并形式化了语法和模糊张量语义。在无结构维度时，sLTN可退化为原始LTN语义。论文提供了基于PyTorch的实现，并在时间与序列推理示例上进行了演示。