Logic Guided Genetic Algorithms (Student Abstract)

We present a novel Auxiliary Truth enhanced Genetic Algorithm (GA) that uses logical or mathematical constraints as a means of data augmentation as well as to compute loss with the aim of increasing both data efficiency and accuracy of symbolic regression (SR) algorithms. Our method, logicguided genetic algorithm (LGGA), takes as input a set of labelled datapoints and auxiliary truths (AT) (mathematical facts known a priori about the unknown function the regressor aims to learn) and outputs a specially generated and curated dataset that can be used with any SR method. We evaluate LGGA against state-of-the-art SR tools, namely, Eureqa and TuringBot, and find that using these SR tools in conjunction with LGGA results in them solving up to 30. 0% more equations, needing only a fraction of the amount of data compared to the same tool without LGGA, i. e. , resulting in up to a 61. 9% improvement in data efficiency.

Authors

• Dhananjay Ashok
• Joseph Scott University of Waterloo
• Sebastian J. Wetzel
• Maysum Panju
• Vijay Ganesh Georgia Institute of Technology

Keywords

No keywords are indexed for this paper.