Self-organized inductive reasoning with NeMuS

06/16/2019
by   Leonardo Barreto, et al.
0

Neural Multi-Space (NeMuS) is a weighted multi-space representation for a portion of first-order logic designed for use with machine learning and neural network methods. It was demonstrated that it can be used to perform reasoning based on regions forming patterns of refutation and also in the process of inductive learning in ILP-like style. Initial experiments were carried out to investigate whether a self-organizing the approach is suitable to generate similar concept regions according to the attributes that form such concepts. We present the results and make an analysis of the suitability of the method in the process of inductive learning with NeMuS.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/04/2021

On Semantic Cognition, Inductive Generalization, and Language Models

My doctoral research focuses on understanding semantic knowledge in neur...
research
10/06/2019

Learn to Explain Efficiently via Neural Logic Inductive Learning

The capability of making interpretable and self-explanatory decisions is...
research
05/25/2020

Towards United Reasoning for Automatic Induction in Isabelle/HOL

Inductive theorem proving is an important long-standing challenge in com...
research
06/15/2019

Efficient predicate invention using shared "NeMuS"

Amao is a cognitive agent framework that tackles the invention of predic...
research
10/17/2017

Enhancing Inductive Entailment Proofs in Separation Logic with Lemma Synthesis

This paper presents an approach to lemma synthesis to support advanced i...
research
12/11/2002

Types of Cost in Inductive Concept Learning

Inductive concept learning is the task of learning to assign cases to a ...
research
10/25/2021

Decomposed Inductive Procedure Learning

Recent advances in machine learning have made it possible to train artif...

Please sign up or login with your details

Forgot password? Click here to reset