| | |
Summary: Recognizing Textual Entailment Via Atomic
Propositions
Elena Akhmatova and Diego Moll´a
Centre for Language Technology, Division of Information and Communication
Sciences, Macquarie University, North Ryde, NSW2109, Australia
{elena, diego}@ics.mq.edu.au
Abstract. This paper describes Macquarie University's Centre for Lan-
guage Technology contribution to the PASCAL 2005 Recognizing Tex-
tual Entailment challenge. Our main aim was to test the practicability of
a purely logical approach. For this, atomic propositions were extracted
from both the text and the entailment hypothesis and they were ex-
pressed in a custom logical notation. The text entails the hypothesis if
every proposition of the hypothesis is entailed by some proposition in the
text. To extract the propositions and encode them into a logical notation
the system uses the output of Link Parser. To detect the independent
entailment relations the system relies on the use of Otter and WordNet.
1 Introduction
Despite its study for over two millennia, Natural language is still a complex and
somewhat mysterious system which does not stop to surprise us with its variety
of phenomena, and which provides scholars with new and interesting tasks to
|
