Natural Language Proof Explanation.
Armin FiedlerPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- natural language
- cost based abduction
- natural language interface
- mathematical proofs
- natural language processing
- semantic interpretation
- machine learning
- website
- knowledge representation
- natural language understanding
- language processing
- semantic analysis
- theorem prover
- counter intuitive
- theorem proving
- machine translation
- question answering
- information extraction
- belief revision
- semantic representation
- natural language generation
- linear logic
- data sets
- real time
- probabilistic model
- data structure
- language understanding
- abductive reasoning
- neural network
- generating explanations
- databases