Evolution of Digital Logic Functionality via a Genetic Algorithm
Christopher M. FrenzSteve PetersWilson JulienPublished in: CoRR (2009)
Keyphrases
- genetic algorithm
- fitness function
- evolution process
- evolutionary process
- modal logic
- predicate logic
- logic programming
- multi valued
- metaheuristic
- genetic programming
- simulated annealing
- multi objective
- proof theory
- evolutionary computation
- digital content
- fuzzy logic
- deontic logic
- natural selection
- neural network
- multi population
- automated reasoning
- mutation operator
- crossover operator
- multi objective optimization
- hybrid algorithm
- genetic algorithm ga
- digital libraries