COGEX Logic Prover
Did you know?
Textual entailment describes the relationship between a language statement and a hypothesis that might be inferred from that statement.
For example, the statement "she bought a dog" entails the statement "she owns a dog."
COGEX is Lymba's natural language logic prover designed for applications such as question answering and textual entailment. The system takes as input text passages transformed into syntactically and semantically enriched logical representations. World knowledge, linguistic, and Jaguar ontological axioms are supplied to COGEX which enable the software to analyze and form a deep understanding of the relationship between the text passages.
The resulting proof trace can be converted to natural language to provide a logical justification of the software's conclusions. This can output, for example, an explanation of why the answer to a particular question is correct.
For more information on COGEX please see:Moldovan, D.; Clark, C.; Harabagiu, S.; Hodges, D. "COGEX: A semantically and contextually enriched logic prover for question answering," Journal of Applied Logic, 2006.