Конструирование и выполнение запросов на чтение баз знаний и данных

Введение

1. формирование – инженер по знаниям (или эксперт, или разработчик агента/решателя) формирует запрос к базе/-ам знаний определённого типа (созданным на основе некоторой метаинформации или их группы)
2. выполнение – исполнение запроса для выбранного информационного ресурса/-ов (с сохранением полученных данных) и использование результата (просмотра и т.п.)

Формирование запросов

• формальные параметры (может включать пустые подмножества для тривиальных запросов)
  • инфоресурсы (должны быть указаны, если ведётся вычисление на основе содержимого баз/ы знаний или данных)
  • данные (могут не указываться, если запрос не параметризован)
• тело запроса (терм)
• выполнения (описано в следующем разделе)
  • выполнение
    • фактические параметры (задаются в соответствии с формальными параметрами)
      • инфоресурсы
      • данные
    • результаты
      • результат

• получить из общего Фонда ссылку на инфоресурс "Язык описания запросов" (выполняется один раз)
• в личном фонде создать новый инфоресурс типа "информация", используя полученный в доступ "Язык описания запросов" в качестве метаинформации
• открыть созданный инфоресурс на редактирование (автоматически будет использован "Конструктор запросов") и наполнить его запросами (с их телами), соблюдая полноту

• переменная (указывается ссылка на переменную, определенную ранее, т.е. "выше" в графе тела запроса, подробнее – далее)
• термы, связанные с множествами (не присутствует явно, делится на: множество соответствующих мета-пути вершин – см. далее, экстенсионально заданное множество – см. далее, действия над множествами – включает некоторые операции из описания переменной ниже, а также операции: мощность множества – число элементов, Supremum – наибольший элемент, Infimum – наименьший элемент)
• арифметические термы (не присутствует явно, делится на: сумма, произведение, разность, частное, возведение в степень, абсолютная величина)
• кванторные конструкции (не присутствует явно, детали – далее)
• условный терм (см. далее)
• метка вершины (возвращается имя или значение вершины)
• константы (не присутствует явно, делится на: пустое множество, целочисленная константа, вещественная константа, логическая константа, строковая константа, темпоральная константа – дата и время, двоичная константа – бинарные данные, текущий момент)
• именованная математическая постоянная (не присутствует явно, делится на: π, τ, e – вещественные числа)
• вершина-оригинал (возвращается вершина, являющаяся оригиналом указанной)
• конкатенация (применима только к строкам)
• соответствующая мета-пути вершина (см. далее)
• параметр (используется значение фактического параметра, заданного в "выполнении" запроса - см. след. раздел, тогда как сам параметр тут указывается как зависимый клон от имён одного из формальных параметров (данных))
• результат выполнения внешнего запроса (см. далее)
• строковое представление (взять строкое представление указанного терма)

• множество соответствующих мета-пути вершин (подробнее – см. ниже)
• экстенсионально заданное множество (задание всех элементов множества)
• пересечение множеств (с заданием каждого множества)
• объединение множеств (с заданием каждого множества)
• разность множеств (с заданием уменьшаемого и вычитаемого множеств)
• квантор интенсиональности (рассматривается ОВЗ новой переменной, из которой берутся значения, удовлетворяющие заданной логической формуле)
• квантор объединения (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется множество и выполняется объединение таких множеств, причём повторные элементы входят в результирующее множество единожды)
• квантор пересечения (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется множество и выполняется пересечение таких множеств)
• условный терм (задание ОВЗ по альтернативным условиям - либо типа if-elseif-else, либо типа swith-case-default, при этом при выполнении очережного условия - вычисляется соответствующее ему ОВЗ, а если ни одной из условий не является истинным, то ОВЗ вычисляется по ветке 'иначе'; в случае switch должно быть указано исходное выражение, которое необходимо вычислить, а в каждой 'альтернативе' необходимо вычислить сравниваемое значение)
• область возможных значений переменной (должны быть взяты все значения из ОВЗ другой переменной, определённой ранее)
• все вершины (должны быть взяты все вершины из инфоресурса, заданного "областью выбора", аналогично "началу пути" – см. далее; при этом важно помнить, что вершины других инфоресурсов, на которые из данного инфоресурса сделаны ссылки, не войдут в получаемое множество)

