Induction and inductive definitions in fragments of second order arithmetic.
Klaus AehligPublished in: J. Symb. Log. (2005)
Keyphrases
- inductive learning
- inductive concept learning
- functional programs
- inductive inference
- inductive logic programming
- inductive reasoning
- constructive induction
- machine learning
- concept learning
- higher order
- version spaces
- knowledge acquisition
- precise definition
- inductive bias
- high order
- case study
- data sets
- horizontal fragmentation
- arithmetic operations
- rule induction
- version space
- database
- databases
- directional derivatives
- search algorithm
- learning algorithm