Abstract:In this paper, we develop a set of genetic programming operators and an initialization population process based on concepts of functional programming rewriting for boosting inductive genetic programming. Such genetic operators are used within a hybrid adaptive evolutionary algorithm that evolves operator rates at the same time it evolves the solution. Solutions are represented using recursive functions where genome is encoded as an ordered list of trees and phenotype is written in a simple functional programming language that uses rewriting as operational semantic (computational model). The fitness is the number of examples successfully deduced over the cardinal of the set of examples. Parents are selected following a tournament selection mechanism and the next population is obtained following a steady-state strategy. The evolutionary process can use some previous functions (programs) induced as background knowledge. We compare the performance of our technique in a set of hard problems (for classical genetic programming). In particular, we take as test-bed the problem of obtaining equivalent algebraic expressions of some notable products (such as square of a binomial, and cube of a binomial), and the recursive formulas of sum of the first n and squares of the first n natural numbers.

Jacob's ladders, crossbreeding and infinite sets of meta-functional equations as new species generated by the mother formula

Jacob's ladders, class of crossbreeding conserving certain cell of meta-functional equations and existence of cancerous growth of that cell

Jacob's ladders and new families of $ζ$-kindred real continuous functions

Jacob's ladders, $ζ$-factorization and infinite set of metamorphosis of a multiform

Jacob's ladders, Riemann's oscillators, quotient of two oscillating multiforms and set of metamorphoses of this system

Properties of the sequence $\{Z[t_ν(τ)]\}$, Jacob's ladders and new kind of infinite set of metamorphosis of main multiform

Jacob's ladders, new properties of the function $\arg\zf$ and corresponding metamorphoses

Jacob's ladders, almost linear increments of the Hardy-Littlewood integral (1918) and their relations to the Selberg's formula (1946) and the Fermat-Wiles theorem

Taming "McKinsey-like" formula: An Extended Correspondence and Completeness Theory for Hybrid Logic H(@)

Jacob's ladders and the nonlocal interaction of the function $|ζ(1/2+it)|$ with the function $\argζ(1/2+it)$ on the distance $\sim(1-c)π(t)$

Jacob's ladders, existence of almost linear increments of the Hardy-Littlewood integral and new types of multiplicative laws

Generating Functions for Multi-j-Symbols

Higher-genus Wall-Crossing in the Gauged Linear Sigma Model

Jacob's ladders and multiplicative algebra of reversely iterated integrals (energies) on the critical line

Mother Operators and their Descendants

Obtaining Basic Algebra Formulas with Genetic Programming and Functional Rewriting

Refining the taming of the Reverse Mathematics zoo

Jacob's ladders, almost linear increments of the Hardy-Littlewood integral (1918) and their relation to the Titchmarsh's sums (1943) and the Fermat-Wiles theorem

Noetherian theories

Effective equation solving, constraints and growth in virtually abelian groups

Formal multiple Eisenstein series and their derivations