Methods and systems for interpreting text using intelligent glossaries

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;
• determining 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 Formal Definitions from said typed Well-Formed Syntactic Elements, and determining a type for each definition to provide a list of Terminologies, Assertions, Theorems, Questions and answers;
• and building Formal Glossaries as ordered sets of Formal Definitions;
• acquiring from a Knowledge Manager a Formal Glossary content;
• parsing, verifying and normalizing each Formal Definition contained in said Formal Glossary, to provide a list of Defined Lexical Elements and undefined lexical elements;
• drawing consequences of each Assertion and Theorem of the Formal Glossary, to compute new derived Assertions and to check compliance with existing Terminologies, in accordance with an interpretation process having at least one critical algorithm;
• acquiring questions from an actor, wherein each said question is a set of formal texts containing at least one Well-Formed Syntactic Element;
• parsing, verifying and normalizing each Well-Formed Syntactic Element in the question;
• retrieving, for each Defined Lexical Element contained within said questions, all the applicable Formal Definitions from said Formal Glossary;
• applying said Formal Definitions to said Defined Lexical Elements in said questions in accordance with an interpretation process having at least one critical algorithm;
• providing said values to said actor;
• coding each said question and its meaningful value as a new Question & answer definition;
• processing a Formal Glossary as a set of formal texts, using the self-reference capacity of the present computer implemented method, to certify said Formal Glossary;
• and
• saving said certified Formal Glossary and its related Minimal Lexicon, wherein said lexicon is comprised of at least one Well-Defined Lexical Element, as an initial Intelligent Glossary.

A system for verifying, implementing and using a Semantic System of Intelligent Glossaries, said system comprising:

• an interpretation module having an initialization module, at least one critical algorithm, wherein said interpretation module provides a value for questions, which are set of formal texts containing at least one Well-Formed Syntactical Element;
• a Parsing module which processes texts of formal glossaries and formal questions;
• an Add Definition module for verifying a formal glossary, definition by definition, and for certifying compliance and consistency of said glossary;
• at least one active glossary for storing current glossaries of the whole system;
• a current substitution initialized with the empty set and updated after each translation;
• a Rewriting Area for computing on formulas, from the initial formal text of a question, up to its meaningful value;
• a Words Table, for storing natural language words and the name of their container glossary;
• a viewer module for editing glossaries and questions, and for interacting with actors;
• and
• a File update module for updating glossaries having at least one definition and associated interpretation from said interpretation module.