Automation of Mathematical Induction as part of the History of Logic.
J Strother MooreClaus-Peter WirthPublished in: CoRR (2013)
Keyphrases
- computer algebra
- logic programming
- classical logic
- intuitionistic logic
- proof search
- mathematical theory
- formal logic
- predicate logic
- inductive learning
- probabilistic logic
- sound and complete axiomatization
- human reasoning
- multi valued
- automated reasoning
- theorem proving
- inductive inference
- machine learning
- genetic algorithm
- proof planning
- artificial intelligence
- program synthesis
- abductive reasoning
- constructive induction
- digital circuits
- expressive power
- inductive logic programming
- first order logic
- logic programs
- search engine
- set theory
- logical framework
- data sets
- explanation based learning