WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2014182820) SYSTEM FOR KNOWLEDGE ACQUISITION
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2014/182820    International Application No.:    PCT/US2014/037156
Publication Date: 13.11.2014 International Filing Date: 07.05.2014
IPC:
G10L 15/18 (2013.01), G10L 15/19 (2013.01), G06F 17/27 (2006.01)
Applicants: HALEY, Paul V. [US/US]; (US)
Inventors: HALEY, Paul V.; (US)
Agent: LEVY, Philip E.; (US)
Priority Data:
61/820,350 07.05.2013 US
Title (EN) SYSTEM FOR KNOWLEDGE ACQUISITION
(FR) SYSTÈME POUR ACQUISITION DE CONNAISSANCES
Abstract: front page image
(EN)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.
(FR)L'invention porte sur un système et un procédé qui traduisent un texte de langage naturel en ensembles d'axiomes de logique formelle qui sont cohérents avec NLP et des contraintes acquises au fur et à mesure qu'ils s'accumulent. Le système et le procédé présentent en outre ces axiomes afin de faciliter une désambiguïsation supplémentaire de telles phrases et produisent des axiomes de logique formelle adaptés pour un traitement par des technologies de raisonnement automatisées, telle qu'une logique de première ordre ou de description adaptée pour un traitement par divers algorithmes de raisonnement, tels que des programmes logiques, des moteurs d'inférence, des démonstrateurs de théorème, et des systèmes à base de règle.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)