Probabilistic Grammars for Equation Discovery

12/01/2020
by   Jure Brence, et al.
0

Equation discovery, also known as symbolic regression, is a type of automated modeling that discovers scientific laws, expressed in the form of equations, from observed data and expert knowledge. Deterministic grammars, such as context-free grammars, have been used to limit the search spaces in equation discovery by providing hard constraints that specify which equations to consider and which not. In this paper, we propose the use of probabilistic context-free grammars in the context of equation discovery. Such grammars encode soft constraints on the space of equations, specifying a prior probability distribution on the space of possible equations. We show that probabilistic grammars can be used to elegantly and flexibly formulate the parsimony principle, that favors simpler equations, through probabilities attached to the rules in the grammars. We demonstrate that the use of probabilistic, rather than deterministic grammars, in the context of a Monte-Carlo algorithm for grammar-based equation discovery, leads to more efficient equation discovery. Finally, by specifying prior probability distributions over equation spaces, the foundations are laid for Bayesian approaches to equation discovery.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2023

Towards true discovery of the differential equations

Differential equation discovery, a machine learning subfield, is used to...
research
06/14/2023

Probabilistic Regular Tree Priors for Scientific Symbolic Reasoning

Symbolic Regression (SR) allows for the discovery of scientific equation...
research
12/05/2020

Data-based Discovery of Governing Equations

Most common mechanistic models are traditionally presented in mathematic...
research
08/18/2023

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery

The discovery of scientific formulae that parsimoniously explain natural...
research
05/24/2021

A Flawed Dataset for Symbolic Equation Verification

Arabshahi, Singh, and Anandkumar (2018) propose a method for creating a ...
research
04/17/2021

Automated Mathematical Equation Structure Discovery for Visual Analysis

Finding the best mathematical equation to deal with the different challe...
research
08/09/2023

Directed differential equation discovery using modified mutation and cross-over operators

The discovery of equations with knowledge of the process origin is a tem...

Please sign up or login with your details

Forgot password? Click here to reset