SCI Библиотека

Исследуется область теории нечетких моделей. Вводится понятие согласованного означивания предложений данной сигнатуры, которое можно рассматривать как обобщение на нечеткий случай понятия совместного множества предложений. По аналогии с классическим случаем рассматриваются классы нечетких моделей, порожденных согласованными означиваниями, вводится понятие аксиоматизированного класса нечетких моделей. Нечеткие значения истинности различных предложений можно рассматривать как формализацию субъективных оценочных знаний экспертов о предметной области. Для формализации таких знаний рассматриваются интервальные и точечные означивания, описываются теоретико-модельные свойства классов нечетких моделей, порожденных такими означиваниями. Зачастую при формализации некоторой системы необходимо также учитывать и среду, в которой находится данная система, и с которой она неизбежно взаимодействует (например, при реализации квантовых вычислений). В этом случае в нечеткую модель необходимо включать формализацию знаний не только о самой системе, но и о среде, в которой она обитает. Саму же систему можно рассматривать как подмодель полной модели. Вводится понятие подмодели нечеткой модели и факторизации класса нечетких моделей по фиксированным подмоделям. Доказывается, что классы эквивалентности такой факторизации являются аксиоматизированными классами нечетких моделей.

Изучается нетранзитивная временная мультиагентная логика с мультиозначиваниями агентов для переменных и формул. Ранее время и знания моделировались с помощью моделей Крипке, структура которых выглядела как простой единый временной кластер с множеством отношений достижимости для агентов. Здесь мы развиваем этот подход и используем модели Крипке, которые представляют собой линейное нетранзитивное время и состояния, представленные произвольными временными кластерами для мультиотношений достижимости агентов. Эта логика определяется семантически как множество формул, истинных на линейных моделях с мультиозначиваниями переменными и кластерами состояний. Мы предлагаем обоснование такого подхода и методику вычисления истинностных значений формул. Основные результаты касаются проблемы разрешимости. Мы доказываем, что полученная логика разрешима и финитно аппроксимируема.

Различающиеся или совокупность совпадающих признаков, выявленные в процессе производства почерковедческой экспертизы, служат основанием для дачи положительного или отрицательного вывода. В разных случаях производства почерковедческой экспертизы совокупность выявленных признаков не включает в себя абсолютно все признаки письменной речи и почерка. Важным моментом является обстоятельство, что выявленные в рукописном тексте различающиеся признаки дают основание для отрицательного вывода только тогда, когда такие признаки устойчивы в отношении влияния различных сбивающих факторов. Совпадения, выявленные экспертом в процессе исследования рукописного текста при формировании отрицательного вывода обязательно должны быть оценены и объяснены.

Исследуется критерий полноты на множестве мультиопераций ранга 3 относительно оператора импликативного замыкания. Задача является частным случаем проблемы конечной классификации мультиопераций, заданных на произвольном множестве. Получено описание всех предполных множеств. Описаны выразительные возможности оператора, в том числе найдены условия, при которых множество операций импликативно порождает все множество мультиопераций. Полученный результат может быть использован при изучении мультиопераций, заданных на произвольном множестве.

Logical-probabilistic machine learning (LPML) is an AI method able to explicitly work with a priori knowledge represented in data models. This feature significantly complements traditional deep learning knowledge acquiring. Object ontologies are a promising example of such a priori models. They are an expanded logical analog of object oriented programming models. While forming the core of the bSystem platform, object ontologies allow solving the applied problems of high complexity, in particular, in the field of management. The combination of LPML and object ontologies is capable of solving the forecasting problems, the tasks of automated control, problem detection, decision making, and business process synthesis. The proximity of object ontologies to the LPML formalism due to the same semantic modeling background makes it possible to integrate them within a single hybrid formal system, which is presented in this paper. In the paper we introduce the approach to integration of these two formalisms and provide some algorithmic basis for the implementation of the resulting hybrid formalism on the bSystem platform.

В монографии впервые осуществлена полная публикация эпонимного для отечественной археологии памятника — могильника у д. Прохоровка, который датируется в пределах IV–II вв. до н. э. и относится к раннесарматской культуре Южного Приуралья. Приводятся детальные описания как могильника в целом, так и составляющих его отдельных курганов и комплексов. Проведен хронологический и типологический анализ сопровождающего инвентаря. Разработан палеоантропологический материал из захоронений. В приложении к книге собраны научные исследования, касающиеся остеологии, палеозоологии, торевтики, металлографии и палеографики могильника. Проведены геологические определения каменного материала. Специальную часть книги представляет каталог вещевых находок, объединяющий коллекцию, полученную в начале XX в. и находки из раскопок 2003–2005 гг. XXI столетия. Книга хорошо иллюстрирована графическими рисунками, чертежами объектов и фотографиями находок. Она рассчитана на археологов, историков, антропологов, всех, кто интересуется историей и археологией ранних кочевников Евразийских степей.

Найдены необходимые и достаточные условия регулярности силовской p-подгруппы P группы Шевалле типа F4 или E6, определенной над кольцом классов вычетов целых чисел по модулю pm, когда простое число p отлично от 37, 41, 43, 47. Для перечисленных значений p группа P регулярна, если экспонента m не превосходит числа 3; при m больше, чем 3, ответ остается неизвестным.

Выявлены вогнутые продолжения дискретных функций, определенных на вершинах n-мерного единичного куба, n-мерного произвольного куба и n-мерного произвольного параллелепипеда. Конструктивно доказано, что, во-первых, любая дискретная функция fD, определенная на вершинах G - одного из этих трех множеств, имеет бесконечно много вогнутых продолжений на G и, во-вторых, существует функция fNR, являющаяся минимумом среди всех ее вогнутых продолжений на G. Также доказано, что функция fNR на G непрерывна и единственна.

На протяжении длительного времени не ослабевает интерес исследователей к истории ираноязычных алан, сыгравших важную роль в жизни многих племен и народов Старого Света. Отечественная наука по праву может гордиться своими достижениями в изуче нии аланской проблематики. День ото дня нарастает поток публикаций, посвященных аланам, кочевавшим в древности по бескрайним просторам Евразии, оседавшим на Кавказе и Руси, служившим одним из последних доводов в вооруженных конфликтах между Ираном и Византией, арабами и хазарами, грузинскими царями и их мятежными князьями. Однако, как ни странно, со времен Ю. А. Кулаковского, опубликовавшего в 1899 г. свод «классических» и византийских источников об аланах, история последних в Западной Европе и Византии оказалась довольно слабо освещенной. Примерно так же обстояли дела и в зарубежной историографии до тех пор, пока капитальное исследование Б. С. Бахраха «История алан на Западе», изданное в 1973 г., не нарушило зыбкого равновесия. Оно стало своего рода «классикой», без учета и анализа которой продвижение вперед попросту невозможно.

В книге впервые вводятся в научный оборот материалы курганного могильника скифского времени Нартан-2, изучавшегося в 1969 и 1986 гг. Публикуется описание погребального обряда и инвентаря 9 курганов. Кратко рассмотрена хронология могильника. Судя по выявленному погребальному инвентарю, вероятная дата могильника охватывает V-IV вв. до н. э. Материалы могильника Нартан-2 представляют значительный научный интерес и дополняют наши представления о кочевнических памятниках скифского времени на территории Кабардино-Балкарской Республики.

Издание предназначено для археологов, музейных работников, специалистов по истории древнего мира, историков культуры, студентов и краеведов.