Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/3377930.3390188acmconferencesArticle/Chapter ViewAbstractPublication PagesgeccoConference Proceedingsconference-collections
research-article

Semantically-oriented mutation operator in cartesian genetic programming for evolutionary circuit design

Published: 26 June 2020 Publication History

Abstract

Despite many successful applications, Cartesian Genetic Programming (CGP) suffers from limited scalability, especially when used for evolutionary circuit design. Considering the multiplier design problem, for example, the 5×5-bit multiplier represents the most complex circuit evolved from a randomly generated initial population. The efficiency of CGP highly depends on the performance of the point mutation operator, however, this operator is purely stochastic. This contrasts with the recent developments in Genetic Programming (GP), where advanced informed approaches such as semantic-aware operators are incorporated to improve the search space exploration capability of GP. In this paper, we propose a semantically-oriented mutation operator (SOMO) suitable for the evolutionary design of combinational circuits. SOMO uses semantics to determine the best value for each mutated gene. Compared to the common CGP and its variants as well as the recent versions of Semantic GP, the proposed method converges on common Boolean benchmarks substantially faster while keeping the phenotype size relatively small. The successfully evolved instances presented in this paper include 10-bit parity, 10+10-bit adder and 5×5-bit multiplier. The most complex circuits were evolved in less than one hour with a single-thread implementation running on a common CPU.

References

