The Optimality of Induction as an Axiomatization of Arithmetic.
Daniel LeivantPublished in: J. Symb. Log. (1983)
Keyphrases
- inductive learning
- rule induction
- program synthesis
- optimal solution
- inductive logic programming
- situation calculus
- machine learning
- constructive induction
- concept formation
- inductive inference
- general theory
- arithmetic operations
- asymptotic optimality
- genetic algorithm
- sequence prediction
- databases
- integer linear programming formulation
- floating point
- exhaustive search
- evolutionary algorithm
- relational databases
- search algorithm
- objective function
- website
- artificial intelligence
- real world
- neural network