Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles.
David OranchakPublished in: EvoApplications (1) (2010)
Keyphrases
- evolutionary algorithm
- multi objective
- evolutionary computation
- multi objective optimization
- fitness function
- genetic algorithm
- differential evolution
- genetic programming
- optimization problems
- logic programming
- mutation operator
- classical logic
- simulated annealing
- genetic operators
- modal logic
- function optimization
- constraint satisfaction
- predicate logic
- educational games
- knowledge base
- proof theory
- sound and complete axiomatization
- database
- nonmonotonic logics
- evolutionary process
- video games
- neural network