One contribution of this paper is an efficient algorithm for deciding membership in a subgroupH of an Abelian groupG whenG andH are in a special form. Our approach is particularly fast because calculations are postponed until needed, and because some decisions can be made based on the existence of certain objects without actually calculating them. This mathematical problem arises naturally in machine learning, and is particularly relevant to concept modeling. We use genetic algorithms as a nontrivial example of how concept formation may correspond to subgroup formation and to illustrate that analysis may reveal abstract concepts determined by group membership which are not initially apparent. This example forms another contribution of this paper; genetic search has not previously been framed within an algebraic context.
[1]
Michael D. Vose,et al.
Isomorphisms algorithms of genetic
,
2002
.
[2]
Michael D. Vose,et al.
Generalizing the Notion of Schema in Genetic Algorithms
,
1991,
Artif. Intell..
[3]
GUNAR E. LIEPINS,et al.
Representational issues in genetic optimization
,
1990,
J. Exp. Theor. Artif. Intell..
[4]
David E. Goldberg,et al.
Genetic Algorithms in Search Optimization and Machine Learning
,
1988
.
[5]
John H. Holland,et al.
Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence
,
1992
.