Logic Guided Genetic Algorithms (Student Abstract).
Dhananjay AshokJoseph ScottSebastian Johann WetzelMaysum PanjuVijay GaneshPublished in: AAAI (2021)
Keyphrases
- genetic algorithm
- learning environment
- knowledge level
- logic programming
- intelligent tutoring systems
- propositional dynamic logic
- neural network
- learning styles
- simulated annealing
- evolutionary algorithm
- multi objective
- fuzzy logic
- artificial neural networks
- high level
- classical logic
- high school students
- student model
- tutoring system
- modal logic
- fitness function
- metaheuristic
- genetic programming
- higher level
- evolutionary computation
- proof theory
- asynchronous circuits
- university level
- predicate logic
- multi valued
- learning process
- student learning
- affective states
- objective function
- particle swarm optimization
- population size
- genetic search
- high school
- tabu search
- differential evolution
- modular neural networks
- logic programs