Genetic Algorithms for Extension Search in Default Logic
Pascal NicolasFrédéric SaubionIgor StéphanPublished in: CoRR (2000)
Keyphrases
- default logic
- default theories
- genetic algorithm
- autoepistemic logic
- logic programming
- nonmonotonic reasoning
- default reasoning
- nonmonotonic logics
- truth maintenance systems
- classical logic
- search space
- evolutionary algorithm
- answer set programming
- modal logic
- fixed point
- simulated annealing
- programming language
- defeasible logic
- machine learning