Logic Guided Genetic Algorithms (Student Abstract)

Authors

  • Dhananjay Ashok University of Toronto
  • Joseph Scott University of Waterloo
  • Sebastian J. Wetzel Perimeter Institute for Theoretical Physics
  • Maysum Panju University of Waterloo
  • Vijay Ganesh University of Waterloo

Keywords:

Symbolic Regression, Genetic Algorithms, Constraint Driven Search, Data Augmentation, Data Efficiency

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 (in conjunction with the traditional MSE), with the aim of increasing both data efficiency and accuracy of symbolic regression (SR) algorithms. Our method, logic-guided genetic algorithm (LGGA), takes as input a set of labelled data points 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% 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.

Downloads

Published

2021-05-18

How to Cite

Ashok, D., Scott, J., Wetzel, S. J., Panju, M., & Ganesh, V. (2021). Logic Guided Genetic Algorithms (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence, 35(18), 15753-15754. Retrieved from https://ojs.aaai.org/index.php/AAAI/article/view/17873

Issue

Section

AAAI Student Abstract and Poster Program