When logical inference helps determining textual entailment ( and when it doesn ’ t )
@inproceedings{BosWhenLI, title={When logical inference helps determining textual entailment ( and when it doesn ’ t )}, author={Johan Bos and K. Markert} }
We compare and combine two methods to approach the second textual entailment challenge (RTE-2): a shallow method based mainly on word-overlap and a method based on logical inference, using first-order theorem proving and model building techniques. We use a machine learning technique to combine features of both methods. We submitted two runs, one using only the shallow features, yielding an accuracy of 61.6%, and one using features of both methods, performing with an accuracy score of 60.6… CONTINUE READING
Tables from this paper
Tables
76 Citations
Recognizing Textual Entailment with Deep-Shallow Semantic Analysis and Logical Inference
- Computer Science
- 2010
- 4
Combining Theorem Proving with Natural Language Processing
- Mathematics, Computer Science
- PAAR/ESHOL
- 2008
- 8
- PDF
Component-Based Textual Entailment: a Modular and Linguistically-Motivated Framework for Semantic Inferences
- Computer Science
- 2011
- PDF
Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment
- Computer Science
- Computación y Sistemas
- 2018
- PDF
A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
- Computer Science
- ArXiv
- 2013
- 3
- PDF
References
SHOWING 1-10 OF 10 REFERENCES
Representation and Inference for Natural Language: A First Course in Computational Semantics
- Computer Science
- Computational Linguistics
- 2006
- 284
- PDF
Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language
- Computer Science, Mathematics
- Stud Logica
- 2007
- 114
Data Mining Practical Machine Learning Tools And Techniques With Java Implementations
- Computer Science
- 2016
- 394
- Highly Influential
Automatic Proofs and Counterexamples for Some Ortholattice Identities
- Computer Science
- Inf. Process. Lett.
- 1998
- 38
From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT
- Kluwer, Dordrecht.
- 1993