Logic Guided Genetic Algorithms.
Dhananjay AshokJoseph ScottSebastian Johann WetzelMaysum PanjuVijay GaneshPublished in: CoRR (2020)
Keyphrases
- genetic algorithm
- classical logic
- artificial neural networks
- evolutionary computation
- neural network
- simulated annealing
- multi objective
- fuzzy logic
- evolutionary algorithm
- fitness function
- predicate logic
- deontic logic
- multi valued
- modal logic
- proof theory
- metaheuristic
- logic programming
- particle swarm optimization
- optimization problems
- nonmonotonic logics
- stochastic search algorithms
- sound and complete axiomatization
- linear logic
- defeasible logic
- computational properties
- artificial intelligence
- genetic operators
- differential evolution
- multi agent systems
- genetic programming