Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs.
Wenda LiLei YuYuhuai WuLawrence C. PaulsonPublished in: CoRR (2020)
Keyphrases
- high level
- mathematical proofs
- low level
- mathematical knowledge
- knowledge representation
- automated theorem provers
- causal reasoning
- low level features
- theorem prover
- reasoning tasks
- higher level
- cognitive processes
- human reasoning
- reasoning process
- abductive logic programming
- model construction
- probabilistic reasoning
- theorem proving
- natural language
- computer algebra
- formal proofs
- declarative language
- reasoning mechanisms
- knowledge base
- natural deduction
- declarative knowledge
- formal models
- reasoning systems
- logical framework
- qualitative reasoning
- conceptual model
- semantic information