Towards a Model Theory for Distributed Representations

10/21/2014
by   Ramanathan Guha, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/12/2022

Non-Axiomatic Term Logic: A Computational Theory of Cognitive Symbolic Reasoning

This paper presents Non-Axiomatic Term Logic (NATL) as a theoretical com...
research
09/30/2022

P vs NP

In this paper, we discuss the 𝒩𝒫 problem using the Henkin's Theory and t...
research
09/16/2019

Towards Distributed Logic Programming based on Computability Logic

Computability logic (CoL) is a powerful computational model which views...
research
08/04/2016

Query Answering in Resource-Based Answer Set Semantics

In recent work we defined resource-based answer set semantics, which is ...
research
02/14/2023

From ATL to Stit

I present a technical embedding of alternating-time temporal logic into ...
research
07/20/2023

Logic and theory of representation

Underlying the theory of inferences, a primary task of logic is language...
research
06/28/2018

A Computational Theory for Life-Long Learning of Semantics

Semantic vectors are learned from data to express semantic relationships...

Please sign up or login with your details

Forgot password? Click here to reset