Method for transforming a sequence to make it executable to control a machine

Abstract

A computer-implemented method for transforming a sequence comprising multiple words from a natural language to a machine executable sequence in real-time to control a machine. The sequence constituted by multiple characters forming words from the natural language is preprocessed by comparing the sequence to data from a database comprising classes. The sequence is searched for simple expressions and GI expressions known to be an upstream function class or a downstream function class. The sequence is dichotomized until all of the function classes contained in the sequence that are capable of resulting in dichotomies have been dichotomized. The first to the last classes of the sequence are iterated and each executable class is executed by a machine.

Claims

1. A computer-implemented method for transforming a sequence comprising a plurality of words from a natural language to an executable sequence in real-time to control a machine, comprising steps of: a) preprocessing the sequence comprises: comparing the sequence to data from a database comprising classes, the sequence is constituted by several characters forming the words from the natural language, wherein each class comprises at least first two of the following elements: a number; an expression constituted by a character string representing the class; a class expression composed of two numbers corresponding to two other classes, either positioned in a first position, or positioned in a second position; and a direction, the direction being either upstream or downstream; wherein a generalized class being a class comprising the class expression and the direction, an upstream generalized class has an upstream direction and a downstream generalized class has a downstream direction; for the upstream generalized class, the class in a first position of its class expression is an upstream function class and the class in a second position of its class expression is a parameter class; for the downstream generalized class, the class in a first position of its class expression is a parameter class and the class in a second position of its class expression is a downstream function class; a function class is at least one of the following elements: an upstream function class, and a downstream function class, defining a Dep function table of specific upstream or downstream function classes called Dep function classes, a Dep function class is either an upstream Dep function class or a downstream Dep function class, the Dep function classes present in the Dep function table have a characteristic that any generalized class of any of the Dep function classes is known to be a function class in an inverse direction from the Dep function class, called a ParDep function class, thus an upstream ParDep function class is an upstream function class and is a generalized class of a downstream Dep function class; and a downstream ParDep function class is a downstream function class and is a generalized class of an upstream Dep function class; defining a hierarchical table of hierarchical relationships for pairs constituted by an upstream function class or a Dep function class and by a downstream function class or a Dep function class, the hierarchical relationship indicating, for each of the pair present in the hierarchical table, which of the two function classes of the pair is hierarchically dominant over the other; for a sequence with an upstream function class preceding a downstream function class or a hierarchically dominant Dep function class, and the function classes are separated by a non-empty parameter, a non-hierarchically dominant upstream function class has precedence in an adoption of a parameter over the downstream function class or the hierarchically dominant Dep function class; for the sequence with a downstream function class coming after an upstream function class or a hierarchically dominant Dep function class, and the function classes are separated by a non-empty parameter, a non-hierarchically dominant downstream function class has precedence in the adoption of the parameter over the upstream function class or the hierarchically dominant Dep function class; wherein the database also comprises reserved classes, each reserved class comprising a number and an expression, each expression of the reserved class is preceded by a tag ({circumflex over ( )}), and the following predefined elements: a first reserved class ({circumflex over ( )}[), a second reserved class ({circumflex over ( )}»), a third reserved class({circumflex over ( )}«), a fourth reserved class ({circumflex over ( )}]) and a fifth reserved class ({circumflex over ( )}EXE); defining the first reserved class ({circumflex over ( )}[), the second reserved class ({circumflex over ( )}»), the third reserved class ({circumflex over ( )}«) and the fourth reserved class ({circumflex over ( )}]) as GI classes; a function of the first reserved class ({circumflex over ( )}[) and the fourth reserved class ({circumflex over ( )}]) indicating in the sequence a start and an end of the generalized class, the second reserved class({circumflex over ( )}»), always positioned inside a part of the sequence delimited by the first reserved class ({circumflex over ( )}[) and the fourth reserved class({circumflex over ( )}]), separating the part of the sequence into two subparts, a first subpart representing the upstream function class and a second subpart representing the parameter class, and indicating that the part of the sequence represents the upstream generalized class; the third reserved class ({circumflex over ( )}«), always positioned inside the part of the sequence delimited by the first reserved class ({circumflex over ( )}[) and the fourth reserved class({circumflex over ( )}]), separating the part of the sequence into two sub-parts, a first subpart of the third reserved class representing the parameter class and a second subpart of the third reserved class representing a downstream function class, and indicating that the part of the sequence represents the downstream generalized class; defining the sequence or sequence part comprising the GI classes as a GI expression; the fifth reserved class ({circumflex over ( )}EXE) is a function class and designates any class as executable by a machine, in response to recognition of a reserved class in the part of the sequence, substituting the part of the sequence by a number of the corresponding reserved class; b) dichotomy by searching the sequence for the expressions and the GI expressions known to be the upstream function class or the downstream function class, the sequence is dichotomized until all the function classes contained in the sequence are dichotomized; wherein for each of the upstream function classes or downstream function classes found in the sequence, the dichotomy step comprises: for an upstream function class, that is Non-Dep, at the beginning of the sequence or immediately preceded by one of the first three GI classes ({circumflex over ( )}[, {circumflex over ( )}», {circumflex over ( )}«), and the upstream function is not at the end of the sequence and not immediately followed by one of the last three GI classes ({circumflex over ( )}», {circumflex over ( )}«, {circumflex over ( )}]), then a part of the sequence playing a role of a parameter class for the upstream function class is identifiable, the parameter class, adjacent to the upstream function class, starts in a position following the upstream function class and an end position of the parameter class is identifiable by going through positions of the sequence beginning at a start position of the parameter class, and is either: in a position preceding the expression or the GI expression of a downstream function class or a Dep function class, and hierarchically dominant over the upstream function class; or in a position preceding one of the last three GI classes ({circumflex over ( )}», {circumflex over ( )}«, {circumflex over ( )}]) and an analysis resumes in a position following the fourth reserved class ({circumflex over ( )}]) corresponding to the first reserved class ({circumflex over ( )}[) found in one position; or at the end of the sequence; in response to a determination of the end position of the parameter class and the start and end positions of the parameter class are different, the following are inserted into the sequence: the first reserved class ({circumflex over ( )}[) in a position preceding the upstream function class; the second reserved class ({circumflex over ( )}») between the end of the upstream function class and the start of the parameter class; the fourth reserved class ({circumflex over ( )}]) at the end of the parameter class; and wherein the insertion of the first, second and fourth reserved GI classes defines in the sequence an upstream Generalized class; for a downstream function class, that is Non-Dep, at the end of the sequence or immediately followed by one of the last three GI classes ({circumflex over ( )}», {circumflex over ( )}», {circumflex over ( )}]) and the downstream function is not at the start of the sequence and not immediately preceded by one of the first three GI classes ({circumflex over ( )}[, {circumflex over ( )}», {circumflex over ( )}«), then a part of the sequence playing the role of a parameter class for the downstream function class is identifiable, the parameter class, adjacent to the downstream function class, ends in a position preceding the downstream function class and a start position of the parameter class is identifiable by going backward through the positions of the sequence, beginning at the end position of the parameter class, and is either: in the position following the expression or GI expression of an upstream function class or Dep function class, and hierarchically dominant over the downstream function class; or in the position following one of the first three GI classes ({circumflex over ( )}[, {circumflex over ( )}», {circumflex over ( )}«), and the analysis resumes in the position preceding the first reserved class ({circumflex over ( )}[) corresponding to the fourth reserved class ({circumflex over ( )}]) found in one position; or at the start of the sequence, in response to a determination of the end position of the parameter class, and the start and end positions of the parameter class are different, the following are inserted into the sequence: the first reserved class ({circumflex over ( )}[) immediately before the parameter class; the third reserved class ({circumflex over ( )}«) between the end of the parameter class and the start of the downstream function class; the fourth reserved class ({circumflex over ( )}]) at the end of the downstream function class; and wherein the insertion of the first, third and fourth reserved GI classes defines in the sequence a downstream Generalized class; wherein the dichotomy step b) allows nesting Generalized classes; c) identification-creation, wherein all the function classes and all the parameter classes that are not generalized classes are substituted in the sequence by their class number; and the class number of the generalized class is inserted immediately before the first reserved class ({circumflex over ( )}[) of each of the generalized classes; for each generalized class contained in the sequence: the function class is stored in the database with at least following two pieces of information: a new number and the expression, in response to a determination that an expression defining the function class is unknown; the parameter class is stored in the database with at least following two pieces of information: the new number and the expression, in response to a determination that an expression defining the parameter class is unknown; and the Generalized class is stored in the database with following information: the new number, the expression, a class expression and a direction, in response to a determination that an expression defining the Generalized class is unknown; for a part of the sequence that is not a generalized class and is unknown, the part of the sequence is stored in the database with at least following two pieces of information: a new number and the simple expression; wherein the sequence obtained is called the LGI expression of the sequence, thereby transforming the sequence comprising the plurality of words from the natural language to the executable sequence in real-time, without compilation, to control the machine.

2. The method according to claim 1, further comprising a step of executing the executable sequence by iterating from the first to the last classes of the sequence, the GI classes are ignored, each executable class is executed by the machine, a remaining iteration resumes at the end of the executable class, wherein an executable class is defined as: a parameter class linked to the fifth reserved class ({circumflex over ( )}EXE) in the generalized class; a Generalized class whose function class is the executable class; and a Generalized class whose function class is a ParDep function class of a Dep function class that is the executable class.

3. The method according to claim 1, wherein updating of the Dep function table in the dichotomy step b) is determined based on the following conditions: the upstream function class is determined to be an upstream Dep function class in response to an application of the upstream function class to a first upstream number corresponding to a number of recurrences of the upstream function class of the upstream Generalized classes of the database, to an application of the upstream function class to a second upstream number corresponding to a number of recurrences of the Generalized classes that are downstream function classes, and the second upstream number is at least greater than half of the first number; and the downstream function class is determined to be a downstream Dep function class in response to an application of the downstream function class to a first downstream number corresponding to a number of recurrences of the downstream function class of the downstream Generalized classes of the database, to an application of the downstream function class to a second downstream number corresponding to a number of recurrences of the Generalized classes that are upstream function classes, and the second downstream number is at least greater than half of the first number.