1. задаётся начальное множество вершин – под создаваемым нетерминалом "начало пути":
   • либо формируется нетерминал "вершина" и устанавливается ссылка на метапонятие, что приведёт к выбору всех порождённых по нему вершин указываемого инфоресурса (см. ниже)
   • либо формируется ссылка на уже введённую переменную (её ОВЗ должно быть множеством вершин), что приведёт к взятию всех значений из её ОВЗ
2. при необходимости задаётся "продолжение пути", где по очереди (по шагам) указываются ссылками метапонятия, по которым нужно переходить от каждого из полученных ранее понятий по графу, представляющему базу знаний, вверх (указывается специальной вершиной в описании шага) или вниз (выполняется по умолчанию), при этом получаемые множества потомков (или предков) объединяются, формируя результирующее для шага множество
3. при необходимости задаётся "окончание пути", где по очереди (по шагам) указываются ссылками метапонятия, по которым нужно переходить от каждого из полученных ранее понятий по графу, представляющему базу знаний, вверх (указывается специальной вершиной в описании шага) или вниз (выполняется по умолчанию), при этом получаемые множества потомков (или предков) объединяются, формируя результирующее для шага множество; при этом также для перехода от последнего шага "продолжения пути" к первому шагу "конца пути" от каждой из полученных ранее вершин

• йота-оператор (из заданного множества выделяется единственный элемент, удовлетворяющий заданной формуле)
• квантор интенсиональности (см. выше)
• квантор объединения (см. выше)
• квантор пересечения (см. выше)
• квантор суммирования (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется слагаемое, после чего все слагаемые складываются)
• квантор умножения (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется сомножитель, после чего все сомножители перемножаются)
• квантор конкатенации (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется строка, после чего все строки конкатенируются)
• квантор преобразования множества (для каждого значения новой переменной, извлекаемого из её заданной ОВЗ, вычисляется значение, все вычисленные значения составляют результирующее множество)

• равенство
• неравенство
• арифметические отношения (не присутствует явно, делится на: больше или равно, больше, меньше или равно, меньше)
• теоретико-множественные отношения (не присутствует явно, делится на: принадлежность элемента множеству, непринадлежность элемента множеству, множество есть собственное подмножество другого множества, множество есть несобственное подмножество другого множества, множество не есть подмножество другого множества)
• формулы с пропозициональными связками (не присутствует явно, делится на: импликация, равносильность, конъюнкция, дизъюнкция, исключающее или, отрицание и включают константы "истина" и "ложь")
• кванторные формулы (не присутствует явно, делится на: квантор всеобщности – для любого Х выполняется Y; квантор существования – существует Х, для которого выполняется Y; квантор существования и единственности – существует единственный Х, для которого выполняется Y)
• прямой предок (проверка того, что одна из заданных вершин является прямым предком другой, то есть между ними существует дуга)
• равенство подграфов (проверка того, что два подграфа, указанных своими корнями, идентичны)
• соответствие регулярному выражению (проверка того, что вычисленный терм-строка соответствует заданному регулярному выражению)

