English
2020 год, том 24, выпуск 4 (PDF)
В работе рассматривается задача проверки возможности получения пользователем информационной системы доступа к выделенному объекту при заданной атрибутивной политике безопасности. Показывается, что при некоторых ограничениях на модель информационной системы и правила политики эта задача сводится к задаче интеллектуального планирования. Определяется древовидная структура, построение которой соответствует планированию в пространстве планов и позволяет учитывать специфику решаемой задачи при построении эвристических алгоритмов проверки доступа. Доказывается, что существование такой структуры является необходимым и достаточным условием возможности получения доступа к целевому объекту.
Ключевые слова: ABAC, проверка доступа, интеллектуальное планирование.
В работе излагаются результаты дискуссии на тему проблем и перспектив искусственного интеллекта, состоявшейся на кафедре математической теории интеллектуальных систем 14 октября 2020 года. Тематика дискуссии восходит к классическим работам А. Тьюринга «Может ли машина мыслит» и Дж. фон Неймана «Вычислительная машина и мозг», которые возникли на заре становления кибернетики как науки. С тех пор дискуссии на тему «Может ли машина мыслить» то возникали, то затухали и в понимании этого вопроса особой ясности они не вносили. В последние годы, в связи с мощным развитием технологической базы вычислительных систем, тематика стала вновь актуальной. Вместе с научной базой, наработанной в теории искусственного интеллекта и прикладных программ в этой области, возникло множество работ спекулятивного типа, готовых объявить любое устройство со встроенными в его систему управления тривиальными алгоритмическими добавками «системой искусственного интеллекта». В работе делается попытка отделить «зерна от плевел», изложив несколько точек зрения по этому вопросу.
Ключевые слова: искусственный интеллект, машинное обучение, нейронные сети.
В работе [1] дано определение клеточного автомата с локаторами. В данной работе указаны некоторые неточности и недостатки этого определения и предлагаются уточнения, позволяющие избавиться от этих недостатков. Также приводятся примеры классов клеточных автоматов с локаторами, обладающих в определённом смысле хорошими свойствами.
Ключевые слова: клеточные автоматы, однородные структуры.
Для класса кусочно-параллельных функций, реализуемых схемами из линейных элементов и функций Хэвисайда, получен алгоритм проверки полноты конечных подмножеств, дополненных одноместными функциями. Таким образом, для рассматриваемого класса решена задача Слупецкого.
Ключевые слова: кусочно-линейная функция, кусочно-параллельная функция, проблема полноты, критерий Слупецкого.
Если в диаграмме Мура автомата без выходов убрать информацию о входных буквах, то получится ориентированный граф. Обратная операция, когда эта информация восстанавливается, называется разметкой графа автомата. В этой статье приводятся оценки числа разметок графов, приводящих к групповым автоматам.
Ключевые слова: групповой автомат, граф переходов, диаграмма Мура, перманент матрицы, факторизация.
В работе рассматривается одно семейство квантовых LDPC кодов с весом стабилизатора 6 и двумя логическими кубитами, где имеется фрактальная структура некоторых логических операторов. Эти коды можно представить в виде локальных кодов на трёхмерной решётке \(\textit{L} \times \textit{L} \times \textit{L} \) с периодическими граничными условиями. Для этого семейства кодов доказана нижняя оценка кодового расстояния \(\Omega (L^\alpha) \), где \(\alpha = \log_2 (2(\sqrt{5}-1)) \approx \textit{1.306} \).
Ключевые слова: квантовый LDPC код, локальный квантовый код, кодовое расстояние, линейный клеточный автомат, фрактальная размерность.
Рассматривается задача определения порядка инициального линейного над полем рациональных чисел автомата относительно операции суперпозиции. Выведена верхняя оценка на порядок автомата, зависящая от размерности.
Ключевые слова: линейные автоматы, порядок в полугруппе.