KDDMar, 2019
LYRICS: 用于集成逻辑推断和深度学习的通用界面层
LYRICS: a General Interface Layer to Integrate Logic Inference and Deep Learning
Giuseppe Marra, Francesco Giannini, Michelangelo Diligenti, Marco Gori
TL;DRLYRICS 是一个使用 First Order Logic 的输入语言,它可以与任何 TersorFlow 计算图相结合,并将公式转换成一系列实值约束条件,以满足先前确定的知识并允许学习者的权重。它在各种模型和知识方面都非常通用,其中包括模型检查、监督学习和集成分类的案例分析。