Computing linguistically-based textual inferences

This talk provides an overview and a demo of PARC's Bridge system. The particular task that we focus on is entailment and contradiction detection (ECD), a more refined variant of the PASCAL RTE (Recognizing Textual Entailment) challenge. Given a passage of text and a query, does the query sentence follow from the text in the passage, is it contradicted by it, or neither?