{"id":384133,"date":"2024-06-29T05:19:19","date_gmt":"2024-06-29T05:19:19","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=384133"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=384133","title":{"rendered":"Context category<\/span>"},"content":{"rendered":"
<\/div>\n
\n
\n
\n
\n

Similarity and sameness<\/h2>\n

The mathematical model of signed sequences with repetitions (texts) is a multiset. The multiset was defined by D. Knuth in 1969 and later studied in detail by A. B. Petrovsky [1]<\/a>. The universal property of a multiset is the existence of identical elements. The limiting case of a multiset with unit multiplicities of elements is a set. A set with unit multiplicities corresponding to a multiset is called its generating set or domain. A set with zero multiplicity is an empty set.<\/p>\n

The problem is determining whether the elements are the same. The similarity depends on the properties of these elements that are taken into account. Cucumbers and watermelons are similar in color externally, but it is difficult to call them the same in gastronomic use, although the botanical description is largely the same.<\/p>\n

According to G. Frege, any object that has relations with other objects and their combinations has as many properties (values) as these relations. The part of the values taken into account is called the meaning that the object is represented in this situation. The name of an object by a number, symbol, word, picture, sound, gesture for its short description is called an object sign (this is one of the values).<\/p>\n

All possible parts of the object\u2019s values (meaning) correspond to a single sign. This is the main problem of recognizing meaning, but at the same time the basis for making do with minimal sets of characters. It is not possible to assign a unique sign to each subset of values. The objects of information exchange are the minimum sets of characters (notes, alphabet, language dictionary). The meaning of signs is usually not calculated, but determined by the sign contexts (neighborhoods) intuitively.<\/p>\n

The solution to the problem of ambiguity of signs is the semantic markup of the text. The semantic markup can be explained by the example of extreme unambiguity. On Russian accounts, the text is a sequence of identical characters (knuckles). According to [2]<\/a>, the dictionary of such a text consists of one word. It is impossible to use such texts without semantic markup. Therefore, the dictionary changes, and the characters are divided into groups \u2013 units, tens, hundreds, etc. These group names (numbers) are unique word numbers. The dictionary D<\/em><\/strong> is the numbers from 0 to nine. Each knuckle is represented by a matrix unit on such a Cartesian abacus. For example, the number 2021 on a matrix abacus is represented by the sum of four matrix units:<\/p>\n

\"E_{1000,2}+E_{100,0}+E_{10,2}+E_{1,1},\"<\/p>\n

where the subscripts are the Cartesian coordinates of the matrix word (numbers in this case). There was a transformation of identical objects into similar ones. The measure of similarity is the values of the coordinates of the words. In addition to positional numbers, repetitions of numbers from the dictionary occur when performing arithmetic operations. Equivalence relations are established:<\/p>\n

\"E_{i,0}<\/p>\n

If, after an arithmetic operation, the number 9 + 1<\/em>, is obtained, then 0 appears in this position, and 1 is added to the next digit. On the abacus, all the knuckles are shifted to their original (zero) position, and one is added to the next digit (wire). On the matrix abacus, the transformation is performed:<\/p>\n

\"E_{i+1,1}=E_{i+1,i}E_{i,0}E_{0,i},\"<\/p>\n

If you set a measure of the similarity of signs, then the tolerance (similarity) ratio can again be turned into an equivalence (sameness) ratio for this measure. For example, by rounding numbers. The difference between tolerance and equivalence can be recognized by the violation of transitivity. For a relationship of tolerance, it can be violated. For example, let the element A be similar to B in one sense. If the meaning of B does not coincide with the meaning of the element C, then A can be similar to C only in terms of the intersection of their meanings (part of the properties). The transitivity of the relationship is restored (closed), but only for this general part of the meaning. After the sameness achieved by specifying the meaning, A will be equivalent to C. For example, the above transformation (closure) on some coordinates ensures the execution of arithmetic operations on the matrix abacus.<\/p>\n

Another example of the contextual dependence of signs is chess. It is even stronger in double chess [3]. In this modification of chess, it is allowed to make a finite number of double moves during the game at any given time. The game remains consistent. The rest of the rules are the same as in normal chess, with the exception of two: the first move is a single move and castling is allowed during the check. The author of the game in the case when all the moves are double is prof. Zaitsev G. A.<\/p>\n

For chess, the dictionary of their matrix text is the numbers of one of the pieces of each color and the move separator (from 1 to 11). A word in a chess text is a matrix unit. The first coordinate of it is unique and is the number of the cell on the chessboard (from 1 to 64). The second coordinate of the word is from the dictionary. The chess matrix text at any point in the game is the sum of the matrix units, each of which shows a piece at the corresponding place on the chessboard.Repetitions in the text appear both because of the duplication of figures, and because of the constant transitions during the game from similarity to sameness and vice versa for all figures except the king. The game consists in the implementation of the most effective such transitions and the actual classification of shapes. Pawns that are the same at first then become similar only by the rule of the move, and sometimes the pawn becomes the same as the queen.<\/p>\n

A tool for analyzing matrix texts is the transitivity control to check the difference between similarity and sameness. The lack of transitivity control is an algebraic explication of a misunderstanding for language texts, a loss in chess, or errors in numerical calculations.<\/p>\n

Transitivity of relations is a condition for turning a set of objects into a mathematical category. The semantic markup of the text can be the calculation of its categories by means of transitive closure. The objects of the category are the contexts of matrix words [2], morphisms are the transformation matrices of these contexts.<\/p>\n

Context<\/h2>\n

The context of the word Ek,j<\/sub><\/em> of the matrix text [2]<\/a> is its fragment Fj<\/sup>i,k<\/sub><\/em> \u2013 he sum of matrix units (words) between two matrix words-repetitions Ei,j<\/u><\/sub><\/em> and Ek,j:<\/sub><\/em><\/p>\n

\"F^j_{i,k}=E_{i+1,D_R}+E_{i+2,D_R}+\\ldots<\/p>\n

where the index D R means that any index from the right dictionary D R of the matrix text [2]<\/a> can stand in this place, including the characters of the text-forming fragments. The context is all the words of the matrix text between the repeated characters of the dictionary D R . For example, between repeated words, repeated dots, signs of paragraphs, chapters, volumes of language texts or phrases, periods, and parts of musical works.<\/p>\n

The signs of text-forming fragments look the same, but they are also homonymous signs-their context is fragments (1). The context of a language fragment (explication or explanation) can be not only a language text, but also a sound (for example, music), figurative (photo) or joint (video). The context of a musical text can be a language text (for example, a libretto).<\/p>\n

Matrix words correspond to their matrix contexts, represented as algebraic objects (1). All possible relations between these objects are the subject of analysis when determining the meaning of words. For the study of such constructions, category theory is useful because it is based on the concept of transitivity.<\/p>\n

Context category<\/h2>\n

Let F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> \u2013 these are all contexts Fj<\/sup>i,k<\/sub><\/em> words Ej,j<\/sub> \u2208 DR<\/sub><\/em> in text P<\/em>, while Dj<\/sup>1R<\/sub><\/em>, …, Dj<\/sup>nR <\/sub><\/em>\u2013 right dictionaries of these contexts:<\/p>\n

\"F_1^j=F_1^jD^j_{1R},<\/p>\n

By k = i + 1<\/em> in (1) a special case of a fragment is a matrix word Ei+1,DR<\/sub><\/em> .<\/p>\n

Context category Cat<\/strong>(Ej,j<\/sub>)<\/em> text sign Ej,j<\/sub> \u2208 DR<\/sub><\/em> defined as follows:<\/p>\n

    \n
  1. \n

    Category objects \u2013 pairwise multiple [2]<\/a> contexts F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em>.<\/p>\n<\/li>\n

  2. \n

    For each pair of multiple objects, there is [2]<\/a> a set of morphisms Fij<\/sub> : Fi<\/sub> = Fij<\/sub>Fj<\/sub><\/em>,, each morphism corresponds to the singular Fi<\/sub><\/em> and Fj<\/sub><\/em> .<\/p>\n<\/li>\n

  3. \n

    For a pair of morphisms Fij<\/sub><\/em> and Fjk<\/sub><\/em> such a composition of them is defined (the product of square matrices) Fij<\/sub>Fjk<\/sub><\/em>, that if Fi<\/sub> <\/em>= Fij<\/sub>Fj<\/sub><\/em> \u0438 Fj<\/sub><\/em> = Fjk<\/sub>Fk<\/sub><\/em>, thenFi<\/sub> = Fij<\/sub>Fjk<\/sub>Fk<\/sub><\/em> (transitivity condition).<\/p>\n<\/li>\n

  4. \n

    For each object Fi<\/sub><\/em> the identity morphism is defined as the unit matrix E: Fi<\/sub> = EFi<\/sub>E<\/em>. The category associativity follows from the associativity of matrix multiplication.<\/p>\n<\/li>\n<\/ol>\n

    Context reduction<\/h2>\n

    The intersection (in general words) of matrix dictionaries is their product:<\/p>\n

    \"\\prod<\/p>\n

    The proof follows from the defining property of matrix units (6) [2]<\/a> and the definition of dictionaries (9) [2]<\/a> and (15) [2]<\/a>. When multiplying the matrix units of dictionaries (the subscripts are the same in each unit), the product of their matrix words (units) with different indexes is zero. In the product (2), only common words with matching lower indices from all the factors (2) will remain.<\/p>\n

    The union of any pair of dictionaries Di<\/sub><\/em> and Dj<\/sub><\/em> is their sum minus the intersection (2):<\/p>\n

    \"D_i+D_j<\/p>\n

    Because of the properties (10) [2]<\/a> in (3) in the sum Di<\/sub> + Dj<\/sub><\/em> removed repetitions of matrix units.<\/p>\n

    The minimal dictionary of a matrix text fragment is called such a dictionary DR<\/sub><\/em> text P<\/em>, that DR<\/sub><\/em> and P<\/em> mutually multiple:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    For mutually multiples of P<\/em> and DR<\/sub><\/em> non-zero matrices FPDR<\/sub><\/em> and FDRP<\/sub><\/em> exist.<\/p>\n

    Sums of matrix units FPDR<\/sub><\/em> and FDRP<\/sub><\/em> exist if the matrix units are P<\/em> and DR<\/sub><\/em> they contain the same number of second indexes (coordinates) and do not contain any other second indexes.<\/p>\n

    The concept of a minimal dictionary is introduced due to the fact that the properties of matrix units always hold:<\/p>\n

    \"PD_R=P(D_R+D_{1R})\"<\/p>\n

    where D1R<\/sub><\/em> it can consist of words (matrix units) that are missing (those very others) in DR<\/sub><\/em> . For example, for F1<\/sub>j<\/sup> = F1<\/sub>j<\/sup>D1R<\/sub> , …, Fn<\/sub>j<\/sup> = Fn<\/sub>j<\/sup> DnR<\/sub><\/em> always running:<\/p>\n

    \"F_{1}^j=<\/p>\n

    Minimum dictionaries DminR1<\/sub> , …, DminRn<\/sub><\/em> fragments F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> do not contain matrix words (second indexes of matrix units) that are not present in the corresponding text fragment.<\/p>\n

    Context equivalence classes are defined by common minimal right-hand dictionaries DminR<\/sub><\/em>. If a pair of contexts has a minimal common dictionary, then these contexts are mutually multiple. Hence, there are their mutual transformations (matrices).<\/p>\n

    If the contexts are F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> Words signs Ej,j<\/sub><\/em> have a minimal common right dictionary DR<\/sub><\/em>, then they are multiples of each other. In the future, the dictionaries of text fragments mean their minimal dictionaries.<\/p>\n

    If the specified contexts are F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> multiply on the right by such a dictionary Dj<\/sup>R<\/sub><\/em>, that each resulting context will have the right dictionary (minimal) Dj<\/sup>R<\/sub><\/em>, then they are called reduced contexts:<\/p>\n

    \"F_1^j<\/p>\n

    When reducing (multiplying on the right) the part of the matrix units with the second indices, which are not in the Dj<\/sup>R<\/sub><\/em> deleted in each of the F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em>. If at least one of the dictionary indexes is missing in some of the received fragments, then it should not fall into (4).<\/p>\n

    Categorization<\/h2>\n

    Contexts with common dictionaries, for example, after the reduction (4) of the sign word Ej,j<\/sub><\/em>, are objects of the sign category Cat<\/strong>(Ej,j<\/sub><\/em>). All matrix texts (4) by construction are multiples of each other by (20) [2]<\/a>, have a common (and minimal) dictionary, therefore, there are always transformation matrices Fj<\/sup>1,k<\/sub><\/em> as morphisms of the sign category Cat<\/strong>(Ej,j<\/sub><\/em>):<\/p>\n

    \"F_1^jD_R^j=<\/p>\n

    Relations (5) are the smallest transitive relations on the set F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> and are the transitive closure of this set due to the fact that from the contexts F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> operation (4) removes all matrix words that are not present in the general dictionary Dj<\/sup>R<\/sub><\/em>.<\/p>\n

    The remaining categorical axioms are fulfilled due to the properties of square matrices of the same dimension.<\/p>\n

    The transitive closure (5) can be defined for any subset (m < n)<\/em><\/p>\n

    \"F_1^j,<\/p>\n

    setting for F1<\/sub>j<\/sup> , …, Fm<\/sub>j<\/sup><\/em> by (2) their general vocabulary Dj<\/sup>mR<\/sub> \u2287 Dj<\/sup>R<\/sub><\/em> (Dj<\/sup>R<\/sub><\/em> is a subset of Dj<\/sup>mR<\/sub><\/em> by properties (2)). In this case, the transitive closure (5) is performed by the dictionary Dj<\/sup>mR<\/sub><\/em>:<\/p>\n

    \"F_1^jD_{mR}^j=F_{1,k}^jF_k^jD_{mR}^j.<\/p>\n

    Example<\/h2>\n

    As an example of a matrix text, (5) [2]<\/a> is used, in which there are four identical signs of the word \u00abset\u00bb E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em>. These four signs, in turn, have four contexts F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em>:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    where D1<\/sup>1<\/sub> , D1<\/sup>2<\/sub> , D1<\/sup>3<\/sub> , D1<\/sup>4<\/sub><\/em> \u2013 these are dictionaries of the corresponding contexts, in the latter context F1<\/sup>14,17<\/sub><\/em> the second index is not equal to the number of the last repetition of the sign that is missing in the text dictionary, but to the number of the last word in the text in order to determine the end of the context.<\/p>\n

    The problem statement is the calculation of the similarity and difference of words E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> depending on the similarity and difference in some measure (modulus) of their contexts F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em>. The similarity of contexts is determined by the presence of common dictionaries, which are used as a module for comparing contexts. The difference is determined by the context deductions for the same module. Deductions will define their equivalence classes (deduction classes) and deduction categories, since transitivity closure can also occur for them.<\/p>\n

    A general dictionary of four contexts F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> according to (2):<\/p>\n

    \"D_R^1=D_1^1D_2^1D_3^1<\/p>\n

    Transitive closure (4) on the general dictionary-module leads to the removal of «extra» words:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    Thus, reduced (abbreviated) contexts of the sign-word E1,1<\/sub><\/em> (\u00abset\u00bb) are four words E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>and E15,3<\/sub><\/em>. These words have the same sign E3,3<\/sub><\/em> (\u00abobject\u00bb) in the combined software (3) dictionary for D1<\/sup>1<\/sub> , D1<\/sup>2<\/sub> , D1<\/sup>3<\/sub> , D1<\/sup>4<\/sub><\/em>:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    where each formula is a sequentially pairwise union of dictionaries (3).<\/p>\n

    Words E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> in the sense of their reduced (reduced) contexts E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>and E15,3<\/sub><\/em> they can be the same or different. Setting the comparison measure E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>and E15,3<\/sub><\/em> defines the result of the comparison E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em>. In the simplest case, if the values are assumed to be the same E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>and E15,3<\/sub><\/em>, then they will be the same and E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em>. This is the case, for example, when words are understood only as signs-letters in the dictionary-alphabet, and their context dependence is absent.<\/p>\n

    To solve the problem of comparing the meaning of words, it is useful to calculate the corresponding category of signs of these words. Sign Cat<\/strong>(E3,3<\/sub><\/em>) consists of four reduced context objects (10).<\/p>\n

    \"F_1^1<\/p>\n

    Morphisms Cat<\/strong>(E1,1<\/sub><\/em>) are the four matrices E6,3<\/sub>, E11,6<\/sub>, E11,3<\/sub> <\/em>\u0438 E15,3<\/sub><\/em>:<\/p>\n

    \"F_2^1<\/p>\n

    The composition of morphisms is the relation:<\/p>\n

    \"E_{15,11}E_{11,6}E_{6,3}=E_{15,3}.<\/p>\n

    The composition (13) is an expression of the interval markup of the word E3,3<\/sub><\/em> (45) [2]<\/a> in the language of category theory, and reduction (10) — is an example of solving a system of comparisons modulo Fm<\/sub><\/em> (39) [2]<\/a>. The usefulness of using category theory is that its approach is more general and allows you to use methods from different sections of algebra.<\/p>\n

    So all four pieces of text are F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> are the same (equivalent) in the sense of the sign-word E3,3<\/sub><\/em> (comparable in modulus E3,3<\/sub><\/em>). There are matrix-morphisms E15,11 <\/sub>, E11,6<\/sub>, E6,3<\/sub>, E15,3<\/sub><\/em>, converting these texts according to (12) into each other. By analogy with the library catalog, all four texts are F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> (objects of the sign category Cat<\/strong>(E3,3<\/sub><\/em>)) they are in the same catalog box with the name of the sign E3,3<\/sub><\/em>. This is an example of a rough classification of texts by keywords. The contextual meaning of words is not taken into account, all such words as signs are the same, and all cases of their appearance in the text can be added to calculate the significance of keywords by frequency of use.<\/p>\n

    The resulting result means that, in the first approximation, all four words \u00abset\u00bb are contextually related to the word \u00abobject\u00bb. The words \u00abset\u00bb E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> can be the same or differ as much as their reduced (reduced) contexts are the same or different E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>\u0438 E15,3<\/sub><\/em>.<\/p>\n

    In [2]<\/a> it was shown that modulo comparisons are performed for matrix texts. The remainder of the division of fragments of matrix texts into other fragments (modules) can have residues (deductions), which, like modules, are classifying features.<\/p>\n

    A sign of the divisibility (multiplicity \u22ee ) of fragments of matrix texts is the divisibility (multiplicity) of their right dictionaries (20) [2]<\/a>. The remainder of the division of dictionaries (subtractions of dictionaries) of fragments are the dictionaries of the remainder of the division of these fragments.<\/p>\n

    To calculate the similarities and differences of words E3,3<\/sub>, E6,3<\/sub>, E11,3<\/sub> <\/em>and E15,3<\/sub><\/em> you need to compare the contexts F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> by module E3,3<\/sub><\/em>.<\/p>\n

    Then the deductions of each context modulo E3,3<\/sub><\/em> equal to:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    It follows from (14) that all F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> (hence, the words \u00abset\u00bb E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em>) incomparable in modulus E3,3<\/sub><\/em>. The deductions are not pairwise multiples and do not form any class of deductions pairwise. This means that all the words E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> they are different in meaning (context).<\/p>\n

    The similarity is found in the next step (for deductions), if for pairs of deductions we calculate by (2) the general dictionaries and reduce (4). The general dictionary for all deductions Dj<\/sup>res<\/sub><\/em> does not exist:<\/p>\n

    \"\\left(E_{2,2}+E_{4,4}\\right)<\/p>\n

    Equality (15) is the reason for the absence of a general class of deductions and a corresponding category Cat<\/strong>res<\/sub>(E3,3<\/sub><\/em>). But some pairs of deductions (14) have common dictionaries:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    Then these pairs of deductions after reducing (4) form classes and categories of deductions with names E2,2<\/sub><\/em>, E4,4<\/sub><\/em> and E7,7<\/sub><\/em>. To a folder named E2,2<\/sub><\/em> fragments will get there F1<\/sup>1<\/sub><\/em> and F1<\/sup>2<\/sub><\/em>, in directory with the name E4,4<\/sub><\/em> — fragments F1<\/sup>1<\/sub><\/em> and F1<\/sup>3<\/sub><\/em>, to a folder named E7,7<\/sub><\/em> \u2013 fragments F1<\/sup>2<\/sub><\/em> and F1<\/sup>4<\/sub><\/em>.<\/p>\n

    Word E8,8<\/sub><\/em> it is an annuler (zero divisor) of three deductions (14)<\/p>\n

    \"E_{8,8}\\textrm{res}(F_1^1)<\/p>\n

    Word E12,12<\/sub><\/em> \u2013 annuler<\/p>\n

    \"E_{12,12}\\textrm{res}(F_1^1)<\/p>\n

    Word E16,16<\/sub><\/em> \u2013 annuler<\/p>\n

    \"E_{16,16}\\textrm{res}(F_1^1)<\/p>\n

    These are words of the matrix text that have no context (the last three terms in the context dictionary (49) [2]<\/a>) \u2013 when multiplying a deduction by an annuler, the product is different from zero if the deduction contains this annuler.<\/p>\n

    So, the problem statement of the given example was the calculation of the similarity and difference of words E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> depending on the similarity and difference of their contexts F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em> by some measure (modulus).<\/p>\n

    Solution received: words E1,1<\/sub>, E5,1<\/sub>, E10,1<\/sub>, E14,1<\/sub><\/em> (as their contexts are F1<\/sup>1,5<\/sub> , F1<\/sup>5,10<\/sub>, F1<\/sup>10,14<\/sub>, F1<\/sup>14,17<\/sub><\/em>) comparable in modulus E3,3<\/sub><\/em> and are not comparable (different) in modules E8,8<\/sub><\/em>, E12,12<\/sub><\/em>, E16,16<\/sub><\/em>.<\/p>\n

    This means that the reduction (10) should not be performed according to the general dictionary (9), which consists of a single sign word E3,3<\/sub><\/em>. As it turned out, this word-sign has a different meaning in different places of the text. Taking into account (16), (17), (18):<\/p>\n

    \"\\begin{gathered}<\/p>\n

    To the right dictionary DR<\/sub><\/em> (9) [2]<\/a> text (5) [2]<\/a> then the extension is required:<\/p>\n

    \"\\begin{gathered}<\/p>\n

    The source dictionary (9) [2]<\/a> has been converted to the context dictionary (20). To the word signs E3,3<\/sub><\/em>, E6,3<\/sub><\/em>, E11,3<\/sub><\/em> and E15,3<\/sub><\/em> added additional words using category calculation E8,8<\/sub><\/em>, E12,12<\/sub><\/em>, E16,16<\/sub><\/em>. With these additional words E8,8<\/sub><\/em>, E12,12<\/sub><\/em>, E16,16<\/sub><\/em> words E6,3<\/sub><\/em>, E11,3<\/sub><\/em> and E15,3<\/sub><\/em> they differ from each other.<\/p>\n

    The above classification is a categorization of matrix texts by dictionary. When categorizing, classes and their names are calculated as algebraic functions of the text. The categorization was calculated by dictionaries, since the classifying features (category names) were determined by the mutual intersection of dictionaries (2). This categorization does not take into account the order of words in the text, but can be used later in the construction of a more subtle categorization that takes into account the mutual order of words. In this case, the comparison modules are not parts of dictionaries, but fragments of contexts. When replacing dictionary fragments with text fragments, word repetitions may appear in contexts. There is ambiguity in the division (construction of morphisms of the category) [2]<\/a>. That is why, first, a comparison is made modulo dictionaries, and similarities and differences (divisors and residuals) are determined by this measure. Then, after establishing the similarity and difference of the repeated words in the contexts, the dictionary comparison module is replaced with a text fragment that already takes into account the word order. The category names are the text fragments.<\/p>\n

    The general method of calculating classifying features gives an analog of CRT for matrix texts.<\/p>\n

    Chinese Remainder Theorem (CRT)<\/h2>\n

    The Chinese remainder theorem for matrix texts is formulated as follows. Let be given:<\/p>\n

      \n
    1. \n

      D1R<\/sub> , …, DkR<\/sub><\/em> pairwise non-multiple minimal dictionaries of matrix text fragments F1<\/sub>, …, Fk<\/sub><\/em>.<\/p>\n<\/li>\n

    2. \n

      DR<\/sub> = D1R<\/sub> + … + DkR<\/sub><\/em> \u2013 right dictionary of some text P<\/em>.<\/p>\n<\/li>\n

    3. \n

      D’R<\/sub> = D’1R<\/sub> +. . . + D’mR<\/sub><\/em> \u2013 right dictionary of some text P’, m < k<\/em>.<\/p>\n<\/li>\n

    4. \n

      P’ \u2282 P : D’R<\/sub> \u2282 DR<\/sub><\/em> (text P’<\/em> is a part of P<\/em> in the sense that its dictionary D’R<\/sub><\/em> it is part of the dictionary DR<\/sub><\/em>)<\/p>\n<\/li>\n

    5. \n

      Tuple (r1<\/sub> , … , rk<\/sub><\/em>), where r1<\/sub> \u2261 P’ ( mod D’1R<\/sub> ), …, rk<\/sub> \u2261 P’ ( mod D’kR<\/sub> ) <\/em>(this means that P’ = P’ D’1R<\/sub>+r1<\/sub>, …, P’= P’D’1R<\/sub>+rk<\/sub><\/em>).<\/p>\n<\/li>\n<\/ol>\n

      Then there is a one-to-one correspondence:<\/p>\n

      \"P'\\longleftrightarrow<\/p>\n

      It is proved by induction using the definition of the multiplicity of the polynomials of matrix units and the minimality of the dictionary.<\/p>\n

      Deduction tuple (r1<\/sub> , …, rk<\/sub> )<\/em> it is a classifying feature of all possible multiples of each other texts that have a dictionary D’R<\/sub><\/em> or any part of it. It is according to (21) that classifiers of language and other sign sequences should be constructed.<\/p>\n

      References<\/h2>\n
        \n
      1. \n

        A.B. Petrovsky. Theory of countable sets and multisets. M. Nauka, 2018.<\/a><\/p>\n<\/li>\n

      2. \n

        S. B. Pshenichnikov. Algebra of text. Researchgate Preprint, 2021.<\/a><\/p>\n<\/li>\n

      3. \n

        S. B. Pshenichnikov. Computer game «Double chess». certificate of state registration of the computer program. 4.12.1992 No 920129.<\/p>\n<\/li>\n<\/ol>\n<\/div>\n<\/div>\n<\/div>\n

        <\/div>\n


        \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438         https:\/\/habr.com\/ru\/articles\/553880\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

        <\/div>\n
        \n
        \n
        \n
        \n

        Similarity and sameness<\/h2>\n

        The mathematical model of signed sequences with repetitions (texts) is a multiset. The multiset was defined by D. Knuth in 1969 and later studied in detail by A. B. Petrovsky [1]<\/a>. The universal property of a multiset is the existence of identical elements. The limiting case of a multiset with unit multiplicities of elements is a set. A set with unit multiplicities corresponding to a multiset is called its generating set or domain. A set with zero multiplicity is an empty set.<\/p>\n

        The problem is determining whether the elements are the same. The similarity depends on the properties of these elements that are taken into account. Cucumbers and watermelons are similar in color externally, but it is difficult to call them the same in gastronomic use, although the botanical description is largely the same.<\/p>\n

        According to G. Frege, any object that has relations with other objects and their combinations has as many properties (values) as these relations. The part of the values taken into account is called the meaning that the object is represented in this situation. The name of an object by a number, symbol, word, picture, sound, gesture for its short description is called an object sign (this is one of the values).<\/p>\n

        All possible parts of the object\u2019s values (meaning) correspond to a single sign. This is the main problem of recognizing meaning, but at the same time the basis for making do with minimal sets of characters. It is not possible to assign a unique sign to each subset of values. The objects of information exchange are the minimum sets of characters (notes, alphabet, language dictionary). The meaning of signs is usually not calculated, but determined by the sign contexts (neighborhoods) intuitively.<\/p>\n

        The solution to the problem of ambiguity of signs is the semantic markup of the text. The semantic markup can be explained by the example of extreme unambiguity. On Russian accounts, the text is a sequence of identical characters (knuckles). According to [2]<\/a>, the dictionary of such a text consists of one word. It is impossible to use such texts without semantic markup. Therefore, the dictionary changes, and the characters are divided into groups \u2013 units, tens, hundreds, etc. These group names (numbers) are unique word numbers. The dictionary D<\/em><\/strong> is the numbers from 0 to nine. Each knuckle is represented by a matrix unit on such a Cartesian abacus. For example, the number 2021 on a matrix abacus is represented by the sum of four matrix units:<\/p>\n

        where the subscripts are the Cartesian coordinates of the matrix word (numbers in this case). There was a transformation of identical objects into similar ones. The measure of similarity is the values of the coordinates of the words. In addition to positional numbers, repetitions of numbers from the dictionary occur when performing arithmetic operations. Equivalence relations are established:<\/p>\n

        If, after an arithmetic operation, the number 9 + 1<\/em>, is obtained, then 0 appears in this position, and 1 is added to the next digit. On the abacus, all the knuckles are shifted to their original (zero) position, and one is added to the next digit (wire). On the matrix abacus, the transformation is performed:<\/p>\n

        If you set a measure of the similarity of signs, then the tolerance (similarity) ratio can again be turned into an equivalence (sameness) ratio for this measure. For example, by rounding numbers. The difference between tolerance and equivalence can be recognized by the violation of transitivity. For a relationship of tolerance, it can be violated. For example, let the element A be similar to B in one sense. If the meaning of B does not coincide with the meaning of the element C, then A can be similar to C only in terms of the intersection of their meanings (part of the properties). The transitivity of the relationship is restored (closed), but only for this general part of the meaning. After the sameness achieved by specifying the meaning, A will be equivalent to C. For example, the above transformation (closure) on some coordinates ensures the execution of arithmetic operations on the matrix abacus.<\/p>\n

        Another example of the contextual dependence of signs is chess. It is even stronger in double chess [3]. In this modification of chess, it is allowed to make a finite number of double moves during the game at any given time. The game remains consistent. The rest of the rules are the same as in normal chess, with the exception of two: the first move is a single move and castling is allowed during the check. The author of the game in the case when all the moves are double is prof. Zaitsev G. A.<\/p>\n

        For chess, the dictionary of their matrix text is the numbers of one of the pieces of each color and the move separator (from 1 to 11). A word in a chess text is a matrix unit. The first coordinate of it is unique and is the number of the cell on the chessboard (from 1 to 64). The second coordinate of the word is from the dictionary. The chess matrix text at any point in the game is the sum of the matrix units, each of which shows a piece at the corresponding place on the chessboard.Repetitions in the text appear both because of the duplication of figures, and because of the constant transitions during the game from similarity to sameness and vice versa for all figures except the king. The game consists in the implementation of the most effective such transitions and the actual classification of shapes. Pawns that are the same at first then become similar only by the rule of the move, and sometimes the pawn becomes the same as the queen.<\/p>\n

        A tool for analyzing matrix texts is the transitivity control to check the difference between similarity and sameness. The lack of transitivity control is an algebraic explication of a misunderstanding for language texts, a loss in chess, or errors in numerical calculations.<\/p>\n

        Transitivity of relations is a condition for turning a set of objects into a mathematical category. The semantic markup of the text can be the calculation of its categories by means of transitive closure. The objects of the category are the contexts of matrix words [2], morphisms are the transformation matrices of these contexts.<\/p>\n

        Context<\/h2>\n

        The context of the word Ek,j<\/sub><\/em> of the matrix text [2]<\/a> is its fragment Fj<\/sup>i,k<\/sub><\/em> \u2013 he sum of matrix units (words) between two matrix words-repetitions Ei,j<\/u><\/sub><\/em> and Ek,j:<\/sub><\/em><\/p>\n

        where the index D R means that any index from the right dictionary D R of the matrix text [2]<\/a> can stand in this place, including the characters of the text-forming fragments. The context is all the words of the matrix text between the repeated characters of the dictionary D R . For example, between repeated words, repeated dots, signs of paragraphs, chapters, volumes of language texts or phrases, periods, and parts of musical works.<\/p>\n

        The signs of text-forming fragments look the same, but they are also homonymous signs-their context is fragments (1). The context of a language fragment (explication or explanation) can be not only a language text, but also a sound (for example, music), figurative (photo) or joint (video). The context of a musical text can be a language text (for example, a libretto).<\/p>\n

        Matrix words correspond to their matrix contexts, represented as algebraic objects (1). All possible relations between these objects are the subject of analysis when determining the meaning of words. For the study of such constructions, category theory is useful because it is based on the concept of transitivity.<\/p>\n

        Context category<\/h2>\n

        Let F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> \u2013 these are all contexts Fj<\/sup>i,k<\/sub><\/em> words Ej,j<\/sub> \u2208 DR<\/sub><\/em> in text P<\/em>, while Dj<\/sup>1R<\/sub><\/em>, …, Dj<\/sup>nR <\/sub><\/em>\u2013 right dictionaries of these contexts:<\/p>\n

        By k = i + 1<\/em> in (1) a special case of a fragment is a matrix word Ei+1,DR<\/sub><\/em> .<\/p>\n

        Context category Cat<\/strong>(Ej,j<\/sub>)<\/em> text sign Ej,j<\/sub> \u2208 DR<\/sub><\/em> defined as follows:<\/p>\n

          \n
        1. \n

          Category objects \u2013 pairwise multiple [2]<\/a> contexts F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em>.<\/p>\n<\/li>\n

        2. \n

          For each pair of multiple objects, there is [2]<\/a> a set of morphisms Fij<\/sub> : Fi<\/sub> = Fij<\/sub>Fj<\/sub><\/em>,, each morphism corresponds to the singular Fi<\/sub><\/em> and Fj<\/sub><\/em> .<\/p>\n<\/li>\n

        3. \n

          For a pair of morphisms Fij<\/sub><\/em> and Fjk<\/sub><\/em> such a composition of them is defined (the product of square matrices) Fij<\/sub>Fjk<\/sub><\/em>, that if Fi<\/sub> <\/em>= Fij<\/sub>Fj<\/sub><\/em> \u0438 Fj<\/sub><\/em> = Fjk<\/sub>Fk<\/sub><\/em>, thenFi<\/sub> = Fij<\/sub>Fjk<\/sub>Fk<\/sub><\/em> (transitivity condition).<\/p>\n<\/li>\n

        4. \n

          For each object Fi<\/sub><\/em> the identity morphism is defined as the unit matrix E: Fi<\/sub> = EFi<\/sub>E<\/em>. The category associativity follows from the associativity of matrix multiplication.<\/p>\n<\/li>\n<\/ol>\n

          Context reduction<\/h2>\n

          The intersection (in general words) of matrix dictionaries is their product:<\/p>\n

          The proof follows from the defining property of matrix units (6) [2]<\/a> and the definition of dictionaries (9) [2]<\/a> and (15) [2]<\/a>. When multiplying the matrix units of dictionaries (the subscripts are the same in each unit), the product of their matrix words (units) with different indexes is zero. In the product (2), only common words with matching lower indices from all the factors (2) will remain.<\/p>\n

          The union of any pair of dictionaries Di<\/sub><\/em> and Dj<\/sub><\/em> is their sum minus the intersection (2):<\/p>\n

          Because of the properties (10) [2]<\/a> in (3) in the sum Di<\/sub> + Dj<\/sub><\/em> removed repetitions of matrix units.<\/p>\n

          The minimal dictionary of a matrix text fragment is called such a dictionary DR<\/sub><\/em> text P<\/em>, that DR<\/sub><\/em> and P<\/em> mutually multiple:<\/p>\n

          For mutually multiples of P<\/em> and DR<\/sub><\/em> non-zero matrices FPDR<\/sub><\/em> and FDRP<\/sub><\/em> exist.<\/p>\n

          Sums of matrix units FPDR<\/sub><\/em> and FDRP<\/sub><\/em> exist if the matrix units are P<\/em> and DR<\/sub><\/em> they contain the same number of second indexes (coordinates) and do not contain any other second indexes.<\/p>\n

          The concept of a minimal dictionary is introduced due to the fact that the properties of matrix units always hold:<\/p>\n

          where D1R<\/sub><\/em> it can consist of words (matrix units) that are missing (those very others) in DR<\/sub><\/em> . For example, for F1<\/sub>j<\/sup> = F1<\/sub>j<\/sup>D1R<\/sub> , …, Fn<\/sub>j<\/sup> = Fn<\/sub>j<\/sup> DnR<\/sub><\/em> always running:<\/p>\n

          Minimum dictionaries DminR1<\/sub> , …, DminRn<\/sub><\/em> fragments F1<\/sub>j<\/sup> , …, Fn<\/sub>j<\/sup><\/em> do not contain matrix words (second indexes of matrix units) that are not present in the corresponding text fragment.<\/p>\n

          Context equivalence classes are defined by common minimal right-hand dictionaries DminR<\/sub><\/em>. If a pair of contexts has a minimal common dictionary, then these contexts are<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-384133","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/384133","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=384133"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/384133\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=384133"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=384133"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=384133"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}