Systems and methods for detecting entailment and contradiction

Details Systems and methods for detecting entailment and contradiction Systems and methods for detecting entailment and contradiction

2007-12-25

2007-12-25

Hudspeth, David (Department: 2626)

Data processing: speech signal processing, linguistics, language

Linguistics

Natural language

Reexamination Certificate

active

11415609

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.

REFERENCES:
patent: 5438511 (1995-08-01), Maxwell, III
patent: 5473705 (1995-12-01), Abe et al.
patent: 5642519 (1997-06-01), Martin
patent: 5748973 (1998-05-01), Palmer et al.
patent: 2004/0139060 (2006-07-01), Maxwell, III
Crouch et al., “Scalability of redundancy detection in focused document collections”, In Proceedings First International Workshop on Scalable Natural Language Understand (SCANALU-2002), 2002.
Falkenhainer et al., “The structure-mapping engine: algorithm and examples”, Artificial Intelligence, vol. 41, Issue 1, pp. 1-63, 1989.
Tatu et al., “A semantic approach to recognizing textual entailment”, Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing, pp. 371-378, 2005.
A. Andreevskaia, et al., “Can Swallow Predicate Argument Structures Determine Entailment”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
C. Baral et al., “Textual Interference by Combining Multiple Logic Programming Paradigms”, In Interference for Textual Question Answering: Papers from the 2005 AAAI Workshop, ed. Sanda Harabagiu, Dan Moldovan, Srini Narayanan, Christopher Manning, Daniel Bobrow, Ken Forbus, 24-31. Technical Report WS-05-05. American Association for Artificial Intelligence, Menlo Park, California.
S. Bayer et al., “Mitre's Submissions to EU Pascal RTE Challenge”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
F. Benamara et al. eds., “Knowledge and Reasoning for Answering Questions”, Workshop associated with IJCAI05, Edinburgh, Jul. 30, 2005.
D. Bobrow et al., “A Basic Logic for Textual Davidsonian Interference”, In Interference for Textual Question Answering: Papers from the 2005 AAAI Workshop, ed. Sanda Harabaglu, Dan Moldovan, Srini Narayanan, Christopher Manning, Daniel Bobrow, Ken Forbus, 24-31. Technical Report WS-05-05. American Association for Artificial Intelligence, Menlo Park, California.
J. Bos et al., “Recognizing Textual Entailment with Logical Interference”, In Proc. of the Human Language Technology Conf. and Conf. on Empirical Methods in Natural Language Processing, Oct. 2005, p. 628-635, Association for Computational Linguistics, Vancouver, BC Canada.
J. Bos et al., “Combining Shallow and Deep NLP Methods for Recognizing Textual Entailment”, In Proc. of the Pascal Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
G. Bouma et al., “Reasoning over Dependency Relations for QA”, In Proc. of the Workshop on Knowledge and Reasoning for Answering Questions, IJCAI-05, 2005.
K. Claessen et al., “New Techniques that Improve MACE-style Finite Model Finding”, In Proc. of Workshop on Model Computation (MODEL), Jul. 29, 2003, CADE-19, Miami, Flordia.
C. Clark, et al., “Moving QA Towards Reading Comprehension Using Context and Default Reasoning”, In Interference for Textual Question Answering: Papers from the 2005 AAAI Workshop, ed. Sande Harabagiu, Dan Moldovan, Srini Narayanan, Christopher Manning, Daniel Bobrow, Ken Forbus, 24-31. Technical Report WS-05-05. American Association for Artifical Intelligence, Menlo Park, California.
S. Colucci et al., “Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics” In Thirteenth Italian Symposium on Advanced Database Systems—Sistemi Evoluti per Basi di Dati (SEBD-2005), 2005, pp. 232-239.
C. Condoravdi et al., “Counting Concepts”, In Proc. 13th Amsterdam Colloquium, Dec. 2001, pp. 67-72, Department of Philosophy, Universiteit van Amsterdam, Amsterdam, Netherlands.
C. Condorvadi et al., “Entailment, Intensionality and Text Understanding”, In Proc. of the HLT-NAACL-2003 Workshop on Text Meaning, Edmonton, Canada, 2003.
C. Condorvadi et al., “Preventing Existence”, In Proc. International Conf. on Formal Ontology in Info. Systems (FOIS-2001) p. 162-173, ACM Press NY, 2001.
D. Crouch, “Packed Rewriting for Mapping Semantics to KR”,in Proc. of the Sixth International Workshop on Computational Semantics, May 2006.
D. Crouch et al., “Aquaint Pilot Knowledge-Based Evaluation: Annotation Guidelines”, 2005.
C.M. Cumby et al., “Learning with Feature Description Logics”, in Proceedings of the 12th International Conf. on Inductive Logic Programming, p. 32-47, Lecture Notes in Artifical Intelligence, vol. 2583, Springer Verlag, Heidelberg.
I. Dagan et al., “The PASCAL Recognizing Textual Entailment Challenge”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
R. De Salvo Braz et al., “An Inference Model for Semantic Entailment in Natural Language”, 2005, AAAI'05.
R. De Salvo Braz et al., “An Interference Model for Semantic Entailment in Natural Language”, A Poster Presentation, 2005, IJCAI'05.
R. De Salvo Braz et al., “An Inference Model for Semantic Entailment in Natural Language”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
R. De Salvo Braz et al., “Knowledge Representation for Semantic Entailment and Question-Answering”, IJCAI'05: Workshop on Knowledge and Reasoning for Question Answering, 2005, Edinburgh, UK.
R. Delmonte et al., “VENSES- Linguistically-Based System for Semantic Evaluation”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
J. Van Eijck et al., “Ambiguity and Reasoning”, CWI Technical Report, Technical Report: CS-R9616, CWI (Centre for Mathematics and Computer Science), Amsterdam, Netherlands, 1996.
A. Fowler et al., “Applying COGEX to Recognize Textual Entailment”, In Proc. of the PASCAL Challenges Workshop on Recognising Textual Entailment, Apr. 11-13, 2005, Southhampton, UK.
A. Frank et al., “Querying Structured Knowledge Sources”, In Proceedings of AAAI-05. Workshop on Question Answering in Restricted Domains, pp. 10-19, Jul. 2005, Pittsburgh, Pennsylvania.
A. Gleibman, “Knowledge Representation via Verbal Description Generalization: Alternative Programming in Sampletalk Language”, In Inference for Textual Question Answering: Papers from the 2005 AAAI Workshop , ed. Sanda Harabagiu, Dan Moldovan, Srini Narayaran, Christopher Manning, Daniel Bobrow, Ken Forbus, 24-31. Technical Report WS-05-05. American Association for Artificial Intelligence, Menlo Park, California.
O. Gurevich et al., Deverbal Nouns in Knowledge Representation, In Proceedings of the Ninteenth International Florida Aritifcial Intelligence Research Society Conference, 54-56. Menlo Park, Calif.: AAAI Press.
A.D. Haghighi et al., “Robust Textual Inference via Graph Matching”, In Proc. of the Human Language Technology Conf. and Conf. on Empirical Methods in Natural Language Processing, Oct. 2005, p. 387-394, As

Affiliated with

Also associated with

Rating

Systems and methods for detecting entailment and contradiction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Systems and methods for detecting entailment and contradiction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Systems and methods for detecting entailment and contradiction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3829207