While many approaches have addressed this problem , our work is most closely related to that of ( Raina et al. , 2005 ; MacCartney and Manning , 2007 ; Tatu and Moldovan , 2006 ; Braz et al. , 2005 ) , which convert the inputs into logical forms and then attempt to ` prove ' H from T plus a set of axioms .
natural logic for textual inference
B MacCartney C D Manning
Textual Entailment systems are given two textual fragments , text T and hypothesis H , and attempt to decide if the meaning of H can be inferred from the meaning of T ( Dagan et al. , 2005 ) . While many approaches have addressed this problem , our work is most closely related to that of ( Raina et al. , 2005 ; MacCartney and Manning , 2007 ; Tatu and Moldovan , 2006 ; Braz et al. , 2005 ) , which convert the inputs into logical forms and then attempt to ` prove ' H from T plus a set of axioms . For instance , ( Braz et al. , 2005 ) represents T , H , and a set of rewrite rules in a description logic framework , and determines entailment by solving an integer lin -
While many approaches have addressed this problem , our work is most closely related to that of ( Raina et al. , 2005 ; @@CITATION ; Tatu and Moldovan , 2006 ; Braz et al. , 2005 ) , which convert the inputs into logical forms and then attempt to ` prove ' H from T plus a set of axioms .