Machine Learning is Abduction Inference

06/15/2022
by   Marina Sapir, et al.
0

Concept of Abduction with Gradated Contradictions is introduced here as a form of Peirce's abduction inference. The general form of abduction criterion is formalized in the proposed Logic of Gradated Contradictions and Logic of Recursive Aggregation. Common steps of an abduction procedure as minimization of such a criterion are specified as well. It is demonstrated on examples of 14 popular textbook learners (from hierarchical clustering to k-NN and SVR) that each of them performs AGC. The proposed theory explains real life learners, yet it avoids any mention of statistics, so it can be considered as a logical alternative to the statistical learning theory.

READ FULL TEXT

page 22

page 23

page 28

page 29

page 30

research
06/16/2020

Toward Theory of Applied Learning. What is Machine Learning?

Various existing approaches to formalize machine learning (ML) problem a...
research
01/14/2019

Integrating Learning and Reasoning with Deep Logic Models

Deep learning is very effective at jointly learning feature representati...
research
04/07/2014

Thou Shalt is not You Will

In this paper we discuss some reasons why temporal logic might not be su...
research
01/20/2023

Generative Logic with Time: Beyond Logical Consistency and Statistical Possibility

This paper gives a theory of inference to logically reason symbolic know...
research
02/24/2014

Incremental Learning of Event Definitions with Inductive Logic Programming

Event recognition systems rely on properly engineered knowledge bases of...
research
07/20/2023

Logic and theory of representation

Underlying the theory of inferences, a primary task of logic is language...
research
07/18/2022

The m-connecting imset and factorization for ADMG models

Directed acyclic graph (DAG) models have become widely studied and appli...

Please sign up or login with your details

Forgot password? Click here to reset