Mechanically certifying formula-based Noetherian induction reasoning.
Sorin StratulatPublished in: J. Symb. Comput. (2017)
Keyphrases
- inductive reasoning
- knowledge base
- reasoning tasks
- meta level
- reasoning systems
- reasoning process
- automated reasoning
- neural network
- knowledge representation
- inductive learning
- qualitative reasoning
- knowledge representation and reasoning
- spatial reasoning
- theorem prover
- concept formation
- logical formulas
- intuitionistic logic
- model based diagnosis
- concept learning
- genetic algorithm
- machine learning