ABSTRACT
The use of semantic information in genetic programming operators has shown major improvements in recent years, especially in the regression and boolean domain. As semantic information is domain specific, using it in other areas poses certain problems. Semantic operators require being adapted for the problem domain they are applied to. An attempt to create a semantic crossover for program synthesis has been made with rather limited success, but the results have provided insights about using semantics in program synthesis. Based on this initial attempt, this paper presents an improved version of semantic operators for program synthesis, which contains a small but significant change to the overall functionality, as well as a novel measure for the comparison of the semantics of subtrees. The results show that the improved semantic crossover is superior to the previous semantic operator in the program synthesis domain.
- Lawrence Beadle and Colin Johnson. 2008. Semantically Driven Crossover in Genetic Programming. In Proceedings of the IEEE World Congress on Computational Intelligence, Jim Wang (Ed.). IEEE Computational Intelligence Society, IEEE Press, Hong Kong, 111--116. https://doi.org/ Google ScholarDigital Library
- L. Beadle and C.G. Johnson. 2009. Semantically driven mutation in genetic programming. In Evolutionary Computation, 2009. CEC '09. IEEE Congress on. 1336--1342. Google ScholarDigital Library
- Stefan Forstenlechner. 2016. Github repository: HeuristicLab.CFGGP: Provides Context Free Grammar Problems for HeuristicLab. (2016). https://github.com/t-h-e/HeuristicLab.CFGGP {Online; accessed 14-November-2016}.Google Scholar
- Stefan Forstenlechner, David Fagan, Miguel Nicolau, and Michael O'Neill. 2017. A Grammar Design Pattern for Arbitrary Program Synthesis Problems in Genetic Programming. Springer International Publishing, Cham, 262--277.Google Scholar
- Stefan Forstenlechner, David Fagan, Miguel Nicolau, and Michael O'Neill. 2017. Semantics-based Crossover for Program Synthesis in Genetic Programming. In Artificial Evolution, Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, and Marc Schoenauer (Eds.). Springer International Publishing, Cham. https://ea2017.inria.fr//EA2017_Proceedings_web_ISBN_978-2-9539267-7-4.pdfGoogle Scholar
- Stefan Forstenlechner, Miguel Nicolau, David Fagan, and Michael O'Neill. 2015. Introducing Semantic-Clustering Selection in Grammatical Evolution. In GECCO 2015 Semantic Methods in Genetic Programming (SMGP'15) Workshop, Colin Johnson, Krzysztof Krawiec, Alberto Moraglio, and Michael O'Neill (Eds.). ACM, Madrid, Spain, 1277--1284. https://doi.org/ Google ScholarDigital Library
- E. Galván-López, B. Cody-Kenny, L. Trujillo, and A. Kattan. 2013. Using semantics in the selection mechanism in Genetic Programming: A simple method for promoting semantic diversity. In Evolutionary Computation (CEC), 2013 IEEE Congress on. 2972--2979.Google Scholar
- Thomas Helmuth and Lee Spector. 2015. General Program Synthesis Benchmark Suite. In GECCO '15: Proceedings of the 2015 on Genetic and Evolutionary Computation Conference. ACM, Madrid, Spain, 1039--1046. https://doi.org/ Google ScholarDigital Library
- T. Helmuth, L. Spector, and J. Matheson. 2015. Solving Uncompromising Problems With Lexicase Selection. IEEE Transactions on Evolutionary Computation 19, 5 (Oct 2015), 630--643.Google ScholarDigital Library
- Nicholas Freitag McPhee, Brian Ohs, and Tyler Hutchison. 2008. Semantic Building Blocks in Genetic Programming. Springer Berlin Heidelberg, Berlin, Heidelberg, 134--145. Google ScholarDigital Library
- Alberto Moraglio, Krzysztof Krawiec, and Colin G. Johnson. 2012. Geometric Semantic Genetic Programming. In Parallel Problem Solving from Nature - PPSN XII, Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, and Mario Pavone (Eds.). Lecture Notes in Computer Science, Vol. 7491. Springer Berlin Heidelberg, 21--31. Google ScholarDigital Library
- Quang Uy Nguyen, Xuan Hoai Nguyen, and Michael O'Neill. 2009. Semantic Aware Crossover for Genetic Programming: The Case for Real-Valued Function Regression. In Proceedings of the 12th European Conference on Genetic Programming, EuroGP 2009 (LNCS), Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe De Falco, and Marc Ebner (Eds.), Vol. 5481. Springer, Tuebingen, 292--302. https://doi.org/ Google ScholarDigital Library
- Quang Uy Nguyen, Xuan Hoai Nguyen, and Michael O'Neill. 2009. Semantics based Mutation in Genetic Programming: The case for Real-valued Symbolic Regression. In 15th International Conference on Soft Computing, Mendel'09, R. Matousek and L. Nolle (Eds.). Brno, Czech Republic, 73--91. http://ncra.ucd.ie/papers/mendel2009SSM.pdfGoogle Scholar
- Quang Uy Nguyen, Xuan Hoai Nguyen, Michael O'Neill, R. I. McKay, and Edgar Galvan-Lopez. 2011. Semantically-based crossover in genetic programming: application to real-valued symbolic regression. Genetic Programming and Evolvable Machines 12, 2 (June 2011), 91--119. https://doi.org/ Google ScholarDigital Library
- Quang Uy Nguyen, Xuan Hoai Nguyen, Michael O'Neill, R. I. McKay, and Dao Ngoc Phong. 2013. On the roles of semantic locality of crossover in genetic programming. Information Sciences 235 (20 June 2013), 195--213. https://doi.org/ Google ScholarDigital Library
- Riccardo Poli, William B. Langdon, and Nicholas Freitag McPhee. 2008. A field guide to genetic programming. Published via http://lulu.com and freely available at http://www.gp-field-guide.org.uk. http://www.gp-field-guide.org.uk (With contributions by J. R. Koza). Google ScholarDigital Library
- Leonardo Vanneschi, Mauro Castelli, and Sara Silva. 2014. A survey of semantic methods in genetic programming. Genetic Programming and Evolvable Machines 15, 2 (2014), 195--214. Google ScholarDigital Library
- Stefan Wagner, Gabriel Kronberger, Andreas Beham, Michael Kommenda, Andreas Scheibenpflug, Erik Pitzer, Stefan Vonolfen, Monika Kofler, Stephan Winkler, Viktoria Dorfer, and Michael Affenzeller. 2014. Advanced Methods and Applications in Computational Intelligence. Topics in Intelligent Engineering and Informatics, Vol. 6. Springer, Chapter Architecture and Design of the HeuristicLab Optimization Environment, 197--261.Google Scholar
Index Terms
- Towards effective semantic operators for program synthesis in genetic programming
Recommendations
Semantic Genetic Programming
GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary ComputationSemantic genetic programming is a recent, rapidly growing trend in Genetic Programming (GP) that aims at opening the 'black box' of the evaluation function and make explicit use of more information on program behavior in the search. In the most common ...
New geometric semantic operators in genetic programming: perpendicular crossover and random segment mutation
GECCO '17: Proceedings of the Genetic and Evolutionary Computation Conference CompanionVarious geometric search operators have been developed to explore the behaviours of individuals in genetic programming (GP) for the sake of making the evolutionary process more effective. This work proposes two geometric search operators to fulfil the ...
Semantic enrichment for medical ontologies
The Unified Medical Language System (UMLS) contains two separate but interconnected knowledge structures, the Semantic Network (upper level) and the Metathesaurus (lower level). In this paper, we have attempted to work out better how the use of such a ...
Comments