An Analysis of Semantic Aware Crossover

It is well-known that the crossover operator plays an important role in Genetic Programming (GP). In Standard Crossover (SC), semantics are not used to guide the selection of the crossover points, which are generated randomly. This lack of semantic information is the main cause of destructive effects from SC (e.g., children having lower fitness than their parents). Recently, we proposed a new semantic based crossover known GP called Semantic Aware Crossover (SAC) [25]. We show that SAC outperforms SC in solving a class of real-value symbolic regression problems. We clarify the effect of SAC on GP search in increasing the semantic diversity of the population, thus helping to reduce the destructive effects of crossover in GP.

[1]  Riccardo Poli,et al.  A Field Guide to Genetic Programming , 2008 .

[2]  Riccardo Poli,et al.  Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation , 1997, Evolutionary Computation.

[3]  Kwong-Sak Leung,et al.  An induction system that learns programs in different programming languages using genetic programming and logic grammars , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[4]  Doron A. Peled,et al.  Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms , 2008, ATVA.

[5]  Alexandru Nicolau,et al.  Equivalence checking of arithmetic expressions using fast evaluation , 2005, CASES '05.

[6]  Michael O'Neill,et al.  An Attribute Grammar Decoder for the 01 MultiConstrained Knapsack Problem , 2005, EvoCOP.

[7]  Maarten Keijzer Alternatives in Subtree Caching for Genetic Programming , 2004, EuroGP.

[8]  Colin G. Johnson,et al.  Genetic Programming with Fitness Based on Model Checking , 2007, EuroGP.

[9]  Satoshi Sato,et al.  Non-destructive Depth-Dependent Crossover for Genetic Programming , 1998, EuroGP.

[10]  Alfonso Ortega,et al.  Attribute Grammar Evolution , 2005, IWINAC.

[11]  José R. Álvarez,et al.  Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II , 2005, IWINAC.

[12]  Nguyen Xuan Hoai,et al.  Solving the symbolic regression problem with tree-adjunct grammar guided genetic programming: the comparative results , 2002, Proceedings of the 2002 Congress on Evolutionary Computation. CEC'02 (Cat. No.02TH8600).

[13]  Rajeev Alur,et al.  A Temporal Logic of Nested Calls and Returns , 2004, TACAS.

[14]  Colin G. Johnson Deriving Genetic Programming Fitness Properties by Static Analysis , 2002, EuroGP.

[15]  Kalyanmoy Deb,et al.  Self-Adaptation in Real-Parameter Genetic Algorithms with Simulated Binary Crossover , 1999, GECCO.

[16]  Nicholas Freitag McPhee,et al.  Semantic Building Blocks in Genetic Programming , 2008, EuroGP.

[17]  Doron A. Peled,et al.  Model Checking-Based Genetic Programming with an Application to Mutual Exclusion , 2008, TACAS.

[18]  Conor Ryan,et al.  On the constructiveness of context-aware crossover , 2007, GECCO '07.

[19]  Nguyen Xuan Hoai,et al.  A Brief Overview of Population Diversity Measures in Genetic Programming , 2006 .

[20]  Conor Ryan,et al.  A Less Destructive, Context-Aware Crossover Operator for GP , 2006, EuroGP.

[21]  Nguyen Xuan Hoai,et al.  A New Method for Simplifying Algebraic Expressions in Genetic Programming Called Equivalent Decision Simplification , 2009, J. Adv. Comput. Intell. Intell. Informatics.

[22]  Graham Kendall,et al.  Diversity in genetic programming: an analysis of measures and correlation with fitness , 2004, IEEE Transactions on Evolutionary Computation.

[23]  Jens Gottlieb,et al.  Evolutionary Computation in Combinatorial Optimization , 2006, Lecture Notes in Computer Science.

[24]  Colin G. Johnson What can automatic programming learn from theoretical computer science , 2002 .

[25]  Una-May O’Reilly Using a distance metric on genetic programs to understand genetic operators , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[26]  Colin G. Johnson,et al.  Semantically driven crossover in genetic programming , 2008, 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence).

[27]  Michael O'Neill,et al.  Semantic Aware Crossover for Genetic Programming: The Case for Real-Valued Function Regression , 2009, EuroGP.