4. The method according to claim 1, wherein the upstream function class is applied to an upstream number corresponding to a number of recurrences of the upstream function class of the upstream Generalized classes of the database in which the parameter classes are downstream Generalized classes whose function is the downstream function class; wherein the downstream function class is applied to a downstream number corresponding to a number of recurrences of the downstream function class of the downstream Generalized classes of the database in which the parameter classes are upstream Generalized classes whose function is the upstream function class; wherein in the dichotomy step b), in response to a determination that the upstream function class is earlier in the sequence than the downstream function class, the hierarchical relationship between the upstream function class and the downstream function class is evaluated as follows: if the upstream number is greater than the downstream number, then the upstream function class is hierarchically dominant over the downstream function class; or if the downstream number is greater than the upstream number, then the downstream function class is hierarchically dominant over the upstream function class; or otherwise, there is no hierarchical relationship between the upstream function class and the downstream function class.

5. The method according to claim 4, the dichotomy step b) further comprises steps of: obtaining an upstream list number based on the upstream numbers for each of the pairs constituted by an upstream function class belonging to an upstream function class list and a downstream function class belonging to a downstream function class list; obtaining the downstream list number being obtained based on the downstream numbers for said each of the pairs constituted by the upstream function class belonging to the upstream function class list and the downstream function class belonging to the downstream function class list; defining a hierarchical relationship between the upstream function class list and the downstream function class list as follows: if the upstream list number is greater than the downstream list number, then the upstream function class list is hierarchically dominant over the downstream function class list; or if the downstream list number is greater than the upstream list number, then the downstream function class list is hierarchically dominant over the upstream function class list; or otherwise, there is no hierarchical relationship between the upstream function class list and the downstream function class list; and in response to a determination that (a) the upstream function class is earlier in the sequence than the downstream function class, (b) there is no direct hierarchical relationship between the upstream function class and the downstream function class and (c) either or both of the upstream function class and the downstream function class are ParDep function classes, evaluating a hierarchical relationship of the list of upstream ParDep function classes of a same downstream Dep function class of the upstream function class if the upstream function class is a ParDep function class and of the list of downstream ParDep function classes of the same upstream Dep function class of the downstream function class if the downstream function class is a ParDep function class.

6. The method according to claim 5, wherein the dichotomy step b) further comprises steps of: evaluating the hierarchical relationship of the upstream function class and the list of all the downstream ParDep function classes of the upstream Dep function class in response to determination that the upstream function class is earlier in the sequence than the upstream Dep function class; for the upstream function, the determination of the end position of the parameter of the upstream function includes a position preceding the expression of an upstream Dep function class that is hierarchically dominant over the upstream function class; evaluating the hierarchical relationship of the downstream function class and the list of all the downstream ParDep function classes of the downstream Dep function class in response to determination that the downstream function class is later in the sequence than the downstream Dep function class; and for the downstream function, the start position of the parameter of the downstream function is in a position following the expression of a downstream Dep function class that is hierarchically dominant over the downstream function class.

7. The method according to claim 1, wherein the identification-creation step c) further comprises a step of updating the class expression and direction of known generalized class.

8. The method according to claim 3, wherein the second upstream number is at least greater than two thirds of the first upstream number; and wherein the second downstream number is at least greater than two thirds of the first downstream number.

9. The method according to claim 1, in response to a finding of a function class in the sequence with the GI expression containing other function class, the dichotomy step b) further comprises a step of processing the function class with the GI expression containing the other function classes before the other function classes.

10. The method according to claim 2, wherein the database further comprises a sixth reserved class ({circumflex over ( )}EQV), the sixth reserved class ({circumflex over ( )}EQV) being a downstream function class and designating any Dep function class as an equivalence function in response to a determination that the Dep function class is the parameter class in a generalized class whose function is the sixth reserved class ({circumflex over ( )}EQV), thus any parameter class of a generalized class whose function is the ParDep function class of a Dep and equivalence function class has as an equivalent class, the parameter class of the Dep function class in the generalized ParDep function class; wherein the execution step d), in response to determination that there is a known generalized class for a class found in the sequence, whose parameter is the class and whose function is a ParDep function class of the Dep and equivalence function class, further comprises steps of substituting the LGI expression of the class in the sequence with the LGI expression of an equivalent class; and resuming the iteration at the start of the class; wherein the LGI expression of the equivalent class starts with a number of the class and is obtained through iteration by having all of the numbers of the generalized classes of the LGI expression of the class followed by a number of the first GI class, then by a number of the first class of the class expression of the generalized class, then by a number of the second GI class if the class is an upstream generalized class or by the number of the third GI class if the class is a downstream generalized class, then by a number of the second class of the class expression of the generalized class, then by a number of the fourth GI class.

11. The method according to claim 6, wherein the dichotomy step b), in response to a determination that there is no hierarchical relationship between two function classes, further comprises, for each of the two function classes, steps of searching a list of related function classes in the database; comparing a recurrence of each function class to evaluate the hierarchy between the two lists; and defining the list of classes related to a class as the list of classes that are a parameter class within generalized classes, the function classes of which are applied to the class within a generalized class.

12. The method according to claim 1, wherein the preprocessing step a), in response to a location of the reserved class tag ({circumflex over ( )}) followed by a number, further comprises a step of substituting the expression ({circumflex over ( )}+numéro) in the sequence by the number of the class with a same number.

Description

BRIEF DESCRIPTION OF THE FIGURES

(1) Other advantages, objects, and features of the present invention emerge from the following description, provided for explanatory purposes and in no way limiting, in reference to the attached drawings, in which:

(2) FIG. 1, in flow chart form, shows the steps implemented in accordance with an embodiment of the method that is the subject of the claimed invention;

(3) FIGS. 2-5, in flow chart forms, show the details of the steps implemented in accordance with an embodiment of the claimed method that is the subject of the claimed invention; and

(4) FIG. 6 shows a diagram reconstructing a LGI sequence of a class.

