I detta dokument föreslås en kunskapsrepresentationsmodell och en logik som bevisar att det finns axiom på efterfrågan som med framgång används för att erkänna textförutsättningar. Den beskriver också ett lexikalt slutledningssystem som ökar prestandan hos det djupsemantiska synsättet på RTE-data. Den linjära kombinationen av två något olika logiska system med det tredje lexical inference systemet uppnår 73,75% noggrannhet på RTE 2006 data.
REF föreslog för RTE en ny modell för kunskapsrepresentation och en logik som bevisar inställning med axiom på begäran.
A Logic-Based Semantic Approach To Recognizing Textual Entailment
{'venue': 'International Conference On Computational Linguistics And Annual Meeting Of The Association For Computational Linguistics - Poster Sessions', 'journal': None, 'mag_field_of_study': ['Computer Science']}