Genetic programming for finite algebras

GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008

Volumn , Issue , 2008, Pages 1291-1298

  Spector, Lee ^a   Clark, David M ^b   Lindsay, Ian ^a   Barr, Bradford ^a   Klein, Jon ^a  

^a HAMPSHIRE COLLEGE   (United States)

^b STATE UNIVERSITY OF NEW YORK   (United States)

Author keywords

ECJ; Finite algebras; Genetic programming; PushGP

Indexed keywords

ALGEBRA; GENETIC ALGORITHMS;

ALGEBRAIC METHOD; FINITE ALGEBRAS; GENETIC PROGRAMMING SYSTEM; ORDERS OF MAGNITUDE; PUSHGP; RANDOM SEARCHES;

GENETIC PROGRAMMING;

EID: 57349113033     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1389095.1389343     Document Type: Conference Paper

References (29)

1. K. Baker and A. Pixley. Polynomial interpolation and the chinese remainder theorem for algebraic systems. Math. Z., 143:165-174, 1975.
2. D. Clark and B. Davey. Topological Dualities for the Working Algebraist. Studies in Advanced Mathematics Series. Cambridge, UK: Cambridge University Press, 1998.
3. D. Clark, B. Davey, J. Pitkethly, and D. Rifqui. Primality from semilattices, 2008. Preprint.
4. B. A. Davey, V. J. Schumann, and H. Werner. From the subalgebras of the square to the discriminator. Algebra Universalis, 28:500-519, 1991.
5. R. O. Davies. On n-valued sheffer functions. Zeitschr. f. math. Logik und Grundlagen d. Math., Bd. 25:293-298, 1979.
6. F. Fernandez, M. Tomassini, and L. Vanneschi. An empirical study of multipopulation genetic programming. Genetic Programming and Evolvable Machines, 4(1):21-51, Mar. 2003.
7. R. Freese and E. Kiss. UACalc: The universal algebra calculator, 2007. www.cs.elte.hu/~ewkiss/software/uaprog/.
8. G. Grätzer. Universal Algebra. Springer-Verlag, 1982.
9. K. Kaarli and A. Pixley. Polynomial Completeness in Algebraic Systems. New York, NY: Chapman and Hall/CRC, 2001.
10. J. Klein. BREVE: a 3d environment for the simulation of decentralized systems and artificial life. In Proc. Artificial Life VIII, the 8th Int. Conf. on the Simulation and Synthesis of Living Sys., pages 329-334. The MIT Press, 2002. http://www.spiderland.org/breve/breve-klein-alife2002.pdf.
11. J. Klein and L. Spector. Genetic programming with historically assessed hardness. In R. Riolo, T. Soule, and B. Worzel, editors, Genetic Programming Theory and Practice VI. Springer, in preparation.
12. D. E. Knuth. A draft of section 7.2.1.6: Generating all trees. In The Art of Computer Programming, volume 4. Addison-Wesley, Pre-fascicle 4A. www-cs-faculty.stanford.edu/~knuth/fasc4a.ps.gz.
13. J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992.
14. W. B. Langdon. The evolution of size in variable length representations. In 1998 IEEE International Conference on Evolutionary Computation, pages 633-638, Anchorage, Alaska, USA, 5-9 May 1998. IEEE Press.
15. S. Luke. Two fast tree-creation algorithms for genetic programming. IEEE Trans. on Evol. Comp., 4(3):274-283, Sept. 2000.
16. I. A. Mal'cev. On the general theory of algebraic systems (Russian). Mat. Sb., 35:3-22, 1954.
17. R. McKenzie, G. McNulty, and W. Taylor. Algebras, Lattices and Varieties, volume 1. Belmont, CA: Wadsworth and Brooks/Cole, 1987.
18. V. L. Murskiǐ. A finite basis of identities and other properties of 'almost all' finite algebras. Problémy Kibérné tiki, 30:43-56, 1975.
19. A. Pixley. Distributivity and permutability of congruence relations in equational classes of algebras. Proc. Amer. Math. Soc., 14:105-119, 1963.
20. J. Rotman. An introduction to the theory of groups. Springer-Verlag, 1994.
21. G. Rousseau. Completeness in finite algebras with a single operation. Proc Amer. Math. Soc., 18:1009-1013, 1967.
22. J. Słupecki. Kryterium pełności wielowartoś ciowych systemów logiki zdań. Comptes rendus des séances de la Société des Lettres de Varsovie, Classe III, 32 Année: 102-109, 1939.
23. J. Slupecki. A criterion of fullness of many-valued systems of propositional logic. Studia Logica, 30:153-157, 1972.
24. L. Spector and J. Klein. Trivial geography in genetic programming. In T. Yu, R. L. Riolo, and B. Worzel, editors, Genetic Programming Theory and Practice III, volume 9 of Genetic Programming, chapter 8, pages 109-123. Springer, 2005.
25. L. Spector, J. Klein, and M. Keijzer. The Push3 execution stack and the evolution of control. In Proc. Gen. and Evol. Comp. Conf., volume 2, pages 1689-1696. ACM Press, 2005.
26. L. Spector and A. Robinson. Genetic programming and autoconstructive evolution with the Push programming language. Genetic Programming and Evolvable Machines, 3(1):7-40, Mar. 2002.
27. H. Werner. Eine Charakterisierung funktional vollständiger Algebren. Archiv d. Math., 21:383-385, 1970.
28. H. Werner. Discriminator-Algebras: Algebraic Representation and Model Theoretic Properties. Akademie-Verlag, 1978.
29. G. C. Wilson, A. McIntyre, and M. I. Heywood. Resource review: Three open source systems for evolving programs-lilgp, ECJ and grammatical evolution. Genetic Programming and Evolvable Machines, 5(1):103-105, Mar. 2004.