BriefGPT.xyz
Nov, 2018
向量空间中逻辑程序的部分求值
Partial Evaluation of Logic Programs in Vector Spaces
HTML
PDF
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
TL;DR
本文介绍了如何使用向量空间编码命题逻辑程序，并提供了使用线性代数进行部分求值的方法。实验表明，这种方法可能在大规模程序的有效计算中具有潜在的优势。
Abstract
In this paper, we introduce methods of encoding
propositional logic programs
in
vector spaces
. Interpretations are represented by vectors and programs are represented by matrices. The least model of a
→