Se trata de un nuevo método para el descubrimiento científico automatizado que combina el razonamiento lógico con la regresión simbólica.