Title:
SYSTEM FOR KNOWLEDGE ACQUISITION
Document Type and Number:
WIPO Patent Application WO/2014/182820
Kind Code:
A3
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.
More Like This:
Inventors:
HALEY PAUL V (US)
Application Number:
PCT/US2014/037156
Publication Date:
November 26, 2015
Filing Date:
May 07, 2014
Export Citation:
Assignee:
HALEY PAUL V (US)
International Classes:
G10L15/18; G06F17/27; G06F40/00; G10L15/19
Foreign References:
| US20080097748A1 | 2008-04-24 | |||
| US20010053968A1 | 2001-12-20 | |||
| US20070250305A1 | 2007-10-25 | |||
| US7376552B2 | 2008-05-20 |
Attorney, Agent or Firm:
LEVY, Philip E. (LLC600 Grant Street, 44th Floo, Pittsburgh Pennsylvania, US)
Download PDF: