Logical Inference as Cost Minimization in Vector Spaces.

Taisuke Sato Ryosuke Kojima

Published in: IJCAI (2019)

Keyphrases

cost minimization
logical inference
vector space
theorem proving
similarity search
distance measure
euclidean space
intrinsic dimensionality
knowledge compilation
feature vectors
first order logic
probabilistic inference
riemannian manifolds
logical structure
query language
conditional independence