Genetic Reasoning: Evolutionary Induction of Mathematical Proofs.
Peter NordinAnders ErikssonMats G. NordahlPublished in: EuroGP (1999)
Keyphrases
- mathematical proofs
- genetic algorithm
- cognitive processes
- theorem prover
- evolutionary computation
- genetic search
- rule induction
- natural language
- evolutionary optimization
- inductive learning
- human genome
- inductive inference
- artificial intelligence
- grammatical evolution
- linkage analysis
- constructive induction
- decision trees
- inductive logic programming
- probability distribution
- evolutionary algorithm