System for knowledge acquisition
US10452779B2 · kind B2 · utility
0Cited by
4References
20Claims
0Family size
Inventor
Key dates
| Filing date | May 7, 2014 |
| Grant date | Oct 22, 2019 |
| Priority date | — |
| Expiry date | May 7, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/40
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.