DESCRIPTION OF EXEMPLARY EMBODIMENTS OF THE INVENTION

(5) The following terms are used in an example below:

(6) Several terms will be used hereinafter, and their definitions are as follows: “go straight” is the English terminology for “vas tout droit” in French; “is a verb of equivalence” is the English terminology for “est un verbe d'équivalence” in French; “make a U-turn and stop” is the English terminology for “fait demi tour and arrête toi” in French; “means” is the English terminology for “signifie” in French; “move back” is the English terminology for “marche arrière” in French; “north” is the English terminology for “nord” in French; “quickly” is the English terminology for “rapidement” in French; “turn left” is the English terminology for “tourne à gauche” in French; “turn right” is the English terminology for “tourne à droite” in French; “setengine” is the English terminology for “sens moteur” in French; “setwheel” is the English terminology for “position roue(s)” in French; and “south” is the English terminology for “sud” in French.

(7) Hereinafter, what appears in brackets { . . . } is what is entered into a computer and constitutes the class expressions.

(8) The Concept of a Sequence

(9) A sequence is defined as being a series of elements entered and processed one after another. In this case, a sequence will be understood to be a series of numbers. An order such as {turn right}, which is a character string, is actually a series of numbers—coded using either the ASCII (American Standard Code for Information Interchange) or the Unicode (computer standard enabling text exchanges in various languages) table—and therefore {turn right} is in fact a sequence.

(10) The essential function of the method is to recognize and process sequences.

(11) The Concept of a Class

(12) A database will hold the sequences processed by the method. The method will assign a number (No) to each of these sequences, this No is called a class No, or more simply, a “class.”

(13) A class can also be written in the form of other classes. In other words, a sequence can be written from sequences that are already known.

Example

(14) If in the base, we have two classes C1={turn} and C2={right}, then the class C3={turn right} can also be written C3=={C1C2}, {C1C2} being the sequence constituted by the class C1 and the class C2.

(15) The Concept of Functions and Parameters

(16) In the sequences, the classes can play the role of a Function or a Parameter.

Example

(17) If we add into the base the class C4={left} then the class CS={turn left}, can also be written CS=={C1C4}.

(18) We can therefore teach the claimed method that C1={turn} is a function that has two parameters: C2={right} in the class C3 and C4={left} in the class CS

(19) The Concept of Reserved Words

(20) Certain sequences have a particular meaning known to the method.

(21) These sequences will be called “Reserved Words” (Rwords)

(22) To make them recognizable, and by convention, they always begin with the character “{circumflex over ( )}”.

(23) Just like the other sequences, these Reserved Words are assigned a class No.

(24) These Reserved Classes can be used in the sequences and are immediately recognized by the method during the preprocessing phase.

Example

(25) previously, we have taught the method that there are four reserved classes: CR0={{circumflex over ( )}[ }, CR1={{circumflex over ( )}»}, CR2={{circumflex over ( )}«} and CR3={{circumflex over ( )}]}.

(26) These four classes known to the method allow us to establish the roles (Function or Parameter) played by the classes in a sequence.

(27) The following are also used: for CR0, the first reserved class {{circumflex over ( )}[ }; for CR1, the second reserved class {{circumflex over ( )}»}; for CR2, the third reserved class {{circumflex over ( )}«}; and for CR3, the fourth reserved class {{circumflex over ( )}]}.

(28) The figures in flow chart form serve to illustrate the following description.

(29) The Concept of a Generalized Class

(30) In order to teach the method the order {turn right}, in which {turn} plays the role of a function and {right} plays the role of a parameter, we directly enter the sequence: {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]}.

(31) The method recognizes in the sequence the sequences of Reserved Words used and substitutes them with the corresponding class numbers (Nos). The sequence will then be {CR0turn CR1leftCR3} (step 0).

(32) Next, the method identifies in the base (or will create if unknown) the classes {turn} and {right} or C1 and C2, {turn} being the sequence bounded by CR0 and CR1 and {right} being the sequence bounded by CR1 and CR3. The method then identifies in the base (or will create if unknown) the class {turn right} or C3, {turn right} being the sequence of C1+the sequence of C2. Next, the method will also store in the base, for the class C3, its class expression or {C1C2} and its direction, which indicates where the function is found in the expression {C1C2}, in this case “Am” (for upstream) since we have used {{circumflex over ( )}»}, and in {C1C2} the upstream class C1 is the function and hence the downstream class C2 is the parameter.

(33) The example described herein presumes that for the language used the sequence is read from left to right.

(34) This step is performed by the identification-creation step (step 2), whose purpose is to identify in the database, or create if unknown, all the component classes delimited by the classes CR0 through CR3 in the sequence.

(35) Thus, the class C1={turn} is now known to the method as an Upstream function class in C3.

(36) If we now directly enter the sequence {turn left} (without mentioning the reserved classes CR0 through CR3), the method will search this sequence to see if it can find any known functions (step 1/1). It finds in this sequence the previously learned class C1={turn} already known to be an Upstream function class in the class C3. By construction, the method will generalize the role of C1 in C3 by considering that C1 can also be an Upstream function class in {turn left}. Thus, the method itself adds the reserved classes CR0 through CR3 into the sequence as for C3. Our sequence then becomes: (steps 1/2 and 1/3) {{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]}.

(37) This step is performed by the Dichotomy step (step 1), whose purpose is to insert into the sequence it must process the classes CR0 through CR3 based on the functions known to the method. The method will then continue learning this sequence exactly as above (see step 2).

(38) The database is completed by the sequence C1={turn}, C4={left}, C5={turn left} and C5=={C1C4} with the Direction=Am.

(39) Thus, the method comprises the concatenation of the following steps.

(40) Step 0: preprocessing; step 1: dichotomy; step 2: identification-creation.

(41) The classes C3 and C5 are called “Generalized Classes” or G classes. The concept of generalization consisting of widely replicating a behavior observed in a case taken as an example, in this case the function role that a class can have.

(42) The G classes have in the database, in addition to their simple expression, a class expression, always constituted by two classes, and a direction. The G classes being always constituted by a function and a parameter, the direction will indicate where the function is located in the class expression. If the direction is Am, the function will be at the beginning and the parameter will be at the end, and vice versa.

(43) A G class can be written {{circumflex over ( )}[Function class{circumflex over ( )}»Parameter class{circumflex over ( )}]} for an Upstream G class or {{circumflex over ( )}[Parameter class{circumflex over ( )}«Function class{circumflex over ( )}]} for a Downstream G class.

(44) The classes CR0={{circumflex over ( )}[ }, CRI={{circumflex over ( )}»}, CR2={{circumflex over ( )}«}, CR3={{circumflex over ( )}]} will be called GI classes (G Indication classes), and they define the G classes in a sequence. Since the function and parameter classes themselves can be G classes, the GI classes make it possible to establish the functional dichotomy of a sequence. This functional dichotomy expresses the way in which the method has understood the sequence.

(45) Of the two elements of a G class, the function will be the one that is applied to the other.

(46) Example: common sense tells us that in {turn right} it is {turn} that is applied to {right} and not the other way around.

(47) The Concept of Dependent Functions

(48) The method knows how to recognize certain functions that make it possible to link two classes.

