Title :
Genetic algorithms in the framework of Markov´s constructive mathematical logic
Author :
Rajan, E.G. ; Rao, P. Madhusudana ; Swamy, V.V.N. ; Mukarramuddin, Khaja ; Anantha, Y. ; Mohan, M. Murali
Author_Institution :
Dept. of Electron. & Commun. Eng., Vasavi Coll. of Eng., Hyderabad, India
Abstract :
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
Keywords :
calculus; formal languages; formal logic; genetic algorithms; Markov algorithms; associative calculus; constructive genetic algorithm; constructive mathematical logic; evolution-like model; free monoid; language; pattern directed production system; Biological information theory; Calculus; Data structures; Detectors; Genetic algorithms; Genetic engineering; Genetic mutations; Learning systems; Logic; Production systems;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.537762
