Proof by Induction Using Test Sets.
Deepak KapurPaliath NarendranHantao ZhangPublished in: CADE (1986)
Keyphrases
- test set
- proof planning
- proof search
- error rate
- training set
- test data
- theorem prover
- concept formation
- training data
- theorem proving
- test cases
- evaluation methodology
- inductive learning
- linear logic
- inference rules
- program synthesis
- text mining
- learning algorithm
- explanation based learning
- random selection
- natural deduction
- learning process