(49) Hence the sequence: {{circumflex over ( )}[Cx{circumflex over ( )}«{circumflex over ( )}[F0{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}]} (1).

(50) In this sequence Cx and Cy are any two classes playing the role of a parameter. These two classes are linked in the sequence by the function F0.

(51) We see that in this sequence: F0 is an Upstream function in the G class {{circumflex over ( )}[F0{circumflex over ( )}»Cy{circumflex over ( )}]} and the G class {{circumflex over ( )}[F0{circumflex over ( )}»Cy{circumflex over ( )}]} itself is a function, in this case a Downstream function in our sequence (1).

(52) A Class that is a function in one direction whose G classes using this class as a function are also functions but in the inverse direction is characteristic of so-called Dependent Functions or “Dep Functions.”

(53) If the method detects a majority of sequences like (1) above for a function F0, then it will generalize this behavior (the role of a function played by F0 and the role of a function with the inverse direction from F0 played by the G classes using F0) and will consider F0 to be a Dep Function.

(54) Which means that: if F0 is an Upstream Dep function class, then any G class using F0 is automatically a Downstream function class, and conversely: if F0 is a Downstream Dep function class, then any G class using F0 is automatically an Upstream function class: the inverse sequence of (1) above therefore being: {{circumflex over ( )}[{circumflex over ( )}[Cx{circumflex over ( )}«F0{circumflex over ( )}]{circumflex over ( )}»Cy{circumflex over ( )}]} (2).

Another Example

(55) Let us assume here: that the Rword {{circumflex over ( )}SETWHEEL} has been initialized, and that no function is known to the method.

(56) If we enter the sequence: {{circumflex over ( )}[turn right{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]}.

(57) The dichotomy step does not modify the sequence (no function is known).

(58) Once this sequence is learned by the identifier-Creator (step 2), the method will know that {means} is an Upstream Dep function and thus, if we then enter: {turn left means {circumflex over ( )}SETWHEEL−1}.

(59) The dichotomy step recognizes in the sequence the previously learned function {means} (step 1/1) and will insert into this sequence the Reserved Classes CR0 through CR3 corresponding to an Upstream Dep Function situation. Which results in (steps 1/2 and 1/3): {{circumflex over ( )}[turn left{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]{circumflex over ( )}]}.

(60) A sequence which is subsequently learned normally by the Identifier-Creator (step 2).

(61) Hereinafter, the term “GDep class” will be used to designate this type of sequence, i.e. one that corresponds to form (1) or (2).

(62) Hereinafter and by convention, the spaces separating the words of a natural language in a sequence are, in a generalized class, always carried exclusively by the function (comprised/included in the expression of the function) and not by the parameter.

(63) Executable Classes and the Reserved Word {circumflex over ( )}EXE

(64) In order to control a machine, the method must recognize the classes/sequences that must call the routines for controlling the machine.

(65) We have defined in the method the Reserved Word {{circumflex over ( )}EXE}, which is an Upstream function class, in order to make this recognition possible.

(66) By construction, the method considers to be an Executable class: any C class “tagged” with the Rword {circumflex over ( )}EXE, indicating that {{circumflex over ( )}[C{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]} has been learned; or any G class whose function is tagged with the Rword {circumflex over ( )}EXE, which means that any G class={circumflex over ( )}[Fx{circumflex over ( )}»Cx{circumflex over ( )}] or {circumflex over ( )}[Cx{circumflex over ( )}«Fx{circumflex over ( )}] such as {{circumflex over ( )}[Fx{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]} has been learned. These executable G classes have a parameter (or parameter class); or any GDep class whose Dep function is tagged with the Rword {circumflex over ( )}EXE, which means that any class GDep={{circumflex over ( )}[Cx{circumflex over ( )}«{circumflex over ( )}[Fx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}]} or inverse class such as {{circumflex over ( )}[Fx{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]} has been learned. These executable GDep classes have two parameters.

(67) The method has an “Execution” step (step 3/3) that will recognize these classes and execute them.

(68) Another example:

(69) Let us assume that we have connected to the method a small vehicle whose wheels we can turn with a wheel control routine and with the parameter:

(70) {1} to turn the wheels to the right,

(71) {−1} to turn the wheels to the left,

(72) {0} to set the wheels straight, and

(73) {circumflex over ( )}SETWHEEL is assumed to have been initialized in the Reserved Words and linked in the Execution algorithm to the routine for controlling the wheels of the vehicle.

(74) We will establish as an Upstream Function the Rword {circumflex over ( )}SETWHEEL by entering {{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]}.

(75) We will tag {circumflex over ( )}SETWHEEL with {circumflex over ( )}EXE to make the G classes using the function {circumflex over ( )}SETWHEEL executable. We will then enter: {{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]}.

(76) Thus, the entry of {{circumflex over ( )}SETWHEEL1}: is understood by the method as {{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]} (step 1), is identified since it has already been created above, i.e. Cx (step 2), and is executed since it is recognized as an executable class (step 3/3).

(77) Because Cx is a G class whose function {circumflex over ( )}SETWHEEL is “tagged” with {circumflex over ( )}EXE, the execution step calls the wheel control routine with the parameter {1} which turns the wheels to the right.

(78) Likewise, {{circumflex over ( )}SETWHEEL0} sets the wheels straight and {{circumflex over ( )}SETWHEEL−1} turns the wheels to the left.

(79) The execution step being called by the method, which is itself called after the Dichotomy and the Identification-Creation. The concatenation of steps is thus step 0: preprocessing; step 1: dichotomy; step 2: identification-creation; step 3: application 3, execution 3/3

(80) The Equivalence Functions and the Reserved Word {circumflex over ( )}EQV

(81) The purpose of the method being to convert an order into an executable sequence, it must identify both the sequences to be converted and their equivalent sequence.

(82) In order to do this, the Reserved Word {{circumflex over ( )}EQV}, a Downstream Function, is defined in the method, making it possible, as before, to “tag” functions. Once tagged with {circumflex over ( )}EQV a function is recognized by the method as an equivalence function.

(83) In this case, the tagged functions are Dep, thus making it possible to link a sequence to its equivalent sequence. Les G Dep and Equivalence classes will have the following form:

(84) {{circumflex over ( )}[C{circumflex over ( )}«{circumflex over ( )}[Feqv{circumflex over ( )}»Ceqv{circumflex over ( )}]{circumflex over ( )}]}, with {{circumflex over ( )}[Feqv{circumflex over ( )}«{circumflex over ( )}EQV{circumflex over ( )}]} being known/learned, wherein Feqv in this case is the Am and Dep and equivalence function, C is the class that can be converted, Ceqv is the class equivalent to C.

(85) The method has an equivalence step that will search the base, for the C classes entered into it, their equivalent class Ceqv (step 3/2).

(86) This algorithm is called in the Application algorithm prior to Execution.

(87) The concatenation of Algorithms thus being the following:

(88) step 0: preprocessing; step 1: dichotomy; step 2: identification-creation; step 3: application 3, equivalent 3/2, execution 3/3.

Example

(89) We must first teach the method an equivalence for a class. Let us continue with the previous example by entering: {{circumflex over ( )}[turn right{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]} (1).

(90) This establishes {means} as an Upstream Dep Function.

(91) We establish {means} as a equivalence Function by “tagging” it with {circumflex over ( )}EQV

(92) We will therefore enter: {{circumflex over ( )}[means {circumflex over ( )}«{circumflex over ( )}EQV{circumflex over ( )}]}.

(93) The above sequence (1) is now considered by the equivalence step, and thus by the method, to be a G Dep and Equivalence class.

(94) If we now enter: {turn right}.

(95) The dichotomy step has no effect this time (there is no function in the sequence) (step 1).

(96) The identification-creation step finds the class, because it was created during (step 1) above, i.e., Cy (step 2).

(97) Thus, the sequence is now {Cy} (step 3/1).

(98) The Application/execution step starts the iteration for Cy (step 3/1).

(99) The equivalence step for Cy (step 3/2) is called, and an equivalent class Cx={{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]} is found; the sequence {Cy} is therefore replaced by the sequence {Cx{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]} (see LGI sequences below).

(100) The application/execution step then resumes for this new sequence.

(101) The Application step starts the iteration for Cx (step 3/1). The Equivalence step for Cx is called; the Equivalence step does not know any equivalence for Cx (step 3/2). The Execution step for Cx (3/3) is called, which will turn the wheels to the right!

(102) It then suffices to enter the equivalences: {turn left means {circumflex over ( )}SETWHEEL−1} and {go straight means {circumflex over ( )}SETWHEEL0}, in order for the orders {turn left} and {go straight} to be correctly executed.

(103) Details on the Sequences—the GI and LGI Formats

(104) During the various steps 0/1/2, the sequences will evolve. Lets look at how:

(105) In Sequence Preprocessing Step 0:

(106) the sequence received is a “String” (character string), and each character is coded either: in 8 bits if the method is working in extended ASCII or UTF-8; in 12 or 16 bits if the method is working in UTF-12 or UTF-16; and more generally, in as many bits as necessary to cover all of the necessary characters of the languages in question.

(107) By construction, in this exemplary application the first classes are reserved for characters. The non-character classes come afterwards. And in order to include in the same sequence both characters and classes (Rwords for example) whose Nos will be found after 255 (in ASCII), the sequence is conventionally binarized in 32 bits for current computers (step 0/1). The maximum number of class thus being (2{circumflex over ( )}31−1) (class Nos are always positive).

(108) The sequences processed by the method are, at the end of the Sequence Reception (step 0) and thereafter, strings of “Large Integers,” the English terminology for “grands entiers” in French.

(109) During preprocessing, the sequences corresponding to reserved words are replaced by their class number Nos.

(110) In Dichotomy Step 1:

(111) The purpose of the Dichotomizer is to insert the GI classes (CR0 through CR3) into the sequence to be processed based on the functions: already known to the method in the database; found in the sequence; and not already participating in a G class in the sequence.

Example 1

(112) If the sequence to be processed is {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]}, assuming {turn} to be already known as an Upstream function class. The only function class found will be {turn} but it is already participating in a G class, in which it is preceded by CR0={{circumflex over ( )}[ } and followed by CR1={{circumflex over ( )}»}.

(113) Thus, the Dichotomizer cannot process this function and therefore does not modify the sequence.

Example 2

(114) If the sequence to be processed is: {{circumflex over ( )}[turn right{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]} and assuming {turn} and {{circumflex over ( )}SETWHEEL} to be already known as Upstream function classes.

(115) The first function found will be {turn}, which is not participating as a function in a G class and can therefore be processed (step 1/1). The range of its parameter ends at CR2={{circumflex over ( )}«}, so the entity to be processed is the parameter: {turn right}, the interlinking of G classes being prohibited (step 1/2).

(116) The dichotomizer transforms {turn right} into {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]} in the sequence (step 1/3).

(117) This gives us the sequence: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]}

(118) The Dichotomizer then resumes the function search (step 1/1).

(119) It will find {turn}, which is already expressed and is participating as a function in a G class, and therefore moves on: it will not consider either {means {circumflex over ( )}SETWHEEL1} or {means}, which at this point are not known as functions (the sequence has not yet been created, this being done in the next step (step 2).

(120) It finds {{circumflex over ( )}SETWHEEL}, which is not expressed and can therefore be processed exactly as before for {turn}.

(121) The entity to be processed this time being the parameter {{circumflex over ( )}SETWHEEL1} (step 1/2).

(122) {{circumflex over ( )}SETWHEEL1} is therefore transformed in the sequence into {{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]} (step 1/3).

(123) The Dichotomizer resumes the function search and will find no more unexpressed functions.

(124) We will then have on output from the Dichotomizer the sequence: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]}; this sequence expresses the structure of the corresponding class.

(125) In this example the Dichotomizer has received a sequence already comprising GI classes.

(126) It has nevertheless completed the dichotomy of the sequence submitted to it by going through all the functions known to the method that are present in this sequence.

(127) A sequence comprising the GI classes for all the functions known to the method and present in the sequence will be called a “GI sequence.” This sequence format is the output format of the sequences for the Dichotomizer. This will also be the input format of the sequences for the Identification-Creation algorithm.

(128) In Identification-Creation Step 2:

(129) The purpose of the identification-Creation step is either to identify (if known) the component classes of the sequence (delimited by the GI classes), or to create them in the database.

(130) Let us take as the sequence to be processed the previous GI sequence output from the Dichotomizer: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} (1), in which only {turn}, {{circumflex over ( )}SETWHEEL} and {1} are known from the base. In fact, {1} being a character, by construction it is already known ({1} to be the class 49 in the case of extended ASCII or UTF-8).

(131) This GI sequence will gradually be converted, as classes are identified or created, into an LGI sequence in which: the Nos of the G classes will be added into the GI sequence BEFORE their class CR0.

(132) Example: Cz={{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]} will produce the LGI sequence {Cz{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]}. The sequences of the Non-G classes will simply be substituted by their Nos.

(133) Example: if Cx={turn} and Cy={right} in the base for {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]} will result in {{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]}.

(134) The “L” in LGI comes from Lead class, the English terminology for “numéro de class en tête” in French. In other words, a “sequence with Lead and G Indication classes.” In this format, a sequence itself carries all of the necessary information for its Application/execution (step 3).

(135) A G class can only be created if its Function AND its Parameter are already known in the base—in other words, if a class number No has already been assigned to them. The concatenations of the Dichotomizing step take this into account.

(136) Applied to our sequence (1), this means Start iteration for the class CR0={{circumflex over ( )}[ } in the 1st position in (1) (step 2/1). The G class in the sequence is unknown—if it were actually known we would have a Lead Class {C{circumflex over ( )}[ . . . And its Function and Parameter are unknown in the sequence (again, no lead class for either of the latter). We are therefore in the situation of step 2/7.fwdarw.Return iteration.

(137) Continue iteration for the class CR0={{circumflex over ( )}[ } in the 2nd position in (1) (step 2/1): Here again we are in the situation of step 2/7: an unknown G class in the sequence whose Function and Parameter are also unknown in the sequence.fwdarw.Return iteration.

(138) Continue iteration for the class {t} in the 3rd position in (1) (step 2/1): This is a Non-G class (since not CR0 and not followed by CR0}, unknown in the sequence (since not followed by CR1 or CR2 or CR3).

(139) We are in the situation of step 2/5. Accordingly Extract the class sequence from the current position (3) to the first CR1 or CR2 or CR3 encountered, i.e. the extracted sequence {turn}; Search the base for this already known sequence, i.e., Cx; Substitute {turn} with Cx in the sequence, i.e.: {{circumflex over ( )}[{circumflex over ( )}[Cx{circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} (2) and Return iteration.

(140) Continue iteration for the class CR1={{circumflex over ( )}»} in the 4th position in (2) (step 2/1): We are in the situation of step 2/2.fwdarw.Return iteration.

(141) Continue iteration for the class {r} in the 5th position in (2) (step 2/1): This is a Non-G class (since not CR0 and not followed by CR0}, unknown in the sequence (since not followed by CR1 or CR2 or CR3).

(142) We are in the situation of step 2/5. Accordingly Extract the class sequence from the current position (5) to the first CR1 or CR2 or CR3 encountered, i.e. the extracted sequence {right}, Search the base for this sequence—Unknown, therefore created in the base, i.e., Cy; Substitute {right} with Cy in the sequence, i.e.: {{circumflex over ( )}[{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}({circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} (3); and Return iteration.

(143) Continue iteration for the class CR3={{circumflex over ( )}] } in the 6th position in (3) (step 2/1): We are in the situation of step 2/3. Accordingly, we resume the iteration in the second position—which is the start position of the G class corresponding to CR3 in the sixth position and to the absence of a lead.

(144) Continue iteration for the class CR0={{circumflex over ( )}[ } in the 2nd position in (3) (step 211): We are in the situation of an unknown G class in the sequence (no lead) whose Function and Parameter are known (Cx and Cy)—this is the situation of step 2/6. Accordingly Extract the class sequence=sequence of the Function+ sequence of the parameter, i.e., the class sequence={turn}+{right}={turn right}; identify or (in our case) Create the sequence in the base, i.e., Cz; insert this No (Cz) upstream from its CR0 in the sequence, i.e., the sequence {{circumflex over ( )}[Cz{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} (4); and Return iteration for the class following the end of the class Cz, i.e., in the eighth position.

(145) Continue iteration for the class CR2={{circumflex over ( )}«} in the 8th position in (4) (step 2/1): The method continues in the same way and creates all of the necessary classes, constructing the LGI sequence with the form {Cs{circumflex over ( )}[Cz{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}«Ct{circumflex over ( )}[Cw{circumflex over ( )}»Cu{circumflex over ( )}[CR6{circumflex over ( )}»Cv{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} with: Cx={turn} Cy={right}, Cz={turn right}=={CxCy}Am, CR6={{circumflex over ( )}SETWHEEL}, Cv={1}, Cu={{circumflex over ( )}SETWHEEL1}=={CR6Cv}Am, Cw={means} Cu={{circumflex over ( )}SETWHEEL1}, Ct={means {circumflex over ( )}SETWHEEL1}=={CwCu}Am, Cz={turn right}, Ct={means {circumflex over ( )}SETWHEEL1}, Cs={turn right means {circumflex over ( )}SETWHEEL1}=={CzCt}Av.

(146) The LGI sequences have the great advantage of linearizing the structure of the classes (see FIG. 6). Thus, an iteration on the classes of an LGI sequence makes it possible to “scan” all the classes involved in the structure, starting with the largest and maintaining chronological order.

(147) It should be noted that the 1st class of an LGI sequence will always be the class No of the sequence! (Cs in the above example). The LGI Sequences express the way in which the method has learned and understood a sequence.

(148) These sequences are very easy to reconstruct from the database.

(149) Reconstruction of an LGI Sequence of a Class:

(150) We take a class Cs for which we want the LGI sequence (we will reuse the data from the example).

(151) We will start with the sequence {Cs}, iteration on the classes of the sequence (We ignore the GI classes CR0 through CR3): Process the class in the Xth position (Cs in the 1st position); Access the base for the class (Cs); If the class is Non-G.fwdarw.Continue iteration; If the class is G (Cs is G because it has a class expression and a direction). We take its class expression and its direction (i.e. {CzCt} and Av); We insert into this expression the GI classes corresponding to the direction in order to form the class sequence (i.e. {{circumflex over ( )}[Cz{circumflex over ( )}«Ct{circumflex over ( )}]}); We insert into the sequence after the class No this class sequence (i.e. {Cs{circumflex over ( )}[Cz{circumflex over ( )}«Ct{circumflex over ( )}]}); and Return iteration. Process the class in the Xth position (Cz in the 3rd position); Access the base for the class (Cz); If the class is Non-G.fwdarw.Continue iteration; If the class is G (Cz is G). We take its class expression and its direction (i.e. {CxCy} and Am); We insert into this expression the GI classes corresponding to the direction in order to form the class sequence (i.e. {{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]}); We insert this class sequence into the sequence after the class No, i.e., {Cs{circumflex over ( )}[Cz{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}«Ct{circumflex over ( )}]}); and Return iteration.

(152) And, so on up to the following LGI sequence: {Cs{circumflex over ( )}[Cz{circumflex over ( )}[Cx{circumflex over ( )}»Cy{circumflex over ( )}]{circumflex over ( )}«Ct{circumflex over ( )}[Cw{circumflex over ( )}»Cu{circumflex over ( )}[CR6{circumflex over ( )}»Cv{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]}.

(153) Boundary Rules:

(154) The dichotomy step, in order to make it possible to consider a function identified in a sequence, must observe the following boundary rules: an Upstream Non-Dep function must be at the start of the sequence or immediately preceded by CR0={{circumflex over ( )}[ } or by CR1={{circumflex over ( )}»} or by CR2={{circumflex over ( )}«} (One of the first three GI classes); and a Downstream Non-Dep function must be at the end of the sequence or immediately followed by CR1={{circumflex over ( )}»} or by CR2={{circumflex over ( )}«} or by CR3={{circumflex over ( )}]} (One of the last three GI classes).

(155) These rules ensure correct chronology in the dichotomy and avoid interpretation errors.

Example

(156) we presume in this case to know that {turn} is an Upstream function. In the sequence {make a U-turn and stop} the function {turn} will not be considered in this sequence because it does not observe the above-mentioned boundary rule.

(157) An Upstream (Dep or non-Dep) function must not be at the end of a sequence or immediately followed by CR1={{circumflex over ( )}»} or by CR2={{circumflex over ( )}«} or by CR3={{circumflex over ( )}]} (One of the last three GI classes).

(158) A Downstream (Dep or non-Dep) function must not be at the start of a sequence or immediately preceded by CR0={{circumflex over ( )}[ } or by CR1={{circumflex over ( )}»} or by CR2={{circumflex over ( )}«} (One of the first three GI classes).

(159) These rules guarantee that the parameter of the function is an existing (non-zero) parameter.

(160) An Upstream function preceded by CR0={{circumflex over ( )}[ } and followed by CR1={{circumflex over ( )}»} is already participating in a G class and therefore will not be considered. The same applies to a Downstream function preceded by CR2={{circumflex over ( )}«} and followed by CR3={{circumflex over ( )}]}.

(161) The Concept of Hierarchy:

(162) The term Hierarchy designates the relationship that can exist between two functions with inverse directions.

(163) Let F1 be an Upstream function, F2 a Downstream function and Pi a parameter, if in the database, there are one (or more) class(es) Ci with the form Ci={{circumflex over ( )}[F1{circumflex over ( )}»{circumflex over ( )}[Pi{circumflex over ( )}«F2{circumflex over ( )}]{circumflex over ( )}]}, then the method deduces from this that there is a dominant hierarchy of F1 over F2. This hierarchy will be written F1>>>F2.

(164) If on the other hand there are one (or more) class(es) Cj in the base with the form Cj={{circumflex over ( )}[{circumflex over ( )}F1{circumflex over ( )}»Pj{circumflex over ( )}]{circumflex over ( )}«F2{circumflex over ( )}]}, then the method deduces from this that there is a dominant hierarchy of F2 over F1. This hierarchy will be written F1<<<F2.

(165) If simultaneously there are Ni classes with the form Ci and Nj classes with the form Cj, the method takes the most frequently known hierarchy. In other words, if Ni>Nj, the method takes F1>>>F2 and vice versa.

(166) If there is a hierarchy with a function that is a G class of a Dep function, then the method applies the same hierarchy for all other functions that are also G classes of the same Dep function (but with a parameter that may be different).

(167) These hierarchies are directly and essentially useful in the dichotomy of a sequence and enable the dichotomy module to determine the range of the parameter applicable to a function. In fact, the parameter of a non-dominant function cannot contain a function that is dominant over it.

Example

(168) If we have submitted to the method the following sequence: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]} (5).

(169) The method has therefore learned: that {turn} is an Upstream function; that {means} is an Upstream and Dep function; that there is a hierarchy {turn}<<<{means {circumflex over ( )}SETWHEEL1} and that there is therefore a hierarchy {turn}<<<{means xxx} wherein xxx is any parameter of {means}; and that {{circumflex over ( )}SETWHEEL} is an upstream function.

(170) If we then enter the sequence: {turn left means {circumflex over ( )}SETWHEEL−1}. The dichotomy step finds the function {turn} having as a parameter all or part of {left means {circumflex over ( )}SETWHEEL−1}. The dichotomy searches for the functions in this parameter and finds {means}, which is an Upstream Dep function for which the G classes are automatically Downstream functions and for which we know an example that is hierarchically dominant over {turn} in the sequence (5).

(171) The method consequently limits the range of the parameter to {left}. After the insertion of the GI classes, the sequence will be: {{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}] means {circumflex over ( )}SETWHEEL−1}.

(172) The next acceptable function will be {means}, an Upstream function having as a parameter all or part of {{circumflex over ( )}SETWHEEL−1}.

(173) The dichotomy step does not find any downstream Function in this parameter, so it will not limit the range of the parameter and will insert the GI classes, such that {{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]}. Then, it will resume the function search for this sequence. It will find {{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]}, which is a Downstream function because {means} is an Upstream Dep function. The parameter {{circumflex over ( )}[turn {circumflex over ( )}>>left{circumflex over ( )}]} being a G class, there is no need to search for a function in this case. Thus, the dichotomy step will insert the following GI classes {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]{circumflex over ( )}]}, and then it will resume the function search and find {{circumflex over ( )}SETWHEEL}, an upstream function.

(174) After the insertion of the GI classes, we will have: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»−1{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}]}, which is the dichotomy of our sequence.

(175) Rules for Updating Classes in the Identifier-Creator

(176) Each simple sequence (comprising only characters, and not comprising any GI sequences) must be present only once in the database. Thus, each simple sequence is represented by a single unique class No in the database. In order to maintain this principle of uniqueness, the identification-creation module observes the following rules: the class to be created is G and known as Non-G.fwdarw.The class is updated by the addition of its class expression and its direction, the class to be created is Non-G and known as G.fwdarw.no update to be performed, the class remains G in the database, the class to be created is G and known as G in a different form (the direction and/or the function and the parameter are different).fwdarw.the class expression and the direction are updated (the new version is dominant over the old one), the class to be created (G or Non-G) is known in the same form.fwdarw.No update to be performed, and the class to be created (G or Non-G) is unknown in the database.fwdarw.Create the new class.
Correcting Comprehension Failures

(177) In certain cases, (absence of a function definition, no defined hierarchy, etc.), the dichotomy step may establish a faulty dichotomy for a sequence. In that event, the sequence need only be re-entered, indicating the GI classes in connection with what must be understood. The sequence will then be corrected.

(178) Exemplary Application

(179) For this example, we will return to the control of a small vehicle introduced above and develop it further. We will start with a blank base and display the status of the base in each step.

(180) a) Initialization of the Base

(181) In the case of Reserved Words:

(182) TABLE-US-00001 No simple expression Class expression direction CR0 {circumflex over ( )}[ CR1 {circumflex over ( )}» CR2 {circumflex over ( )}« CR3 {circumflex over ( )}] CR4 {circumflex over ( )}EXE CR5 {circumflex over ( )}EQV CR6 {circumflex over ( )}SETWHEEL CR7 {circumflex over ( )}SETENGINE
b) Control of the Wheels

(183) Establish {circumflex over ( )}SETWHEEL as an Upstream function: {{circumflex over ( )}[{circumflex over ( )}SETWHEEL{circumflex over ( )}»1{circumflex over ( )}]}.

(184) TABLE-US-00002 No simple expression Class expression direction C1 1 C2 {circumflex over ( )}SETWHEEL1 CR6C1 Am

(185) Establish {circumflex over ( )}SETWHEEL as an Executable Function: {{circumflex over ( )}SETWHEEL{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]}.

(186) TABLE-US-00003 No simple expression Class expression direction C3 {circumflex over ( )}SETWHEEL{circumflex over ( )}EXE CR6CR4 Av

(187) Establish {means} as an Equivalence: {{circumflex over ( )}[means {circumflex over ( )}«{circumflex over ( )}EQV{circumflex over ( )}]}.

(188) TABLE-US-00004 No simple expression Class expression direction C4 means C5 means {circumflex over ( )}EQV C4CR5 Av

(189) Teach the Equivalences:

(190) (i) For turning the wheels to the right: {{circumflex over ( )}[turn right{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]}.

(191) TABLE-US-00005 No simple expression Class expression direction C6 means {circumflex over ( )}SETWHEEL1 C4C2 Am C7 turn right C8 turn right means {circumflex over ( )}SETWHEEL1 C7C6 Av

(192) (ii) For turning the wheels to the left: {turn left means {circumflex over ( )}SETWHEEL−1}.

(193) TABLE-US-00006 No simple expression Class expression direction C9 −1 C10 {circumflex over ( )}SETWHEEL−1 CR6C9 Am C11 means{circumflex over ( )}SETWHEEL−1 C4C10 Am C12 turn left C13 turn left means {circumflex over ( )}SETWHEEL−1 C12C11 Av

(194) (iii) To set the wheels straight: {go straight means {circumflex over ( )}SETWHEEL0}.

(195) TABLE-US-00007 No simple expression Class expression direction C14 0 C15 {circumflex over ( )}SETWHEEL0 CR6C14 Am C16 means {circumflex over ( )}SETWHEEL0 C4C15 Am C17 go straight C18 go straight means {circumflex over ( )}SETWHEEL0 C17C16 Av
IC Control of the Engine

(196) This time we will use the Rword {circumflex over ( )}SETENGINE, an Upstream Function whose parameters are {1} for forward, {0} for stop, {−1} for reverse.

(197) {circumflex over ( )}SETENGINE is linked in the execution step to the control of the engine.

(198) The corresponding orders are: {go ahead} for forward, {stop} for stop, and {move back} for reverse.

(199) Establish {circumflex over ( )}SETENGINE as an Upstream Function: {{circumflex over ( )}[{circumflex over ( )}SETENGINE{circumflex over ( )}»1{circumflex over ( )}]}

(200) TABLE-US-00008 No simple expression Class expression direction C19 {circumflex over ( )}SETENGINE1 CR7C1 Am

(201) Establish {circumflex over ( )}SETENGINE as an Executable Function: {{circumflex over ( )}[{circumflex over ( )}SETENGINE{circumflex over ( )}«{circumflex over ( )}EXE{circumflex over ( )}]}

(202) TABLE-US-00009 No simple expression Class expression direction C20 {circumflex over ( )}SETENGINE{circumflex over ( )}EXE CR7CR4 Av

(203) Teach the Equivalences: (i) For setting the engine in forward: {go ahead means {circumflex over ( )}SETENGINE1}.

(204) TABLE-US-00010 No simple expression Class expression direction C21 means {circumflex over ( )}SETENGINE1 C4C19 Am C22 go ahead C23 go ahead means {circumflex over ( )}SETWHEEL1 C22C21 Av (ii) For setting the engine in reverse: {move back means {circumflex over ( )}SETENGINE−1}.

(205) TABLE-US-00011 No simple expression Class expression direction C24 {circumflex over ( )}SETENGINE-1 CR7C9 Am C25 means {circumflex over ( )}SETENGINE-1 C4C19 Am C26 move back C27 move back means {circumflex over ( )}SETENGINE-1 C26C25 Av (iii) For stopping the engine: {stop means {circumflex over ( )}SETENGINE0}

(206) TABLE-US-00012 No simple expression Class expression direction C28 {circumflex over ( )}SETENGINE0 CR7C14 Am C29 means {circumflex over ( )}SETENGINE0 C4C28 Am C30 stop C31 Stop means {circumflex over ( )}SETENGINE0 C30C29 Av At this point we have therefore taught the method to execute the necessary orders for controlling our vehicle, i.e.: turn right, turn left, go straight, go ahead, move back, and stop.
Equivalent Orders

(207) In this case we want to have synonyms for certain orders, for example, we want the method to correctly understand the order {make a right}. To achieve this, we could simply enter {make a right means {circumflex over ( )}SETWHEEL 1} which will work.

(208) Instead, we will enter the equivalence: {make a right means turn right}.

(209) Once this equivalence is learned in the usual way, we will be able to enter {make a right}: the method calls the equivalence function for this sequence, which finds the equivalent class {turn right}, and continues; the equivalence function then finds {{circumflex over ( )}SETWHEEL1} and then resumes the method; and once the equivalence function finds no further equivalences, the method moves on to the execution step and turns the wheels to the right.

(210) This order will then be executed by the machine.

(211) In a variant, according to one example, the identification-creation step is performed at the same time as the dichotomy step.

(212) Returning to FIG. 6, this figure shows an exemplary class C9 and classes involved in the structure of the class C9. The figure shows the relationships between the classes once the processing operations are completed. The simple expressions are indicated in the bubbles. P indicates a parameter. F represents the function.

(213) TABLE-US-00013 No simple expression Class expression direction C1 turn C2 right C3 turn right C1C2 Am C4 means C5 {circumflex over ( )}SETWHEEL C8 1 C7 {circumflex over ( )}SETWHEEL1 C5C6 Am C8 means {circumflex over ( )}SETWHEEL1 C4C7 Am C9 turn right means {circumflex over ( )}SETWHEEL1 C3C8 Av
Details and Examples of Hierarchies

(214) A function class is also just called a function. A parameter class is also just called a parameter.

(215) The principle of dichotomy is that the hierarchical relationships between two functions make it possible to dichotomize a sequence.

(216) Case 1—Assuming an upstream function precedes a downstream function in the sequence: If the System knows of a simple hierarchy between these two functions.fwdarw.the System applies this hierarchy (inserts the corresponding GI classes into the sequence).

Example 1

(217) The case of a known hierarchy in the table of hierarchical relationships, we take a database in which it is known of the following elements that: {turn} is an upstream function; {quickly} is a downstream function; and the hierarchical relationship: {turn}<<<{quickly} (the function {quickly} is dominant over the function {turn}).

(218) The sequence {turn right quickly} is entered.

(219) In the dichotomy step b), the upstream function {turn} is recognized to be correctly bounded and can therefore be considered.

(220) A search is then conducted for the range of its parameter, which begins with “r.”

(221) The downstream function {quickly} is then recognized to be hierarchically dominant over {turn}.

(222) Thus, the parameter ends with the previous “t” {quickly} and the function {turn} has precedence over the function {quickly} in the adoption of the parameter {right}. The corresponding GI are inserted into the sequence {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}] quickly}, and then the algorithm continues. The only correctly bounded function not yet processed in the sequence is {quickly}. There is no hierarchical interaction with another function, and its parameter begins at the start of the sequence and ends in the position preceding {quickly}. Thus, the following GI are inserted: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}″quickly{circumflex over ( )}]}.

Example 2

(223) The case of an unknown hierarchy in the table, we use the evaluation of a hierarchy. We take a database in which there are three known sequences: S1={{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»north{circumflex over ( )}]{circumflex over ( )}″quickly{circumflex over ( )}]}, S2={{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»south{circumflex over ( )}]{circumflex over ( )}]{circumflex over ( )}″quickly{circumflex over ( )}]} and S3={{circumflex over ( )}[turn {circumflex over ( )}»{circumflex over ( )}[left{circumflex over ( )}″quickly{circumflex over ( )}]{circumflex over ( )}]}.

(224) From these three sequences, the System knows that: {turn} is an upstream Function; and {quickly} is a downstream Function.

(225) The sequence {turn right quickly} is entered.

(226) During the dichotomy step b) and exactly as in Example 1 herein, the two functions {turn} and {quickly} are recognized, but the lack of a hierarchical relationship between these two functions in the table requires the system (or method) to evaluate it. The number of recurrences for both functions is therefore counted, i.e., N12=1 (corresponding to S3) and N21=2 (corresponding to S1 and S2), thus indicating that, since N21>N12, then {turn}<<<{quickly}, and just as in Example 1 herein, the GI such as {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}″quickly{circumflex over ( )}]} are inserted into the sequence.

(227) If the system (or method) does not know any simple hierarchy between these two functions, and at least one (or both) of the functions are ParDep functions, then the system will search for the hierarchy of: the upstream function, if the latter is not a ParDep function; the lists of upstream ParDep functions of the upstream function, if the latter is a ParDep function; and/versus the downstream function, if the latter is not a ParDep function; the list of downstream ParDep functions of the downstream function, if the latter is a ParDep function.
If the system finds a hierarchy.fwdarw.The system applies the found hierarchy.

Example 3

(228) The case of an unknown Hierarchy of an upstream Function versus a downstream ParDep function: use the lists of ParDep functions of a Dep function used in a ParDep function. We take a database in which it is known of the following elements that: {means} is an upstream Dep Function; S4={{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]}; and S5={{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]{circumflex over ( )}]}.

(229) The System therefore knows that: {turn} is an upstream function; and S4 is a downstream ParDep function. Let S6={{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]} be a downstream ParDep function.

(230) The System knows of no direct/simple hierarchical relationship of {turn} versus {means {circumflex over ( )}SETWHEEL1}, and {turn right means {circumflex over ( )}SETWHEEL1} is entered.

(231) During the dichotomy step b), the upstream function {turn} will be processed because it is correctly bounded (the GI classes). During the search for the range of its parameter, the downstream function S4={means {circumflex over ( )}SETWHEEL1} is found, but so is the upstream Dep function {means}, both of them correctly bounded. The function S4, being a generalized class using {means}, will take priority over the latter in the processing in the absence of any knowledge of a hierarchical relationship between these two functions. Since S4 is a ParDep function, the hierarchical relationship of {turn} versus the list of ParDep functions the Dep function {means}, i.e., S4 and S6, is evaluated. The generalized class S5 gives us an occurrence such as {turn}<<<S6, so this hierarchy will be applied and {turn} will therefore take precedence in the adoption of the parameter {right} and ultimately, the system/method will obtain: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]}.

