Patent ID: 7945527

Claim:
A computer implemented method of determining the meaning of formal language constructs occurring in written texts, said method comprising the steps of: providing an alphabet and a set of symbols for constructing lexical elements, and syntactic elements built on said alphabet, lexical elements, and symbols on at least one computer; determining, by said at least one computer, a sort of value, an arity, a notation, and a type for each said syntactic element, to provide well-formed syntactic elements and meaningless syntactic elements; building, by said at least one computer, formal definitions from said well-formed syntactic elements, and determining a type for each said formal definition to provide a list of terminologies, assertions, theorems, questions and answers; building, by said at least one computer, at least one formal glossary as ordered sets of said formal definitions; providing, on said at least one computer, to an actor at least one said formal glossary, and a related minimal lexicon; parsing, verifying and normalizing each said formal definition, by said at least one computer, from said formal glossary, to provide a list of defined lexical elements and undefined lexical elements; allowing said actor to refer, search, cluster or select written texts, on said at least one computer, from said defined lexical elements contained within minimal lexicons and appearing within said written texts; acquiring questions from said actor, on said at least one computer, wherein each said question is a set of formal texts containing at least one well formed syntactic element; parsing, verifying and normalizing each said well formed syntactic element in said questions, by said at least one computer; retrieving, by said at least one computer, for each said defined lexical element contained within said questions, all the applicable formal definitions from said formal glossary; applying, by said at least one computer, said formal definitions to said defined lexical elements in said questions in accordance with an interpretation process having at least one critical algorithm; providing at least one values to said actor on said at least one computer; coding each said question and a meaningful value as a new questions and answers definition; and saving said new questions and answers definitions in said formal glossary, which turns said formal glossary into a new intelligent glossary.