威廉·科恩;杨，范;凯瑟琳·里瓦德·马扎蒂斯 TensorLog：使用深度学习基础设施实现的概率数据库。 （英语） Zbl 1434.68141号 J.阿蒂夫。智力。研究（JAIR） 67, 285-325 (2020). 摘要：我们提出了一种称为TensorLog的概率一阶逻辑的实现，其中逻辑查询类被编译成神经网络基础设施（如Tensorflow或Theano）中的可微函数。这导致概率逻辑推理与深度学习基础设施的紧密集成：特别是，它使高性能深度学习框架能够用于调整概率逻辑的参数。与这些框架的集成使基于GPU的并行处理器能够用于推理和学习，使TensorLog成为第一个高度并行化的概率逻辑。实验结果表明，TensorLog可以扩展到涉及数十万个知识库三元组和数万个示例的问题。 引用于2文件 MSC公司： 第68页，共15页 数据库理论 03B48 概率和归纳逻辑 03B70号 计算机科学中的逻辑 68N17号 逻辑编程 2017年10月68日 人工神经网络与深度学习 软件：西雅娜;探测日志;科学Py;教堂;TensorLog公司;亚当;TensorFlow公司;ProPPR公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Cohen}等人，J.Artif。智力。研究（JAIR）67，285--325（2020；Zbl 1434.68141） 全文： 内政部