Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic.
Hongbiao GaoJingde ChengPublished in: ACIIDS (2) (2017)
Keyphrases
- digital topology
- case study
- knowledge representation
- spatial reasoning
- intuitionistic logic
- reasoning systems
- computer aided
- test bed
- data sets
- semi automated
- reasoning process
- automated analysis
- user defined
- classification rules
- qualitative reasoning
- analogical reasoning
- data structure
- deductive reasoning
- neural network