Язык описания запросов
{
  ~setmm ~new запрос {
    ~new формальные параметры {
      ~new инфоресурсы {
        ~setmm ~new имя параметра {
          ~one ~ref -> инфоресурс$; #необходимо сослаться на корень онтологии
      }}
      ~new данные {
        ~setmm ~new имя параметра ~ALT{
          ~new ["вершина"]
          ~new ["строковое"] 
          ~new ["целое"] 
          ~new ["вещественное"] 
          ~new ["логическое"] 
          ~new ["дата и время"] 
          ~new ["бинарные данные"] 
          ~new множество ~ALT{
            ~new -> .../формальные параметры/данные/имя параметра/вершина;
            ~new -> .../формальные параметры/данные/имя параметра/строковое;
            ~new -> .../формальные параметры/данные/имя параметра/целое;
            ~new -> .../формальные параметры/данные/имя параметра/вещественное;
            ~new -> .../формальные параметры/данные/имя параметра/логическое;
            ~new -> .../формальные параметры/данные/имя параметра/дата и время;
            ~new -> .../формальные параметры/данные/имя параметра/бинарные данные;
            ~new -> .../формальные параметры/данные/имя параметра/множество;
    }}}}
    ~new тело запроса {
      ~new терм ~ALT{
        ~one ~ref переменная {
          ~new терм-множество ~ALT{
            ~new множество соответствующих мета-пути вершин {
              ~new начало пути ~ALT{
                ~new вершина {
                  ~one ~ref -> инфоресурс$; #сделайте ссылку на вершину в метаинформации (в случае запроса – в формальном параметре-инфоресурсе)
                  ~onemm ~clone область выбора [str] #в качестве значения клонируйте имя формального параметра – инфоресурса (при его наличии)
                }
                ~one ~ref -> переменная;
              }
              ~copymm ~new продолжение пути {
                ~seq элемент пути {
                  ~one ~ref -> инфоресурс$;
                  ~copymm  ["вверх"] 
              }}
              ~copymm ~new конец пути {
                ~seq -> элемент пути;
            }}
            ~new экстенсионально заданное множество {
              ~seq элемент множества {
                ~new -> терм;
            }}
            ~new пересечение множеств {
              ~seq множество {
                ~new -> терм-множество;
            }}
            ~new объединение множеств {
              ~seq -> множество;
            }
            ~new разность множеств {
              ~new уменьшаемое множество {
                ~new -> терм-множество;
              }
              ~new вычитаемое множество {
                ~new -> терм-множество;
            }}
            ~new квантор интенсиональности {
              ~proxy -> Язык описания контекстных условий$/.../переменная и формула;
            }
            ~new квантор объединения {
              ~proxy переменная и терм-множество {
                ~one ~new -> переменная;
                ~new -> терм-множество;
            }}
            ~new квантор пересечения{
              ~proxy -> переменная и терм-множество;
            }
            ~new условный терм {
              ~copymm ~new выражение { #задаётся для типа SWITCH-CASE
                ~new -> терм;
              }
              ~seq альтернатива {
                ~ALT {
                  ~new -> Язык описания контекстных условий$/.../формула; #задаётся для if / elseif
                  значение { #задаётся для case
                    ~new -> терм;
                }}
                ~new заключение {
                  ~new -> терм;
              }}
              иначе {
                ~new -> терм;
            }}
            ~new область возможных значений переменной {
              ~one ~ref -> переменная;
            }
            ~new все вершины {
              ~onemm ~clone -> область выбора; #c в качестве значения клонируйте имя формального параметра – инфоресурса (при его наличии)
        }}}
        ~proxy термы, связанные с множествами ~ALT{
          ~new -> множество соответствующих мета-пути вершин;
          ~new -> экстенсионально заданное множество;
          ~proxy действия над множествами ~ALT{
            ~new -> объединение множеств;
            ~new -> пересечение множеств;
            ~new -> разность множеств;
            ~new мощность множества {
              ~new -> терм-множество;
            }
            ~new sup {
              ~new -> терм-множество;
            }
            ~new inf {
              ~new -> терм-множество;
        }}}
        ~proxy арифметические термы ~ALT{
          ~new сумма {
            ~seq слагаемое {
              ~new терм-число ~ALT{
                ~new -> мощность множества;
                ~new -> sup;
                ~new -> inf;
                ~proxy арифметические термы;
                ~new квантор суммирования {
                  ~proxy переменная и терм-число {
                    ~one ~new -> переменная;
                    ~new -> терм-число;
                  }
                }
                ~new квантор умножения {
                  ~proxy -> переменная и терм-число;
                }
                ~new -> условный терм;
                ~new метка вершины {
                  ~new -> терм;
                }
                целочисленная константа [int]
                вещественная константа [real]
                ~proxy именованная математическая постоянная ~ALT{
                   ["π"] 
                   ["τ"] 
                   ["e"] 
          }}}}
          ~new произведение  {
            ~seq сомножитель {
              ~new -> терм-число;
          }}
          ~new разность {
            ~new уменьшаемое {
              ~new -> терм-число;
            }
            ~new вычитаемое {
              ~new -> терм-число;
          }}
          ~new частное {
            ~new делимое {
              ~new -> терм-число;
            }
            ~new делитель {
              ~new -> терм-число;
          }}
          ~new возведение в степень {
            ~new основание {
              ~new -> терм-число;
            }
            ~new показатель {
              ~new -> терм-число;
          }}
          ~new абсолютная величина {
            ~new -> терм-число;
        }}
        ~proxy кванторные конструкции ~ALT{
          ~new йота-оператор {
            ~proxy -> Язык описания контекстных условий$/.../переменная и формула;
          }
          ~new -> квантор интенсиональности;
          ~new -> квантор объединения;
          ~new -> квантор пересечения;
          ~new -> квантор суммирования;
          ~new -> квантор умножения;
          ~new квантор конкатенации {
            ~proxy переменная и терм-строка {
              ~one ~new -> переменная;
              ~new терм-строка ~ALT{
                ~new -> метка вершины;
                строковая константа [str]
                двоичная константа [blob]
                ~new -> условный терм;
                ~new -> строковое представление;
          }}}
          ~new квантор преобразования множества {
            ~proxy переменная и терм {
              ~one ~new -> переменная;
              ~new -> терм;
        }}}
        ~new -> условный терм;
        ~new -> метка вершины;
        ~proxy константы ~ALT{
          ~new  ["пустое множество"]
          -> целочисленная константа;
          -> вещественная константа;
          логическая константа [bool]
          -> строковая константа;
          темпоральная константа [date]
          -> двоичная константа;
          ~new ["текущий момент"] 
        }
        ~new вершина-оригинал {
          ~one ~ref -> переменная;
        }
        ~new конкатенация {
          ~seq операнд {
            ~new -> терм-строка;
        }}
        ~clone параметр [str]
        ~new соответствующая мета-пути вершина {
          ~proxy -> множество соответствующих мета-пути вершин;
        }
        ~new результат выполнения внешнего запроса {
          ~new адрес [str]
          ~setmm ~new параметр #имя параметра
          ~ALT{
            ~new -> терм-число;
            ~new -> терм-строка;
          }
          ~copymm ~new ["двоичный ответ"] #задаётся если результат нужно интерпретировать не как строку, а как двоичные данные
        }
        ~new строковое представление {
          new -> терм;
    }}
    ~copymm ~new выполнения {
      ~listmm ~new выполнение {
        ~new фактические параметры {
          ~new инфоресурсы {
            ~setmm ~clone имя фактического параметра { #имя склонируйте от имени формального параметра запроса
              ~one ~ref -> инфоресурс$;
          }}
          ~new данные {
            ~setmm ~clone параметр ~ALT{
              ~one ~ref -> инфоресурс$;
              ~new строковое [str]
              ~new целое [int]
              ~new вещественное [real]
              ~new логическое [bool]
              ~new дата и время [date]
              ~new бинарные данные [blob]
              ~new множество ~ALT{
                ~list ~ref -> инфоресурс$;
                ~list ~new -> .../фактические параметры/данные/параметр/строковое;
                ~list ~new -> .../фактические параметры/данные/параметр/целое;
                ~list ~new -> .../фактические параметры/данные/параметр/вещественное;
                ~list ~new -> .../фактические параметры/данные/параметр/логическое;
                ~list ~new -> .../фактические параметры/данные/параметр/дата и время;
                ~list ~new -> .../фактические параметры/данные/параметр/бинарные данные;
                ~seq  ~new -> .../фактические параметры/данные/параметр/множество;
              }
        }}}
        ~new результаты {
          ~seqmm результат {
            ~proxy -> .../фактические параметры/данные/параметр;
}}}}}}

Выполнение запросов

• подграф, описывающий формальные параметры запроса
• подграф, описывающий тело запроса
• подграф, задающий описание фактических параметров запроса (под выбранной вершиной "выполнение")

• через специальные методы API класса Agent (то есть доступные напрямую в блоках продукций любого агента) - см. Выполнение запросов на чтение баз знаний и данных из кода агентов в разделе "Разработка"
• с помощью встроенного в платформу интерфейсного решателя Конструктора запросов

1. формировании пользователем вершины "выполнения" у запроса (если таковой ещё нет)
2. формировании под вершиной "выполнения" пользователем новой вершины по метапонятию "выполнение" (с заданием некоторого имени, отражающего суть этого выполнения) – при необходимости задания нового массива входных данных, а при отсутствии такой необходимости можно использовать ранее созданную вершину с таким метапонятием
3. формировании ниже описания значений фактических параметров (для инфоресурсов и данных, если они есть) – причём все имена параметров должны быть зависимо-склонированы от имён формальных параметров, указываемые ссылками на корень целевые инфоресурсы должны быть сформированы по указанным в формальных параметрах метаинформациям, а значения данных должны соответствовать указанным в формальных параметрах типам
4. формировании под вершиной "выполнения" пользователем новой вершины по метапонятию "результаты", а в случае повторного использования выполнений некоторого запроса можно использовать ранее созданную вершину с таким метапонятием
5. отправке пользователем команды на вычисление результата запроса (по нажатию порождения "результат")
6. выполнении конструктором вычисления результата запроса (это может быть длительный процесс, возможно, окно конструктора станет неактивно)
7. отображении результата проверки (в момент, когда пользователь, обновит состояние конструктора, а результат проверки уже получен)

Примеры

Пример 1

Онтология наблюдений
{
  ~setmm ~new группа признаков
  {
    ~setmm ~new -> группа признаков;
    ~setmm ~new признак
    {
      ~one ~new нижняя граница [real]
      ~one ~new верхняя граница [real]
    }
  }
}

1. указание на необходимость нахождения всех вершин с метапонятием "группа признаков"
2. извлечь из них все те, у которых метка = "Жалобы"
3. под всеми найденными вершинами найти все вершины с метапонятием "признак" (на любом "расстоянии" от вершин "Жалобы")
4. вернуть объединение полученных множеств

Примеры запросов <<< Платформа IACPaaS/Ядро платформы/Язык описания запросов
{
  запрос [Извлечь жалобы из БН] {
    формальные параметры {
      инфоресурсы {
        имя параметра [База Наб] {
          инфоресурс [-> Онтология базы медицинской терминологии и наблюдений$;]
      }}
      данные {}
    }
    тело запроса {
      терм {
        квантор объединения {
          терм-множество {
            множество соответствующих мета-пути вершин {
              начало пути {
                переменная [жалобы] {
                  терм-множество {
                    квантор интенсиональности {
                      формула {
                        равенство {
                          левая часть {
                            терм {
                              метка вершины {
                                терм {
                                  переменная [группы признаков] {
                                    терм-множество {
                                      множество соответствующих мета-пути вершин {
                                        начало пути {
                                          вершина {
                                            инфоресурс [-> Онтология базы медицинской терминологии и наблюдений$/.../Группа признаков;]
                                            область выбора [<- Примеры запросов$/Извлечь жалобы из БН/формальные параметры/инфоресурсы/База Наб;] 
                          }}}}}}}}}
                          правая часть {
                            терм {
                              строковая константа ["Жалобы"] 
                      }}}}
                      переменная [-> Примеры запросов$/Извлечь жалобы из БН/тело запроса/терм/квантор объединения/терм-множество/множество соответствующих мета-пути вершин/начало пути/жалобы/терм-множество/квантор интенсиональности/формула/равенство/левая часть/терм/метка вершины/терм/группы признаков;]
              }}}}
              конец пути {
                элемент пути [1] {
                  инфоресурс [-> Онтология базы медицинской терминологии и наблюдений$/.../Группа признаков/Признак;]
          }}}}
          переменная [-> Примеры запросов$/Извлечь жалобы из БН/тело запроса/терм/квантор объединения/терм-множество/множество соответствующих мета-пути вершин/начало пути/жалобы;]
    }}}
    выполнения { ... }
  }
}

• в качестве формального параметра введён "База Наб" и под ним указан тип значений этого параметра – поставлена ссылка на корень инфоресурса "Онтология базы медицинской терминологии и наблюдений"
• далее при формировании "выполнения" задаётся значение соответствующего фактического параметра:
  • в качестве имени фактического параметра сделан зависимый клон его имени из подграфа "формальные параметры"
  • в качестве значения указан инфоресурс "База наблюдений" – поставлена ссылка на корень этого инфоресурса
• "данные" не используются и не указываются среди параметров (вершины "данные" в формальных и в фактических параметрах созданы и не имеет содержимого)
• из базы наблюдений выбираются ВСЕ вершины, которые могут иметь метку "жалобы" и метапонятие "группа признаков", так как нельзя быть уверенным в том, что некоторый инфоресурс содержит лишь одну вершину, удовлетворяющую каким-то условиям – всегда надо оперировать множеством
• для перехода от вершины "Жалобы" к вершинам, сформированным по метапонятию "признак", используется "окончание пути" и не используется "продолжение пути", так как такие вершины могут быть на произвольном удалении от вершины "Жалобы"

Рис.1. Поиск всех "Жалоб"

Пример 2

Примеры запросов <<< Платформа IACPaaS/Ядро платформы/Язык описания запросов
{
  запрос [ИМТ] {
    формальные параметры {
      инфоресурсы {}
      данные {
        имя параметра [вес] {
           ["вершина"] 
        }
        имя параметра [рост] {
           ["вершина"] 
    }}}
    тело запроса {
      терм {
        частное {
          делимое {
            терм-число {
              метка вершины {
                терм {
                  параметр [<- Примеры запросов$/ИМТ/формальные параметры/данные/вес;] 
          }}}}
          делитель {
            терм-число {
              произведение {
                сомножитель [1] {
                  терм-число {
                    метка вершины {
                      терм {
                        параметр [<- Примеры запросов$/ИМТ/формальные параметры/данные/рост;] 
                }}}}
                сомножитель [2] {
                  терм-число {
                    метка вершины {
                      терм {
                        параметр [<- Примеры запросов$/ИМТ/формальные параметры/данные/рост;] 
    }}}}}}}}}}
    выполнения {...}
}}

• "инфоресурсы" среди формальных и фактических параметров не задаются (можно будет вычислять запрос на разного типа инфоресурсах, описывающих пациентов – архивах историй болезни, электронных медицинских картах и т.п.)
• в качестве формальных параметров введёны два "данных": "рост" и "вес" с типом значений "вершина", так как конкретные вершины, описывающие рост и вес пациента должны быть выбраны из некоторого инфоресурса с историей болезни перед исполнением запроса (и в каждом исполнении могут быть разные)
• далее при формировании "выполнения" задаётся значение соответствующих фактических параметров:
  • в качестве имён фактических параметров "рост" и "вес" сделаны зависимые клоны имён соответствующих параметров из подграфа "формальные параметры"
  • в качестве значения пользователь устанавливает ссылки на вершины со значением роста и веса

Рис.2. Вычисление "ИМТ"

Пример 3

Примеры запросов <<< Платформа IACPaaS/Ядро платформы/Язык описания запросов
{
  запрос [поиск боль] {
    формальные параметры {
      инфоресурсы {
        имя параметра [ИР] {
          инфоресурс [-> инфоресурс$;]
      }}
      данные {}
    }
    тело запроса {
      терм {
        квантор интенсиональности {
          переменная [вершина из ИР] {
            терм-множество {
              все вершины {
                область выбора [<- Примеры запросов$/поиск боль/формальные параметры/инфоресурсы/ИР;] 
          }}}
          формула {
            соответствие регулярному выражению {
              строка {
                терм-строка{
                  метка вершины{
                    терм {
                      переменная [-> Примеры запросов$/поиск боль/тело запроса/терм/квантор интенсиональности/вершина из ИР;]
              }}}}
              регулярное выражение [".*(Б|б)(О|о)(Л|л)(Ь|ь).*"] 
    }}}}}
    выполнения {
      выполнение [1] {
        фактические параметры {
          инфоресурсы {
            имя фактического параметра [<- Примеры запросов$/поиск боль/тело запроса/терм/квантор интенсиональности/вершина из ИР/терм-множество/все вершины/ИР;] {
              инфоресурс [-> База медицинской терминологии и наблюдений$;]
          }}
          данные {}
        }
        результаты {...}
}}}}

• вместо онтолого-ориантированного терма "множество соответствующих мета-пути вершин" используется онтолого-независиый терм "все вершины" (при работе с по конкретным онтологиям следует избегать использования данного терма)
• для поиска в метке вершины подстроки "боль" (независимо от регистра) используется регулярное выражение ".*Б|бО|оЛ|лЬ|ь.*", где:
  • .* – любая подстрока
  • (Б|б)(О|о)(Л|л)(Ь|ь) – последовательность из 4 символов, где на первом месте либо "Б", либо "б" и т.д.