Towards a Model Theory for Distributed Representations
classification
💻 cs.AI
keywords
representationsmodeltheoryapproachdistributedlogicthoseanswering
read the original abstract
Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We present a model theory/semantics for first order logic based on vectors of reals. We describe the model theory, discuss some interesting properties of such a system and present a simple approach to query answering.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine
PALO is a new approximate probabilistic logic with continuous semantics and SGD/MCMC inference, implemented as LIME in TensorFlow and demonstrated on bioinformatics network synthesis.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.