Systems and methods for detecting entailment and contradiction
First Claim
1. A system for indicating entailment and contradiction in text comprising:
- a packed knowledge representation manager that determines premise and conclusion packed knowledge representations, the premise and conclusion packed knowledge representations each including premise and conclusion facts about relationships between concept terms;
a concept alignment manager that aligns corresponding concepts between the premise packed knowledge representation and the conclusion packed knowledge representation; and
an entailment/contradiction manager that determines a concept aligned union of the packed knowledge representations of the premise and the conclusion with concept terms marked as to origin and which substitutes relevant packed knowledge representation concept terms for comparison, removes concept terms based on a plurality of entailment/contradiction rules retrieved from an entailment/contradiction rule storage and indicates entailment and contradiction.
1 Assignment
0 Petitions
Accused Products
Abstract
Techniques are provided for detecting entailment and contradiction. Packed knowledge representations for a premise and conclusion text are determined comprising facts about the relationships between concept and/or context denoting terms. Concept and context alignments are performed based on alignments scores. A union is determined. Terms are marked as to their origin and conclusion text terms replaced with by corresponding terms from the premise text. Subsumption and specificity, instantiability, spatio-temporal and relationship based packed rewrite rules are applied in conjunction with the context denoting facts to remove entailed terms and to mark contradictory facts within the union. Entailment is indicated by a lack of any facts from the packed knowledge representation of the conclusion in the union. Entailment and contradiction markers are then displayed.
-
Citations
23 Claims
-
1. A system for indicating entailment and contradiction in text comprising:
-
a packed knowledge representation manager that determines premise and conclusion packed knowledge representations, the premise and conclusion packed knowledge representations each including premise and conclusion facts about relationships between concept terms;
a concept alignment manager that aligns corresponding concepts between the premise packed knowledge representation and the conclusion packed knowledge representation; and
an entailment/contradiction manager that determines a concept aligned union of the packed knowledge representations of the premise and the conclusion with concept terms marked as to origin and which substitutes relevant packed knowledge representation concept terms for comparison, removes concept terms based on a plurality of entailment/contradiction rules retrieved from an entailment/contradiction rule storage and indicates entailment and contradiction. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method for indicating entailment and contradiction comprising the steps of:
-
determining premise and conclusion packed knowledge representations, the premise and conclusion packed knowledge representations each including premise and conclusion facts about relationships between concepts;
determining concept alignments for concepts within the premise and conclusion packed knowledge representations;
detecting entailment and contradiction in the packed knowledge representations based on the concept alignments and a set of entailment and contradiction detection rewrite rules. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 23)
-
-
21. A computer readable storage medium comprising computer readable program code embodied on the computer readable storage medium, the computer readable program code useable to program a computer to indicate textual entailments and contradictions comprising the steps of:
-
determining premise and conclusion packed knowledge representations, the premise and conclusion packed knowledge representations each including premise and conclusion facts about relationships between concepts;
determining concept alignments for concepts within the premise and conclusion packed knowledge representations;
detecting entailment and contradiction in the packed knowledge representations based on the concept alignments, the context alignments and a set of entailment and contradiction detection rewrite rules.
-
-
22. A computer implemented method for conceptually aligning premise and conclusion texts comprising the steps of:
-
determining packed knowledge representations for the premise and conclusion texts, the packed knowledge representations each including premise and conclusion facts about relationships between concepts related to the premise and conclusion texts;
determining concept alignments for concepts within the packed knowledge representations of the premise and the conclusion;
displaying the aligned packed knowledge representations.
-
Specification