An Algebraic Approach to Learning and Grounding

04/06/2022
by   Johanna Björklund, et al.
0

We consider the problem of learning the semantics of composite algebraic expressions from examples. The outcome is a versatile framework for studying learning tasks that can be put into the following abstract form: The input is a partial algebra A and a finite set of samples (ϕ1, O1), (ϕ2, O2), ..., each consisting of an algebraic term ϕi and a set of objects Oi. The objective is to simultaneously fill in the missing algebraic operations in A and ground the variables of every ϕi in Oi, so that the combined value of the terms is optimised. We demonstrate the applicability of this framework through case studies in grammatical inference, picture-language learning, and the grounding of logic scene descriptions.

READ FULL TEXT

page 11

page 12

research
01/09/2023

The Algebra of Nondeterministic Finite Automata

A process algebra is proposed, whose semantics maps a term to a nondeter...
research
11/03/2022

Grounding Game Semantics in Categorical Algebra

I present a formal connection between algebraic effects and game semanti...
research
04/26/2022

Non-determinsitic algebraic rewriting as adjunction

We develop a general model theoretic semantics to rewriting beyond the u...
research
08/21/2023

Algebraic Reasoning About Timeliness

Designing distributed systems to have predictable performance under high...
research
02/14/2022

Processes Parametrised by an Algebraic Theory

We develop a (co)algebraic framework to study a family of process calcul...
research
10/20/2020

Evaluation of Logic Programs with Built-Ins and Aggregation: A Calculus for Bag Relations

We present a scheme for translating logic programs, which may use aggreg...

Please sign up or login with your details

Forgot password? Click here to reset