(232) If the system still does not find a hierarchy, the system will then search for the hierarchy of: the list of upstream functions related to the upstream function; and/versus the list of downstream functions related to the downstream function. If the System then finds a hierarchy.fwdarw.the System applies the found hierarchy.

(233) Case 2—Upstream function preceding an upstream Dep function in the sequence: Only functions with inverse directions can interact with each other hierarchically, so in the hierarchical evaluation, the upstream Dep function will be substituted by the list of downstream ParDep functions of this upstream Dep function. This corresponds to an anticipation in the sequence of a future downstream ParDep function of the upstream Dep function that will appear during the dichotomy.

Example 4

(234) The case of an unknown Hierarchy of an upstream Function Versus an upstream Dep Function: use the lists of ParDep functions. We take a database in which it is known of the following elements that: {means} is an upstream Dep Function Dep; and S5={{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»left{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]{circumflex over ( )}]}. The System therefore knows that: {turn} is an upstream function. Let S6={{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL−1{circumflex over ( )}]} be an upstream ParDep function, and {turn right means {circumflex over ( )}SETWHEEL1} is entered.

(235) During the dichotomy step b) the upstream function {turn} will be processed because it is correctly bounded During the search for the range of its parameter, the upstream Dep function {means} is found, the hierarchical relationship of the function {turn} versus the ParDep function list of {means}, i.e., S6, is then evaluated. The generalized class S5 gives us an occurrence such as {turn}<<<S6. Therefore, {turn} will take precedence in the adoption of the parameter {right} and the following GI will be inserted {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}] means {circumflex over ( )}SETWHEEL1}. The next function to be processed is the function {means}, which is an upstream function. Since there are no other functions with which it can interact hierarchically, its parameter will begin at {circumflex over ( )}SETWHEEL and end at the end of the sequence. The following GI is then inserted: {{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]}. The last function to be processed is the downstream ParDep function {{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]}. After the insertion of the GI classes and ultimately, the system/method will obtain: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}]}.

