Implementing Natural Language Inference for comparatives
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 difficu...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Computer Science, Polish Academy of Sciences
2023-01-01
|
| Series: | Journal of Language Modelling |
| Subjects: | |
| Online Access: | https://jlm.ipipan.waw.pl/index.php/JLM/article/view/294 |
| _version_ | 1797958368057360384 |
|---|---|
| author | Izumi Haruta Koji Mineshima Daisuke Bekki |
| author_facet | Izumi Haruta Koji Mineshima Daisuke Bekki |
| author_sort | Izumi Haruta |
| collection | DOAJ |
| description |
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.
|
| first_indexed | 2024-04-11T00:17:52Z |
| format | Article |
| id | doaj.art-bd49152afabd40428b8aef9573d721cf |
| institution | Directory Open Access Journal |
| issn | 2299-856X 2299-8470 |
| language | English |
| last_indexed | 2024-04-11T00:17:52Z |
| publishDate | 2023-01-01 |
| publisher | Institute of Computer Science, Polish Academy of Sciences |
| record_format | Article |
| series | Journal of Language Modelling |
| spelling | doaj.art-bd49152afabd40428b8aef9573d721cf2023-01-08T16:13:01ZengInstitute of Computer Science, Polish Academy of SciencesJournal of Language Modelling2299-856X2299-84702023-01-0110110.15398/jlm.v10i1.294Implementing Natural Language Inference for comparativesIzumi Haruta0Koji Mineshima1Daisuke Bekki2Ochanomizu University, JapanKeio University, JapanOchanomizu University, Japan 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. https://jlm.ipipan.waw.pl/index.php/JLM/article/view/294comparativescompositional semanticstheorem provingCombinatory Categorial GrammarNatural Language Inference |
| spellingShingle | Izumi Haruta Koji Mineshima Daisuke Bekki Implementing Natural Language Inference for comparatives Journal of Language Modelling comparatives compositional semantics theorem proving Combinatory Categorial Grammar Natural Language Inference |
| title | Implementing Natural Language Inference for comparatives |
| title_full | Implementing Natural Language Inference for comparatives |
| title_fullStr | Implementing Natural Language Inference for comparatives |
| title_full_unstemmed | Implementing Natural Language Inference for comparatives |
| title_short | Implementing Natural Language Inference for comparatives |
| title_sort | implementing natural language inference for comparatives |
| topic | comparatives compositional semantics theorem proving Combinatory Categorial Grammar Natural Language Inference |
| url | https://jlm.ipipan.waw.pl/index.php/JLM/article/view/294 |
| work_keys_str_mv | AT izumiharuta implementingnaturallanguageinferenceforcomparatives AT kojimineshima implementingnaturallanguageinferenceforcomparatives AT daisukebekki implementingnaturallanguageinferenceforcomparatives |