Towards United Reasoning for Automatic Induction in Isabelle/HOL.
Yutaka NagashimaPublished in: CoRR (2020)
Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- proof planning
- proof search
- reasoning systems
- inductive reasoning
- semi automatic
- theorem proving
- inference rules
- neural network
- fully automatic
- first order logic
- meta level
- knowledge representation
- machine learning
- analogical reasoning
- database
- higher order logic
- concept formation
- uncertain information
- reasoning process
- probabilistic reasoning
- knowledge base
- genetic algorithm