Natural language question answering system and method utilizing a logic prover
First Claim
Patent Images
1. A method for natural language question answering, comprising:
- receiving a question logic form, at least one answer logic form, and extended lexical information by a first module;
outputting lexical chains to a second module; and
utilizing axioms by the second module.
3 Assignments
0 Petitions
Accused Products
Abstract
A natural language question answering system and method comprises receiving a question logic form, at least one answer logic form, and extended lexical information by a first module, outputting lexical chains to a second module, and utilizing axioms by the second module.
100 Citations
49 Claims
-
1. A method for natural language question answering, comprising:
-
receiving a question logic form, at least one answer logic form, and extended lexical information by a first module;
outputting lexical chains to a second module; and
utilizing axioms by the second module. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18)
-
-
19. A computer readable medium comprising instructions for:
-
receiving a question logic form based on a natural language user input query for information, at least one answer logic form, and extended lexical information by a first module;
outputting lexical chains related to the extended lexical information to a second module; and
utilizing axioms based on at least one of;
the received lexical chains, existing axioms, and automatically created axioms, by the second module.
-
-
20. A method for natural language question answering, comprising:
-
receiving a user input query;
receiving ranked answers related to the query;
calculating a justification of the ranked answers;
calculating a confidence of the ranked answers based on the justification; and
outputting re-ranked answers based on the confidence. - View Dependent Claims (21, 22, 23, 24)
-
-
25. A method for ranking answers to a natural language query, comprising:
-
receiving natural language information at a first module;
outputting logic forms to a second module and to a third module;
receiving lexical chains and axioms based on extended lexical information at the second module;
receiving selected ones of the axioms and other axioms at the third module;
determining whether at least one of the natural language information is sufficiently equivalent to another one of the natural language information; and
outputting a justification based on the determining. - View Dependent Claims (26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40)
-
-
41. A computer readable medium comprising instructions for:
-
receiving natural language information at a first module;
receiving lexical chains and axioms based on the natural language information and extended lexical information at the second module; and
outputting a justification based on relative equivalence of the natural language information. - View Dependent Claims (42)
-
-
43. A method for ranking answers to a natural language query, comprising:
-
receiving natural language information at a first module;
receiving lexical chains and axioms based on the natural language information and extended lexical information at the second module; and
outputting a justification based on at least one of an equivalence of the natural language information, the equivalence including;
a strict equivalence, and a relaxed equivalence.
-
-
44. A computer readable medium comprising instructions for:
-
receiving natural language information at a first module;
receiving lexical chains and axioms based on the natural language information and extended lexical information at the second module; and
outputting a justification from a third module based on a relaxed equivalence of the natural language information. - View Dependent Claims (45, 46, 47, 48, 49)
-
Specification