• Corpus ID: 12141896

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 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

TLDR
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

TLDR
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

TLDR
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: Rational, evaluation and approaches

TLDR
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

TLDR
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

TLDR
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

TLDR
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.

Design and realization of a modular architecture for textual entailment

TLDR
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.

Learning Alignments and Leveraging Natural Logic

TLDR
An approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level is described, and a complementary semantic component based on natural logic shows an added gain of 3.13% accuracy on the RTE3 test set.

Different Models and Approaches of Textual Entailment Recognition

TLDR
Key ideas from the area of textual entailment recognition recognition are summarized by considering in turn the different recognition models according to the method which used, the result of each method and the strong and weakness of each methods.
...

References

SHOWING 1-10 OF 10 REFERENCES

Recognising Textual Entailment with Logical Inference

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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

TLDR
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