Patent · US Active

System for knowledge acquisition

US11222181B2 · kind B2 · utility

0Cited by

4References

21Claims

0Family size

Inventor

Paul Haley · Dorpsstraat, US

Key dates

Filing date	Oct 11, 2019
Grant date	Jan 11, 2022
Priority date	—
Expiry date	Oct 11, 2039

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.