Multiplicative-Additive Focusing for Parsing as Deduction.
Glyn MorrillOriol ValentínPublished in: WoF'15 (2015)
Keyphrases
- inference rules
- natural language processing
- intermediate representation
- natural language parsing
- speech understanding
- pattern matching
- theorem proving
- additive model
- decision trees
- dependency parsing
- context free grammars
- natural language
- theorem prover
- error recovery
- automated deduction
- unsupervised learning
- objective function