Determining Semantic Textual Similarity using Natural Deduction Proofs.
Hitomi YanakaKoji MineshimaPascual Martínez-GómezDaisuke BekkiPublished in: EMNLP (2017)
Keyphrases
- natural deduction
- semantic similarity
- theorem prover
- inference rules
- cut elimination
- theorem proving
- similarity measure
- natural language
- sequent calculus
- semantic similarity measure
- intuitionistic logic
- sentence similarity
- multimedia
- linear time temporal logic
- semantic information
- distance function
- co occurrence
- automated reasoning
- word similarity
- distance measure
- high level
- semantic annotation
- training data
- metadata