Knowledge Extraction and Knowledge Integration governed by Łukasiewicz Logics

04/11/2016
by   Carlos Leandro, et al.
0

The development of machine learning in particular and artificial intelligent in general has been strongly conditioned by the lack of an appropriate interface layer between deduction, abduction and induction. In this work we extend traditional algebraic specification methods in this direction. Here we assume that such interface for AI emerges from an adequate Neural-Symbolic integration. This integration is made for universe of discourse described on a Topos governed by a many-valued Łukasiewicz logic. Sentences are integrated in a symbolic knowledge base describing the problem domain, codified using a graphic-based language, wherein every logic connective is defined by a neuron in an artificial network. This allows the integration of first-order formulas into a network architecture as background knowledge, and simplifies symbolic rule extraction from trained networks. For the train of such neural networks we changed the Levenderg-Marquardt algorithm, restricting the knowledge dissemination in the network structure using soft crystallization. This procedure reduces neural network plasticity without drastically damaging the learning performance, allowing the emergence of symbolic patterns. This makes the descriptive power of produced neural networks similar to the descriptive power of Łukasiewicz logic language, reducing the information lost on translation between symbolic and connectionist structures. We tested this method on the extraction of knowledge from specified structures. For it, we present the notion of fuzzy state automata, and we use automata behaviour to infer its structure. We use this type of automata on the generation of models for relations specified as symbolic background knowledge.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/11/2016

Symbolic Knowledge Extraction using Łukasiewicz Logics

This work describes a methodology that combines logic-based systems and ...
research
04/11/2016

Reverse Engineering and Symbolic Knowledge Extraction on Łukasiewicz Fuzzy Logics using Linear Neural Networks

This work describes a methodology to combine logic-based systems and con...
research
10/07/2020

Abductive Knowledge Induction From Raw Data

For many reasoning-heavy tasks, it is challenging to find an appropriate...
research
03/18/2019

LYRICS: a General Interface Layer to Integrate AI and Deep Learning

In spite of the amazing results obtained by deep learning in many applic...
research
09/13/2020

Neural Networks Enhancement through Prior Logical Knowledge

In the recent past, there has been a growing interest in Neural-Symbolic...
research
12/18/2019

Effective Integration of Symbolic and Connectionist Approaches through a Hybrid Representation

In this paper, we present our position for a neuralsymbolic integration ...
research
01/29/2022

Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression

Most computer algebra systems (CAS) support symbolic integration as core...

Please sign up or login with your details

Forgot password? Click here to reset