@article{Haruta_Mineshima_Bekki_2022, title={Implementing Natural Language Inference for comparatives}, volume={10}, url={https://jlm.ipipan.waw.pl/index.php/JLM/article/view/294}, DOI={10.15398/jlm.v10i1.294}, abstractNote={<p>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.</p>}, number={1}, journal={Journal of Language Modelling}, author={Haruta, Izumi and Mineshima, Koji and Bekki, Daisuke}, year={2022}, month={Nov.}, pages={139–191} }