System for knowledge acquisition
US12050874B2 · kind B2 · utility
0Cited by
8References
17Claims
0Family size
Inventor
Key dates
| Filing date | Dec 13, 2021 |
| Grant date | Jul 30, 2024 |
| Priority date | — |
| Expiry date | Dec 13, 2041 |
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 constrains 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.