Example 5

(236) The case of an unknown Hierarchy of an upstream Function versus an upstream Dep Function: use related functions for the hierarchical evaluation: {means} as an upstream Dep function {signifies} as an upstream Dep function; and the hierarchical relationship {turn}<<<{means}. Two sequences: S7={{circumflex over ( )}[means{circumflex over ( )}″ is a verb of equivalence{circumflex over ( )}]} and S8={{circumflex over ( )}[signifies{circumflex over ( )}″ is a verb of equivalence{circumflex over ( )}]}, and {turn right signifies {circumflex over ( )}SETWHEEL1} is entered.

(237) During the dichotomy step b) the upstream function {turn} will be processed because it is correctly bounded. During the search for the range of its parameter, the upstream Dep function {signifies} is found. The hierarchical relationship of the function {turn} versus the list of ParDep functions of {signifies} is then evaluated. The list being empty, there is therefore no hierarchy via this mode, so the related functions of {signifies} are searched. The system/method will then find via S7 and S8, the function {means}, and will then search for the hierarchy of {turn} versus {means}, which the system/method knows to be {turn}<<<{means}. Thus, {turn} will take precedence in the adoption of the parameter {right} and ultimately, the system/method will obtain: {{circumflex over ( )}[{circumflex over ( )}[turn {circumflex over ( )}»right{circumflex over ( )}]{circumflex over ( )}«{circumflex over ( )}[means {circumflex over ( )}»{circumflex over ( )}SETWHEEL1{circumflex over ( )}]{circumflex over ( )}].

(238) This feature is nonlimiting and can even be expanded. It is possible, for example, if no hierarchies are found at the end of the preceding concatenations, to expand the list of related functions obtained previously by all the functions related to this list, then resume the hierarchical evaluations, and so on.

(239) There is a compromise to be made between the processing times linked to the hierarchical evaluations and the acceptable comprehension error in the system/method.