Ciclo de Seminários

RTE is a generic task that captures major semantic inference needs across many natural language processing applications such as Question Answering, Information Retrieval, Information Extraction, and Text Summarization. This task requires to recognize, given two text fragments, whether the meaning of one text is entailed (can be inferred) from the other text. Several international competitions have been run, first by the PASCAL (Pattern Analysis, Statistical Modelling and Computational Learning) EU-project then by NIST(National Institute of Standards and Technology) via the TAC (Text Analysis Conference) to focus efforts on general textual inference capabilities, but without constraining participants to use a specific representation or reasoning approach.

In this talk we discuss the challenges of textual entailment, some of the systems developed for this task and then go on to describe our own attempts at solutions, first with the Bridge system from Xerox PARC, using TIL (Textual Inference Logic), more recently in the context of rewriting systems. We are taking our first steps towards a rewrite framework for textual inference using TIL, implemented in the computational tool Maude and demonstrate by example that how this implementation can be used for solving some instances of the textual inference problem. This is joint work with Vivek Nigam, from UF Paraiba

Biografia resumida