Using Deduction Techniques for Natural Language Understanding.
Michael KohlhasePublished in: ARW (2000)
Keyphrases
- natural language understanding
- text understanding
- knowledge representation
- semantic analysis
- natural language
- language understanding
- natural language processing
- theorem proving
- semantic representations
- inference rules
- dialogue system
- joint inference
- abductive reasoning
- spoken dialog systems
- databases
- chinese word segmentation
- theorem prover
- ground truth
- expert systems
- knowledge acquisition
- domain specific
- artificial intelligence