- Tytuł:
- Implementing Natural Language Inference for comparatives
- Autorzy:
-
Haruta, Izumi
Mineshima, Koji
Bekki, Daisuke - Powiązania:
- https://bibliotekanauki.pl/articles/24201228.pdf
- Data publikacji:
- 2022
- Wydawca:
- Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
- Tematy:
-
comparatives
compositional semantics
theorem proving
Combinatory Categorial Grammar
Natural Language Inference - Opis:
- This paper presents a computational framework for Natural Language Inference (NLI) using logic-based semantic representations and theorem-proving. We focus on logical inferences with comparatives and other related constructions in English, which are known for their structural complexity and difficulty in performing efficient reasoning. Using the so-called A-not-A analysis of comparatives, we implement a fully automated system to map various comparative constructions to semantic representations in typed first-order logic via Combinatory Categorial Grammar parsers and to prove entailment relations via a theorem prover. We evaluate the system on a variety of NLI benchmarks that contain challenging inferences, in comparison with other recent logic-based systems and neural NLI models.
- Źródło:
-
Journal of Language Modelling; 2022, 10, 1; 139--191
2299-856X
2299-8470 - Pojawia się w:
- Journal of Language Modelling
- Dostawca treści:
- Biblioteka Nauki
Artykuł