LGML: Logic Guided Machine Learning. (arXiv:2006.03626v1 [cs.AI])

We introduce Logic Guided Machine Learning (LGML), a novel approach that
symbiotically combines machine learning (ML) and logic solvers with the goal of
learning mathematical functions from data. LGML consists of two phases, namely
a learning-phase and a logic-phase with a corrective feedback loop, such that,
the learning-phase learns symbolic expressions from input data, and the
logic-phase cross verifies the consistency of the learned expression with known
auxiliary truths. If inconsistent, the logic-phase feeds back "counterexamples"
to the learning-phase. This process is repeated until the learned expression is
consistent with auxiliary truth. Using LGML, we were able to learn expressions
that correspond to the Pythagorean theorem and the sine function, with several
orders of magnitude improvements in data efficiency compared to an approach
based on an out-of-the-box multi-layered perceptron (MLP).

Source link

Related posts

American Heart Association is making health equity a priority


Computational analysis of airflow dynamics for predicting collapsible sites in the upper airways: machine learning approach.


Joscha Bach: We need to understand the nature of AI to understand who we are


This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More

Privacy & Cookies Policy