Papers by Izumi Haruta
Logical Inferences with Comparatives and Generalized Quantifiers (2020.acl-srw)
Copied to clipboard
| Challenge: | Comparative constructions pose a challenge in Natural Language Inference (NLI) Comparatives interact with quantifiers, numerals, and lexical antonyms, but a logical inference system for comparatives has not been developed for the task. |
| Approach: | They propose a compositional semantics system that maps comparative constructions to semantic representations via combinatory categorial grammar parsers and integrates it with an automated theorem proving system. |
| Outcome: | The proposed system outperforms previous logic-based systems and deep learning models on three NLI datasets. |
Combining Event Semantics and Degree Semantics for Natural Language Inference (2020.coling-main)
Copied to clipboard
| Challenge: | formal semantics has been used to account for the semantics of verb phrases and adverbial modifiers . but it is not clear whether these independent theories can be combined and extended to cases in which the phenomena in question interact. |
| Approach: | They propose a logic-based NLI system that combines event semantics and degree semantics. |
| Outcome: | The proposed system achieves high accuracies on linguistically challenging datasets . the proposed system can handle various combinations of linguistic phenomena without compromise . |