Publication Details
Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design
Cartesian genetic programming, semantic operator, semantic mutation, evolutionary
circuit design
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.
@inproceedings{BUT168122,
author="David {Hodaň} and Vojtěch {Mrázek} and Zdeněk {Vašíček}",
title="Semantically-Oriented Mutation Operator in Cartesian Genetic Programming for Evolutionary Circuit Design",
booktitle="GECCO 2020 - Proceedings of the 2020 Genetic and Evolutionary Computation Conference",
year="2020",
pages="940--948",
publisher="Association for Computing Machinery",
address="Cancún",
doi="10.1145/3377930.3390188",
isbn="978-1-4503-7128-5",
url="http://arxiv.org/abs/2004.11018"
}