Applying Genetic Programming to Bytecode and Assembly

Total Page:16

File Type:pdf, Size:1020Kb

Applying Genetic Programming to Bytecode and Assembly Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal Volume 1 Issue 2 Article 4 August 2014 Applying Genetic Programming to Bytecode and Assembly Eric Collom University of Minnesota, Morris Follow this and additional works at: https://digitalcommons.morris.umn.edu/horizons Part of the Programming Languages and Compilers Commons Recommended Citation Collom, Eric (2014) "Applying Genetic Programming to Bytecode and Assembly," Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal: Vol. 1 : Iss. 2 , Article 4. Available at: https://digitalcommons.morris.umn.edu/horizons/vol1/iss2/4 This Article is brought to you for free and open access by the Journals at University of Minnesota Morris Digital Well. It has been accepted for inclusion in Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal by an authorized editor of University of Minnesota Morris Digital Well. For more information, please contact [email protected]. Collom: Applying Genetic Programming to Bytecode and Assembly Applying Genetic Programming to Bytecode and Assembly Eric C. Collom University of Minnesota, Morris [email protected] ABSTRACT both Java bytecode and x86 assembly. Orlov and Sipper [6] Traditional genetic programming (GP) is typically not used focus on evolving simple programs as a whole while Schulte, to perform unrestricted evolution on entire programs at the et al., [7] focus on automated bug repair in programs. source code level. Instead, only small sections within pro- This paper is organized as follows: Section 2 covers the grams are usually evolved. Not being able to evolve whole background needed for understanding the application of GP programs is an issue since it limits the flexibility of what to bytecode and assembly. It contains information on Evo- can be evolved. Evolving programs in either bytecode or as- lutionary Computation (EC), Java bytecode, and the Java sembly language is a method that has been used to perform Virtual Machine. Section 3 describes the benefits of evolv- unrestricted evolution. This paper provides an overview of ing assembly and bytecode. Section 4 illustrates how Orlov applying genetic programming to Java bytecode and x86 as- and Sipper [6] evolved Java bytecode. Section 5 explores sembly. Two examples of how this method has been imple- how Schulte, et al., [7] evolved both x86 assembly and Java mented will be explored. We will also discuss experimental bytecode. Section 6 summarizes some of the experimental results that include evolving recursive functions and auto- results from [6] and [7]. Section 7 discusses possible future mated bug repair. work and ideas. Keywords 2. BACKGROUND evolutionary computation, x86 assembly code, Java byte- The components of EC and GP will be explored in this code, FINCH, automated bug repair section. Java bytecode and various details of the Java Vir- tual Machine (JVM) will also be discussed. We will only 1. INTRODUCTION address Java bytecode since knowledge of x86 assembly is not required in order to understand the research done by GP is a set of techniques used to automate computer prob- Schulte, et al., [7]. Also, throughout the rest of this paper, lem solving. This is done by evolving programs with an the term instruction-level code will be used when referring evolutionary algorithm (EA) that imitates natural selection to either Java bytecode or x86 assembly. in order to find a solution. Traditional GP has commonly been used to evolve specific parts of programs instead of full- 2.1 Evolutionary Computation fledged programs. This is because it is very hard to deal with EC is a field of computer science and artificial intelligence semantic constrains in source code. Source code is purely that is loosely based on evolutionary biology. EC imitates syntactical and does not represent the semantic constraints evolution through continuous optimization in order to solve of the language. However, if we would deal with these se- problems. Optimization in EC is driven by the selection mantic constraints it would allow for unrestricted evolution of more successful individuals. The representation of what and more flexibility in GP. Evolving bytecode and assem- an individual is depends on the problem being solved. For bly, instead of source code, is a method that allows for this example, it can be a string of bits, a parse tree, or a struc- flexibility. This is possible because bytecode and assembly tured object. In this paper, the individuals will be programs languages are less restrictive syntactically than source code. in Java bytecode and x86 assembly. We discuss this issue further in Section 3. The EC process is summarized in Figure 1. An initial pop- Orlov and Sipper [5] propose a method for applying GP to ulation of individuals is generated and a selection process is full-fledged programs that requires a program to be in Java used to choose the most fit individuals. The selection pro- bytecode. Schulte, et al., [7] apply a similar method with cess gives a fitness value, usually numerical, to each individ- ual which indicates how well it solves the specific problem. In many cases a higher fitness indicated a fitter individual. However, in some cases a fitness closer to zero can indicate a better fit individual. For example, if the fitness is the total This work is licensed under the Creative Commons Attribution- error of a possible solution, the closer the fitness is to zero Noncommercial-Share Alike 3.0 United States License. To view a copy the better. The most fit individuals are taken and modified of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/us/ or using genetic operators that imitate mutation and sexual re- send a letter to Creative Commons, 171 Second Street, Suite 300, San Fran- cisco, California, 94105, USA. production. A check is then done to see if any individuals UMM CSci Senior Seminar Conference, April 2014 Morris, MN. from the new population solve the desired problem. If not, Published by University of Minnesota Morris Digital Well, 2014 1 Scholarly Horizons: University of Minnesota, Morris Undergraduate Journal, Vol. 1, Iss. 2 [2014], Art. 4 Initial Bytecode Frame Population iload_1 0 1 2 Selection iload_2 ... 1 3 iadd Individuals ireturn Selected For Reproduction Operand Stack Genetic NO Operators Before After After iload_1 iload_1 iload_2 Offspring Population 3 (empty) 1 1 Problem After Solved? After iadd ireturn Yes 4 (empty) Return Solution Figure 2: In this example we are assuming that the frame already contains the local variables 1 and 3 to retain simplicity. When iload_1 is executed, it takes the element from the frame at index 1 and pushes Figure 1: The process of Evolutionary Computation it onto the stack. iload_2 does the same thing but with index 2. iadd pops two elements from the stack, the process of evolution is repeated until a solution is found which both must be of integer type, adds them and or until a predetermined number of generations is reached. then pushes the result to the stack. ireturn simply If the limit of generations is reached then the most fit indi- pops the stack and returns that element. vidual is returned. GP is a tool that uses the EC process to evolve programs. prefix is followed by the operation to be executed. A fashion in which GP selects individuals, for sexual repro- The opcodes used in this paper are: iconst_n, istore_n, duction, is through tournament selection. A certain number iload_n, iadd, isub, and ireturn. iconst_n pushes an of individuals are chosen for a simulated competition and the integer value of n on the stack. istore_n pops the stack individual with the highest fitness wins. That individual is and stores that value at index n on the local variable array then selected to be a parent. on the frame. iload_n takes the value of the element at One way sexual reproduction is simulated in GP is through index n on the array of local variables and pushes it to the the genetic operator called crossover. Crossover is the pro- stack. iadd pops two elements from the stack, adds them cess of taking two parent individuals and extracting a section and pushes the result to the stack. Similarly, isub pops of code from one and then replacing it with a section from two elements, subtracts the second element from the first the other program to form an offspring. Mutation is another element and pushes the result to the stack. ireturn simply genetic operator that is used to produce offspring. Mutation pops the stack and returns that value. performs random changes on a randomly chosen section of a program. 3. CONSTRAINTS AND BENEFITS 2.2 Java Bytecode and the JVM While it would be useful, it is difficult to evolve an en- Java bytecode is an \intermediate, platform-independent tire program in source code due to semantic constraints. representation" [5] of Java source code. However, \imple- This section will explore why it is difficult to deal with se- mentors of other languages can turn to the Java Virtual mantic constraints in source code and why it is easier at Machine as a delivery vehicle for their languages" [2]. A few the instruction-level. We will discuss some of the benefits examples of languages with which this has been done are that arise from being able to deal with these constraints and Scala, Groovy, Jython, Kawa, JavaFx Script, Clojure, Er- evolving at the instruction-level. jang, and JRuby. All these languages can be compiled to Java bytcode and be evolved at the instruction-level. 3.1 Source Code Constraints The JVM executes bytecode through a stack-based archi- There is a high risk of producing a non-compilable pro- tecture. Each method has a frame that contains an array gram when evolving programs at the source code level.
Recommended publications
  • Metaheuristics1
    METAHEURISTICS1 Kenneth Sörensen University of Antwerp, Belgium Fred Glover University of Colorado and OptTek Systems, Inc., USA 1 Definition A metaheuristic is a high-level problem-independent algorithmic framework that provides a set of guidelines or strategies to develop heuristic optimization algorithms (Sörensen and Glover, To appear). Notable examples of metaheuristics include genetic/evolutionary algorithms, tabu search, simulated annealing, and ant colony optimization, although many more exist. A problem-specific implementation of a heuristic optimization algorithm according to the guidelines expressed in a metaheuristic framework is also referred to as a metaheuristic. The term was coined by Glover (1986) and combines the Greek prefix meta- (metá, beyond in the sense of high-level) with heuristic (from the Greek heuriskein or euriskein, to search). Metaheuristic algorithms, i.e., optimization methods designed according to the strategies laid out in a metaheuristic framework, are — as the name suggests — always heuristic in nature. This fact distinguishes them from exact methods, that do come with a proof that the optimal solution will be found in a finite (although often prohibitively large) amount of time. Metaheuristics are therefore developed specifically to find a solution that is “good enough” in a computing time that is “small enough”. As a result, they are not subject to combinatorial explosion – the phenomenon where the computing time required to find the optimal solution of NP- hard problems increases as an exponential function of the problem size. Metaheuristics have been demonstrated by the scientific community to be a viable, and often superior, alternative to more traditional (exact) methods of mixed- integer optimization such as branch and bound and dynamic programming.
    [Show full text]
  • Genetic Programming: Theory, Implementation, and the Evolution of Unconstrained Solutions
    Genetic Programming: Theory, Implementation, and the Evolution of Unconstrained Solutions Alan Robinson Division III Thesis Committee: Lee Spector Hampshire College Jaime Davila May 2001 Mark Feinstein Contents Part I: Background 1 INTRODUCTION................................................................................................7 1.1 BACKGROUND – AUTOMATIC PROGRAMMING...................................................7 1.2 THIS PROJECT..................................................................................................8 1.3 SUMMARY OF CHAPTERS .................................................................................8 2 GENETIC PROGRAMMING REVIEW..........................................................11 2.1 WHAT IS GENETIC PROGRAMMING: A BRIEF OVERVIEW ...................................11 2.2 CONTEMPORARY GENETIC PROGRAMMING: IN DEPTH .....................................13 2.3 PREREQUISITE: A LANGUAGE AMENABLE TO (SEMI) RANDOM MODIFICATION ..13 2.4 STEPS SPECIFIC TO EACH PROBLEM.................................................................14 2.4.1 Create fitness function ..........................................................................14 2.4.2 Choose run parameters.........................................................................16 2.4.3 Select function / terminals.....................................................................17 2.5 THE GENETIC PROGRAMMING ALGORITHM IN ACTION .....................................18 2.5.1 Generate random population ................................................................18
    [Show full text]
  • A Hybrid LSTM-Based Genetic Programming Approach for Short-Term Prediction of Global Solar Radiation Using Weather Data
    processes Article A Hybrid LSTM-Based Genetic Programming Approach for Short-Term Prediction of Global Solar Radiation Using Weather Data Rami Al-Hajj 1,* , Ali Assi 2 , Mohamad Fouad 3 and Emad Mabrouk 1 1 College of Engineering and Technology, American University of the Middle East, Egaila 54200, Kuwait; [email protected] 2 Independent Researcher, Senior IEEE Member, Montreal, QC H1X1M4, Canada; [email protected] 3 Department of Computer Engineering, University of Mansoura, Mansoura 35516, Egypt; [email protected] * Correspondence: [email protected] or [email protected] Abstract: The integration of solar energy in smart grids and other utilities is continuously increasing due to its economic and environmental benefits. However, the uncertainty of available solar energy creates challenges regarding the stability of the generated power the supply-demand balance’s consistency. An accurate global solar radiation (GSR) prediction model can ensure overall system reliability and power generation scheduling. This article describes a nonlinear hybrid model based on Long Short-Term Memory (LSTM) models and the Genetic Programming technique for short-term prediction of global solar radiation. The LSTMs are Recurrent Neural Network (RNN) models that are successfully used to predict time-series data. We use these models as base predictors of GSR using weather and solar radiation (SR) data. Genetic programming (GP) is an evolutionary heuristic computing technique that enables automatic search for complex solution formulas. We use the GP Citation: Al-Hajj, R.; Assi, A.; Fouad, in a post-processing stage to combine the LSTM models’ outputs to find the best prediction of the M.; Mabrouk, E.
    [Show full text]
  • Long Term Memory Assistance for Evolutionary Algorithms
    mathematics Article Long Term Memory Assistance for Evolutionary Algorithms Matej Crepinšekˇ 1,* , Shih-Hsi Liu 2 , Marjan Mernik 1 and Miha Ravber 1 1 Faculty of Electrical Engineering and Computer Science, University of Maribor, 2000 Maribor, Slovenia; [email protected] (M.M.); [email protected] (M.R.) 2 Department of Computer Science, California State University Fresno, Fresno, CA 93740, USA; [email protected] * Correspondence: [email protected] Received: 7 September 2019; Accepted: 12 November 2019; Published: 18 November 2019 Abstract: Short term memory that records the current population has been an inherent component of Evolutionary Algorithms (EAs). As hardware technologies advance currently, inexpensive memory with massive capacities could become a performance boost to EAs. This paper introduces a Long Term Memory Assistance (LTMA) that records the entire search history of an evolutionary process. With LTMA, individuals already visited (i.e., duplicate solutions) do not need to be re-evaluated, and thus, resources originally designated to fitness evaluations could be reallocated to continue search space exploration or exploitation. Three sets of experiments were conducted to prove the superiority of LTMA. In the first experiment, it was shown that LTMA recorded at least 50% more duplicate individuals than a short term memory. In the second experiment, ABC and jDElscop were applied to the CEC-2015 benchmark functions. By avoiding fitness re-evaluation, LTMA improved execution time of the most time consuming problems F03 and F05 between 7% and 28% and 7% and 16%, respectively. In the third experiment, a hard real-world problem for determining soil models’ parameters, LTMA improved execution time between 26% and 69%.
    [Show full text]
  • A Genetic Programming-Based Low-Level Instructions Robot for Realtimebattle
    entropy Article A Genetic Programming-Based Low-Level Instructions Robot for Realtimebattle Juan Romero 1,2,* , Antonino Santos 3 , Adrian Carballal 1,3 , Nereida Rodriguez-Fernandez 1,2 , Iria Santos 1,2 , Alvaro Torrente-Patiño 3 , Juan Tuñas 3 and Penousal Machado 4 1 CITIC-Research Center of Information and Communication Technologies, University of A Coruña, 15071 A Coruña, Spain; [email protected] (A.C.); [email protected] (N.R.-F.); [email protected] (I.S.) 2 Department of Computer Science and Information Technologies, Faculty of Communication Science, University of A Coruña, Campus Elviña s/n, 15071 A Coruña, Spain 3 Department of Computer Science and Information Technologies, Faculty of Computer Science, University of A Coruña, Campus Elviña s/n, 15071 A Coruña, Spain; [email protected] (A.S.); [email protected] (A.T.-P.); [email protected] (J.T.) 4 Centre for Informatics and Systems of the University of Coimbra (CISUC), DEI, University of Coimbra, 3030-790 Coimbra, Portugal; [email protected] * Correspondence: [email protected] Received: 26 November 2020; Accepted: 30 November 2020; Published: 30 November 2020 Abstract: RealTimeBattle is an environment in which robots controlled by programs fight each other. Programs control the simulated robots using low-level messages (e.g., turn radar, accelerate). Unlike other tools like Robocode, each of these robots can be developed using different programming languages. Our purpose is to generate, without human programming or other intervention, a robot that is highly competitive in RealTimeBattle. To that end, we implemented an Evolutionary Computation technique: Genetic Programming.
    [Show full text]
  • Computational Creativity: Three Generations of Research and Beyond
    Computational Creativity: Three Generations of Research and Beyond Debasis Mitra Department of Computer Science Florida Institute of Technology [email protected] Abstract In this article we have classified computational creativity research activities into three generations. Although the 2. Philosophical Angles respective system developers were not necessarily targeting Philosophers try to understand creativity from the their research for computational creativity, we consider their works as contribution to this emerging field. Possibly, the historical perspectives – how different acts of creativity first recognition of the implication of intelligent systems (primarily in science) might have happened. Historical toward the creativity came with an AAAI Spring investigation of the process involved in scientific discovery Symposium on AI and Creativity (Dartnall and Kim, 1993). relied heavily on philosophical viewpoints. Within We have here tried to chart the progress of the field by philosophy there is an ongoing old debate regarding describing some sample projects. Our hope is that this whether the process of scientific discovery has a normative article will provide some direction to the interested basis. Within the computing community this question researchers and help creating a vision for the community. transpires in asking if analyzing and computationally emulating creativity is feasible or not. In order to answer this question artificial intelligence (AI) researchers have 1. Introduction tried to develop computing systems to mimic scientific One of the meanings of the word “create” is “to produce by discovery processes (e.g., BACON, KEKADA, etc. that we imaginative skill” and that of the word “creativity” is “the will discuss), almost since the beginning of the inception of ability to create,’ according to the Webster Dictionary.
    [Show full text]
  • Geometric Semantic Genetic Programming Algorithm and Slump Prediction
    Geometric Semantic Genetic Programming Algorithm and Slump Prediction Juncai Xu1, Zhenzhong Shen1, Qingwen Ren1, Xin Xie2, and Zhengyu Yang2 1 College of Water Conservancy and Hydropower Engineering, Hohai University, Nanjing 210098, China 2 Department of Electrical and Engineering, Northeastern University, Boston, MA 02115, USA ABSTRACT Research on the performance of recycled concrete as building material in the current world is an important subject. Given the complex composition of recycled concrete, conventional methods for forecasting slump scarcely obtain satisfactory results. Based on theory of nonlinear prediction method, we propose a recycled concrete slump prediction model based on geometric semantic genetic programming (GSGP) and combined it with recycled concrete features. Tests show that the model can accurately predict the recycled concrete slump by using the established prediction model to calculate the recycled concrete slump with different mixing ratios in practical projects and by comparing the predicted values with the experimental values. By comparing the model with several other nonlinear prediction models, we can conclude that GSGP has higher accuracy and reliability than conventional methods. Keywords: recycled concrete; geometric semantics; genetic programming; slump 1. Introduction The rapid development of the construction industry has resulted in a huge demand for concrete, which, in turn, caused overexploitation of natural sand and gravel as well as serious damage to the ecological environment. Such demand produces a large amount of waste concrete in construction, entailing high costs for dealing with these wastes 1-3. In recent years, various properties of recycled concrete were validated by researchers from all over the world to protect the environment and reduce processing costs.
    [Show full text]
  • A Genetic Programming Strategy to Induce Logical Rules for Clinical Data Analysis
    processes Article A Genetic Programming Strategy to Induce Logical Rules for Clinical Data Analysis José A. Castellanos-Garzón 1,2,*, Yeray Mezquita Martín 1, José Luis Jaimes Sánchez 3, Santiago Manuel López García 3 and Ernesto Costa 2 1 Department of Computer Science and Automatic, Faculty of Sciences, BISITE Research Group, University of Salamanca, Plaza de los Caídos, s/n, 37008 Salamanca, Spain; [email protected] 2 CISUC, Department of Computer Engineering, ECOS Research Group, University of Coimbra, Pólo II - Pinhal de Marrocos, 3030-290 Coimbra, Portugal; [email protected] 3 Instituto Universitario de Estudios de la Ciencia y la Tecnología, University of Salamanca, 37008 Salamanca, Spain; [email protected] (J.L.J.S.); [email protected] (S.M.L.G.) * Correspondence: [email protected] Received: 31 October 2020; Accepted: 26 November 2020; Published: 27 November 2020 Abstract: This paper proposes a machine learning approach dealing with genetic programming to build classifiers through logical rule induction. In this context, we define and test a set of mutation operators across from different clinical datasets to improve the performance of the proposal for each dataset. The use of genetic programming for rule induction has generated interesting results in machine learning problems. Hence, genetic programming represents a flexible and powerful evolutionary technique for automatic generation of classifiers. Since logical rules disclose knowledge from the analyzed data, we use such knowledge to interpret the results and filter the most important features from clinical data as a process of knowledge discovery. The ultimate goal of this proposal is to provide the experts in the data domain with prior knowledge (as a guide) about the structure of the data and the rules found for each class, especially to track dichotomies and inequality.
    [Show full text]
  • Evolving Evolutionary Algorithms Using Linear Genetic Programming
    Evolving Evolutionary Algorithms Using Linear Genetic Programming Mihai Oltean [email protected] Department of Computer Science, Babes¸-Bolyai University, Kogalniceanu 1, Cluj- Napoca 3400, Romania Abstract A new model for evolving Evolutionary Algorithms is proposed in this paper. The model is based on the Linear Genetic Programming (LGP) technique. Every LGP chro- mosome encodes an EA which is used for solving a particular problem. Several Evolu- tionary Algorithms for function optimization, the Traveling Salesman Problem and the Quadratic Assignment Problem are evolved by using the considered model. Numeri- cal experiments show that the evolved Evolutionary Algorithms perform similarly and sometimes even better than standard approaches for several well-known benchmark- ing problems. Keywords Genetic algorithms, genetic programming, linear genetic programming, evolving evo- lutionary algorithms 1 Introduction Evolutionary Algorithms (EAs) (Goldberg, 1989; Holland, 1975) are new and powerful tools used for solving difficult real-world problems. They have been developed in or- der to solve some real-world problems that the classical (mathematical) methods failed to successfully tackle. Many of these unsolved problems are (or could be turned into) optimization problems. The solving of an optimization problem means finding solu- tions that maximize or minimize a criteria function (Goldberg, 1989; Holland, 1975; Yao et al., 1999). Many Evolutionary Algorithms have been proposed for dealing with optimization problems. Many solution representations
    [Show full text]
  • Genetic Programming for Julia: Fast Performance and Parallel Island Model Implementation
    Genetic Programming for Julia: fast performance and parallel island model implementation Morgan R. Frank November 30, 2015 Abstract I introduce a Julia implementation for genetic programming (GP), which is an evolutionary algorithm that evolves models as syntax trees. While some abstract high-level genetic algorithm packages, such as GeneticAlgorithms.jl, al- ready exist for Julia, this package is not optimized for genetic programming, and I provide a relatively fast implemen- tation here by utilizing the low-level Expr Julia type. The resulting GP implementation has a simple programmatic interface that provides ample access to the parameters controlling the evolution. Finally, I provide the option for the GP to run in parallel using the highly scalable ”island model” for genetic algorithms, which has been shown to improve search results in a variety of genetic algorithms by maintaining solution diversity and explorative dynamics across the global population of solutions. 1 Introduction be inflexible when attempting to handle diverse problems. Julia’s easy vectorization, access to low-level data types, Evolving human beings and other complex organisms and user-friendly parallel implementation make it an ideal from single-cell bacteria is indeed a daunting task, yet bi- language for developing a GP for symbolic regression. ological evolution has been able to provide a variety of Finally, I will discuss a powerful and widely used solutions to the problem. Evolutionary algorithms [1–3] method for utilizing multiple computing cores to improve refers to a field of algorithms that solve problems by mim- solution discovery using evolutionary algorithms. Since icking the structure and dynamics of genetic evolution.
    [Show full text]
  • Basic Concepts of Linear Genetic Programming
    Chapter 2 BASIC CONCEPTS OF LINEAR GENETIC PROGRAMMING In this chapter linear genetic programming (LGP) will be explored in further detail. The basis of the specific linear GP variant we want to investigate in this book will be described, in particular the programming language used for evolution, the representation of individuals, and the spe- cific evolutionary algorithm employed. This will form the core of our LGP system, while fundamental concepts of linear GP will also be discussed, including various forms of program execution. Linear GP operates with imperative programs. All discussions and ex- periments in this book are conducted independently from a special type of programming language or processor architecture. Even though genetic programs are interpreted and partly noted in the high-level language C, the applied programming concepts exist principally in or may be trans- lated into most modern imperative programming languages, down to the level of machine languages. 2.1 Representation of Programs The imperative programming concept is closely related to the underlying machine language, in contrast to the functional programming paradigm. All modern CPUs are based on the principle of the von Neumann archi- tecture, a computing machine composed of a set of registers and basic instructions that operate and manipulate their content. A program of such a register machine, accordingly, denotes a sequence of instructions whose order has to be respected during execution. 14 Linear Genetic Programming void gp(r) double r[8]; { ... r[0] = r[5] + 71; // r[7] = r[0] - 59; if (r[1] > 0) if (r[5] > 2) r[4] = r[2] * r[1]; // r[2] = r[5] + r[4]; r[6] = r[4] * 13; r[1] = r[3] / 2; // if (r[0] > r[1]) // r[3] = r[5] * r[5]; r[7] = r[6] - 2; // r[5] = r[7] + 15; if (r[1] <= r[6]) r[0] = sin(r[7]); } Example 2.1.
    [Show full text]
  • Meta-Genetic Programming: Co-Evolving the Operators of Variation
    Meta-Genetic Programming: Co-evolving the Operators of Variation Bruce Edmonds, Centre for Policy Modelling, Manchester Metropolitan University, Aytoun Building, Aytoun Street, Manchester, M1 3GH, UK. Tel: +44 161 247 6479 Fax: +44 161 247 6802 E-mail: [email protected] URL: http://www.fmb.mmu.ac.uk/~bruce Abstract The standard Genetic Programming approach is augmented by co-evolving the genetic operators. To do this the operators are coded as trees of inde®nite length. In order for this technique to work, the language that the operators are de®ned in must be such that it preserves the variation in the base population. This technique can varied by adding further populations of operators and changing which populations act as operators for others, including itself, thus to provide a framework for a whole set of augmented GP techniques. The technique is tested on the parity problem. The pros and cons of the technique are discussed. Keywords genetic programming, automatic programming, genetic operators, co-evolution Meta-Genetic Programming 1. Introduction Evolutionary algorithms are relatively robust over many problem domains. It is for this reason that they are often chosen for use where there is little domain knowledge. However for particular problem domains their performance can often be improved by tuning the parameters of the algorithm. The most studied example of this is the ideal mix of crossover and mutation in genetic algorithms. One possible compromise in this regard is to let such parameters be adjusted (or even evolve) along with the population of solutions so that the general performance can be improved without losing the generality of the algorithm1.
    [Show full text]