Genetic algorithms in the framework of Markov's constructive mathematical logic
E. G. Rajan, Pravin Rao, V.V.N. Swamy, K. Mukarramuddin, Y. Anantha, M.M. Mohan · 2002
The notion of a genetic algorithm is viewed here as a pattern directed production system of an associative calculus applied to an evolution-like model, and the corresponding solution space as a language from a free monoid. We refer to this procedure as a constructive genetic algorithm.