Semantic Embeddings in Semilattices

05/25/2022
by   Fernando Martin-Maroto, et al.
0

To represent anything from mathematical concepts to real-world objects, we have to resort to an encoding. Encodings, such as written language, usually assume a decoder that understands a rich shared code. A semantic embedding is a form of encoding that assumes a decoder with no knowledge, or little knowledge, beyond the basic rules of a mathematical formalism such as an algebra. Here we give a formal definition of a semantic embedding in a semilattice which can be used to resolve machine learning and classic computer science problems. Specifically, a semantic embedding of a problem is here an encoding of the problem as sentences in an algebraic theory that extends the theory of semilattices. We use the recently introduced formalism of finite atomized semilattices to study the properties of the embeddings and their finite models. For a problem embedded in a semilattice, we show that every solution has a model atomized by an irreducible subset of the non-redundant atoms of the freest model of the embedding. We give examples of semantic embeddings that can be used to find solutions for the N-Queen's completion, the Sudoku, and the Hamiltonian Path problems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/16/2021

Finite Atomized Semilattices

We show that every finite semilattice can be represented as an atomized ...
research
09/15/2021

Learning Mathematical Properties of Integers

Embedding words in high-dimensional vector spaces has proven valuable in...
research
08/29/2018

Recent progress on scaling algorithms and applications

Scaling problems have a rich and diverse history, and thereby have found...
research
04/15/2022

Knowledgebra: An Algebraic Learning Framework for Knowledge Graph

Knowledge graph (KG) representation learning aims to encode entities and...
research
05/19/2020

Word-Emoji Embeddings from large scale Messaging Data reflect real-world Semantic Associations of Expressive Icons

We train word-emoji embeddings on large scale messaging data obtained fr...
research
10/05/2016

VoxML: A Visualization Modeling Language

We present the specification for a modeling language, VoxML, which encod...
research
06/12/2018

What Does This Notation Mean Anyway?

Following the introduction of BNF notation by Backus for the Algol 60 re...

Please sign up or login with your details

Forgot password? Click here to reset