KDDMar, 2019

LYRICS: 用于集成逻辑推断和深度学习的通用界面层

TL;DRLYRICS 是一个使用 First Order Logic 的输入语言,它可以与任何 TersorFlow 计算图相结合,并将公式转换成一系列实值约束条件,以满足先前确定的知识并允许学习者的权重。它在各种模型和知识方面都非常通用,其中包括模型检查、监督学习和集成分类的案例分析。