[1]
L. Beadle and C. G. Johnson. 2009. Semantically driven mutation in genetic programming. In 2009 IEEE Congress on Evolutionary Computation. 1336--1342.
[2]
Mauro Castelli, Sara Silva, and Leonardo Vanneschi. 2015. A C++ framework for geometric semantic genetic programming. Genetic Programming and Evolvable Machines 16, 1 (01 Mar 2015), 73--81.
[3]
Janet Clegg, James Alfred Walker, and Julian Frances Miller. 2007. A New Crossover Technique for Cartesian Genetic Programming. In Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (London, England) (GECCO '07). Association for Computing Machinery, New York, NY, USA, 1580--1587.
[4]
Coello Carlos A. Coello, A. D. Christiansen, and A. Hernández Aguirre. 1998. Automated Design of Combinational Logic Circuits by Genetic Algorithms. In Artificial Neural Nets and Genetic Algorithms: Proceedings of the International Conference in Norwich, U.K., 1997. Springer Vienna, Vienna, 333--336.
[5]
J. E. da Silva and H. S. Bernardino. 2018. Cartesian Genetic Programming with Crossover for Designing Combinational Logic Circuits. In 2018 7th Brazilian Conference on Intelligent Systems (BRACIS). 145--150.
[6]
José Eduardo H. da Silva, Lucas A. M. de Souza, and Heder S. Bernardino. 2019. Cartesian Genetic Programming with Guided and Single Active Mutations for Designing Combinational Logic Circuits. In Machine Learning, Optimization, and Data Science, Giuseppe Nicosia, Panos Pardalos, Renato Umeton, Giovanni Giuffrida, and Vincenzo Sciacca (Eds.). Springer International Publishing, Cham, 396--408.
[7]
Robyn Ffrancon and Marc Schoenauer. 2015. Memetic Semantic Genetic Programming. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (Madrid, Spain) (GECCO '15). Association for Computing Machinery, New York, NY, USA, 1023--1030.
[8]
B.W. Goldman and W.F. Punch. 2013. Reducing wasted evaluations in cartesian genetic programming. Lecture Notes in Computer Science 7831 LNCS (2013), 61--72.
[9]
Brian W Goldman and William F Punch. 2013. Length bias and search limitations in Cartesian genetic programming. In Proceedings of the 15th annual conference on Genetic and Evolutionary Computation. 933--940.
[10]
B. W. Goldman and W. F. Punch. 2015. Analysis of Cartesian Genetic Programming's Evolutionary Mechanisms. IEEE Transactions on Evolutionary Computation 19, 3 (June 2015), 359--373.
[11]
Radek Hrbacek and Lukas Sekanina. 2014. Towards Highly Optimized Cartesian Genetic Programming: From Sequential via SIMD and Thread to Massive Parallel Implementation. In Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation (Vancouver, BC, Canada) (GECCO '14). Association for Computing Machinery, New York, NY, USA, 1015--1022.
[12]
John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA.
[13]
Joao Francisco B. S. Martins, Luiz Otavio V. B. Oliveira, Luis F. Miranda, Felipe Casadei, and Gisele L. Pappa. 2018. Solving the Exponential Growth of Symbolic Regression Trees in Geometric Semantic Genetic Programming. In Proceedings of the Genetic and Evolutionary Computation Conference (Kyoto, Japan) (GECCO '18). Association for Computing Machinery, New York, NY, USA, 1151--1158.
[14]
J. Miller and P. Thomson. 2000. Cartesian Genetic Programming. In Proc. of the 3rd European Conference on Genetic Programming EuroGP2000 (LNCS), Vol. 1802. Springer, 121--132.
[15]
Julian Francis Miller. 2019. Cartesian genetic programming: its status and future. Genetic Programming and Evolvable Machines (06 Aug 2019).
[16]
Julian F. Miller, Dominic Job, and Vesselin K. Vassilev. 2000. Principles in the Evolutionary Design of Digital Circuits - Part II. Genetic Programming and Evolvable Machines 1, 3 (2000), 259--288.
[17]
Julian F. Miller and Peter Thomson. 2000. Cartesian Genetic Programming. In Genetic Programming. Springer Berlin Heidelberg.
[18]
J. F. Miller, P. Thomson, and T. Fogarty. 1998. Designing Electronic Circuits Using Evolutionary Algorithms. Arithmetic Circuits: A Case Study. Wiley, 105--131.
[19]
Alberto Moraglio and Krzysztof Krawiec. 2017. Geometric Semantic Genetic Programming for Recursive Boolean Programs. In Proceedings of the Genetic and Evolutionary Computation Conference (Berlin, Germany) (GECCO '17). Association for Computing Machinery, New York, NY, USA, 993--1000.
[20]
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.). Springer Berlin Heidelberg, Berlin, Heidelberg, 21--31.
[21]
Tomasz P. Pawlak and Krzysztof Krawiec. 2018. Competent Geometric Semantic Genetic Programming for Symbolic Regression and Boolean Function Synthesis. Evolutionary Computation 26, 2 (2018), 177--212.
[22]
Lukas Sekanina. 2017. Approximate Computing: An Old Job for Cartesian Genetic Programming? In Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday, Susan Stepney and Andrew Adamatzky (Eds.). Emergence, Complexity and Computation, Vol. 28. Springer, Chapter 9, 195--212. https://doi.org/
[23]
Karel Slany and Lukas Sekanina. 2007. Fitness Landscape Analysis and Image Filter Evolution Using Functional-Level CGP. In Proc. of European Conf. on Genetic Programming (LNCS), Vol. 4445. Springer-Verlag, 311--320.
[24]
Zdenek Vasicek. 2015. Cartesian GP in Optimization of Combinational Circuits with Hundreds of Inputs and Thousands of Gates. In EuroGP'15 (Berlin, DE) (LCNS 9025). Springer International Publishing, 139--150.
[25]
Zdenek Vasicek. 2017. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. In Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday, Susan Stepney and Andrew Adamatzky (Eds.). Emergence, Complexity and Computation, Vol. 28. Springer, Chapter 2, 39--55. https://doi.org/
[26]
Zdenek Vasicek and Lukas Sekanina. 2014. How to Evolve Complex Combinational Circuits From Scratch?. In 2014 IEEE International Conference on Evolvable Systems Proceedings. IEEE, 133--140.
[27]
Zdenek Vasicek and Karel Slany. 2012. Efficient Phenotype Evaluation in Cartesian Genetic Programming. In Proc. of the 15th European Conference on Genetic Programming (LNCS 7244). Springer Verlag, 266--278.
[28]
Vesselin K. Vassilev and Julian F. Miller. 2000. The Advantages of Landscape Neutrality in Digital Circuit Evolution. In Evolvable Systems: From Biology to Hardware, Julian Miller, Adrian Thompson, Peter Thomson, and Terence C. Fogarty (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 252--263.

Cited By

View all
  • (2024)Tree-Based Genetic Programming for Evolutionary Analog Circuit with Approximate Shapley ValueArtificial Intelligence XLI10.1007/978-3-031-77915-2_18(253-267)Online publication date: 29-Nov-2024
  • (2023)Evolving Multi-Output Digital Circuits Using Multi-Genome Grammatical EvolutionAlgorithms10.3390/a1608036516:8(365)Online publication date: 28-Jul-2023
  • (2023)General Boolean Function Benchmark SuiteProceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms10.1145/3594805.3607131(84-95)Online publication date: 30-Aug-2023
  • Show More Cited By
  1. Semantically-oriented mutation operator in cartesian genetic programming for evolutionary circuit design

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference
    June 2020
    1349 pages
    ISBN:9781450371285
    DOI:10.1145/3377930
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 26 June 2020

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. cartesian genetic programming
    2. evolutionary circuit design
    3. semantic mutation
    4. semantic operator

    Qualifiers

    • Research-article

    Conference

    GECCO '20
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)30
    • Downloads (Last 6 weeks)7
    Reflects downloads up to 14 Dec 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Tree-Based Genetic Programming for Evolutionary Analog Circuit with Approximate Shapley ValueArtificial Intelligence XLI10.1007/978-3-031-77915-2_18(253-267)Online publication date: 29-Nov-2024
    • (2023)Evolving Multi-Output Digital Circuits Using Multi-Genome Grammatical EvolutionAlgorithms10.3390/a1608036516:8(365)Online publication date: 28-Jul-2023
    • (2023)General Boolean Function Benchmark SuiteProceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms10.1145/3594805.3607131(84-95)Online publication date: 30-Aug-2023
    • (2023)Towards a General Boolean Function Benchmark SuiteProceedings of the Companion Conference on Genetic and Evolutionary Computation10.1145/3583133.3590685(591-594)Online publication date: 15-Jul-2023
    • (2023)Zigzag mutation: a new mutation operator to improve the genetic algorithmMultimedia Tools and Applications10.1007/s11042-023-15518-382:29(45411-45432)Online publication date: 1-May-2023
    • (2023)An adaptive mutation for cartesian genetic programming using an $$\epsilon $$-greedy strategyApplied Intelligence10.1007/s10489-023-04951-453:22(27290-27303)Online publication date: 7-Sep-2023
    • (2022)Grammatical Evolution of Complex Digital Circuits in SystemVerilogSN Computer Science10.1007/s42979-022-01045-93:3Online publication date: 12-Mar-2022
    • (2021)Accuracy and Size Trade-off of a Cartesian Genetic Programming Flow for Logic Optimization2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI)10.1109/SBCCI53441.2021.9529968(1-6)Online publication date: 23-Aug-2021
    • (2021)Semantically-oriented mutation operator in cartesian genetic programming for evolutionary circuit designGenetic Programming and Evolvable Machines10.1007/s10710-021-09416-6Online publication date: 2-Oct-2021
    • (2021)On the Analysis of CGP Mutation Operators When Inferring Gene Regulatory Networks Using ScRNA-Seq Time Series DataIntelligent Systems10.1007/978-3-030-91702-9_18(264-279)Online publication date: 28-Nov-2021
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media