• Corpus ID: 12141896

When logical inference helps determining textual entailment ( and when it doesn ’ t )

  title={When logical inference helps determining textual entailment ( and when it doesn ’ t )},
  author={Johan Bos and Katja 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… 

Tables from this paper

Semantic and Logical Inference Model for Textual Entailment
It is argued that the relation-based model offers better long-term prospects for entailment recognition than the compositional approach, which is based on identifying relations in the entailment pair.
Relation Alignment for Textual Entailment Recognition
An approach to textual entailment recognition is presented, in which inference is based on a shallow semantic representation of relations in the text and hypothesis of the entailment pair, and in which specialized knowledge is encapsulated in modular components with very simple interfaces.
Natural Logic for Textual Inference
This paper presents the first use of a computational model of natural logic---a system of logical inference which operates over natural language---for textual inference, and provides the first reported results for any system on the FraCaS test suite.
Recognizing Textual Entailment with Deep-Shallow Semantic Analysis and Logical Inference
The architecture and evaluation of a new system for recognizing textual entailment (RTE) is presented, conceived as an adaptable and modular system allowing for a high-coverage syntactic and semantic text analysis combined with logical inference.
Recognizing textual entailment: Rational, evaluation and approaches
This special issue of the JNLE provides an opportunity to showcase some of the most important work in this emerging area of textual entailment, particularly automatic acquisition of paraphrases and lexical semantic relationships and unsupervised inference in applications such as question answering, information extraction and summarization.
Combining Theorem Proving with Natural Language Processing
The LogAnswer system has integrated an automated theorem prover in a framework of natural language processing tools to allow for deductive reasoning over an extensive knowledge base derived from textual sources.
Component-Based Textual Entailment: a Modular and Linguistically-Motivated Framework for Semantic Inferences
A framework for component-based TE, where each component is in itself a complete TE system, able to address a TE task on a specific phenomenon in isolation, is proposed.
Automatic Theorem Proving for Natural Logic: a Case Study on Textual Entailment
This paper presents an Automatic Theorem Prover for Natural Logic that allows to know precisely the relationships needed in order to reach the entailment in a class of natural language expressions.
A Logic-based Approach for Recognizing Textual Entailment Supported by Ontological Background Knowledge
The architecture and the evaluation of a new system for recognizing textual entailment (RTE) are presented, allowing for a high-coverage syntactic and semantic text analysis combined with logical inference and showing that fine-grained and consistent knowledge coming from diverse sources is a necessary condition determining the correctness and traceability of results.
Design and realization of a modular architecture for textual entailment
The novel EXCITEMENT architecture, which was developed to enable and encourage the consolidation of methods and resources in the textual entailment area, decomposes RTE into components with strongly typed interfaces, and is available as open source software under the GNU General Public License.


Recognising Textual Entailment with Logical Inference
This work incorporates model building, a technique borrowed from automated reasoning, and shows that it is a useful robust method to approximate entailment, and uses machine learning to combine these deep semantic analysis techniques with simple shallow word overlap.
Towards Wide-Coverage Semantic Interpretation
Further developments in this work are discussed, generating semantic representations for sentences or small texts, showing how to calculate background knowledge required for reasoning, and performing inferences using state-of-the-art theorem provers and model builders.
The PASCAL Recognising Textual Entailment Challenge
This paper presents the Third PASCAL Recognising Textual Entailment Challenge (RTE-3), providing an overview of the dataset creating methodology and the submitted systems. In creating this year's
New Techniques that Improve MACE-style Finite Model Finding
A new method for finding finite models of unsorted first-order logic clause sets by using 4 novel techniques: term definitions, which reduce the number of variables in flattened clauses, incremental SAT, which enables reuse of search information between consecutive model sizes, static symmetry reduction, and sort inference, which allows the symmetry reduction to be applied at a finer grain.
Representation and Inference for Natural Language: A First Course in Computational Semantics
This book introduces fundamental techniques for computing semantic representations for fragments of natural language and performing inference with the result by using first-order logic and lambda calculus.
The design and implementation of VAMPIRE
This article describes VAMPIRE: a high-performance theorem prover for first-order logic and focuses on the design of the system and some key implementation features.
Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language
Data Mining Practical Machine Learning Tools And Techniques With Java Implementations
Thank you for reading data mining practical machine learning tools and techniques with java implementations, which help people find their favorite novels hundreds of times but end up in infectious downloads.
From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT
  • Kluwer, Dordrecht.
  • 1993