English
09.2014 том 18 выпуск 3 (PDF)
Путем анализа базовых определений интеллекта из разных источников ставится вопрос о допустимости применения к конструкциям и материалам термина интеллектуальности.
Ключевые слова: интеллект, познание, рассудок (разум), творчество, знание, абстрагирование, кибернетика, адаптация.
На основе анализа истории научных открытий, а также данных когнитивной психологии и теории искусственного интеллекта установлено, что основными факторами, исключающими алгоритмический характер творческой деятельности в науке, являются вероятностная природа индуктивного вывода, метод проб и ошибок (метод последовательного перебора), фактор случая в научном открытии и теорема Геделя о неполноте. Это позволяет решить 18-ю проблему С. Смейла: каковы пределы интеллекта, как искусственного, так и человека?
Ключевые слова: творческая деятельность, искусственный интеллект, индуктивный вывод, фактор случая в научном открытии, теорема Геделя о неполноте.
В работе рассматривается задача восстановления трехмерного изображения по кодам его плоских проекций. Описан алгоритм, работающий существенного быстрее ранее предложенного в [3]. Приведены результаты компьютерных экспериментов по сравнению скорости работы этих алгоритмов: старого и нового.
Ключевые слова: распознавание образов, аффинные преобразования, геометрическое распознавание, стереозрение.
Рассмотрены компьютерное моделирование вероятностных и возможностных моделей измерительно-вычислительных преобразователей (ИВП) на основе двух вариантов теории возможностей и зависимости качества ИВП как средства измерений от качества измерительного преобразователя. Проведено сравнение качества ИВП для вероятностной и возможностных моделей измерения, а также решена задача редукции измерения для модели измерения, описываемой вторым вариантом теории возможностей.
Ключевые слова: измерительно-вычислительные системы, редукция, качество датчика, второй вариант теории возможностей.
Рассматриваетя задача прогнозирования образования ледовых заторов на северных реках. В случае, когда места заторообразования известны, необходимо прогнозирование мощности явления. Для решения применен комбинаторно-логический подход теории распознавания образов.
Ключевые слова: распознавание образов, тесты.
В традиционной постановке задача семантической сегментации изображений использует обучающую выборку изображений, размеченных попиксельно. Получение такой разметки требует значительных человеческих усилий. Предлагается метод обучения семантической сегментации, позволяющий использовать менее подробную информацию, получение которой на практике требует меньше усилий, например, плотные рамки вокруг объектов на изображении или множество уникальных меток изображения.
Ключевые слова: машинное обучение, структурный метод опорных векторов, функция потерь, семантическая сегментация изображений.
В работе исследуются алгебры замкнутых термов, операции которых задаются формулами первого порядка с единственным предикатом равенства. Для таких алгебр показано, что в общем случае проблема выводимости термов алгоритмически неразрешима. При рассмотрении частных случаев проблемы выводимости строится соответствие Галуа между операциями и конечными автоматами над термами. На его основе доказаны достаточные условия алгоритмической разрешимости частных случаев проблемы выводимости термов и проблемы выразимости операций над термами.
Ключевые слова: алгебры термов, проблема выводимости, проблема выразимости, автоматы над термами, соответствие Галуа.
В работе исследуются алгоритмы поиска, используемые в фоновом режиме, и предлагается математическая модель этих алгоритмов, опирающаяся на понятие информационного графа. В работе также предлагается фоновый алгоритм решения двумерной задачи о доминировании с линейными затратами по памяти и константным в среднем временем поиска. Для сравнения отметим, что нефоновый алгоритм, среднее время поиска которого равно константе плюс среднее время перечисления ответа, требует квадратичных затрат по памяти.x
Ключевые слова: информационно-графовая модель, задача о доминировании, фоновый поиск.
В работе представлен вывод оценки числа способов разбиений вершин единичного куба полиномиально задаваемой поверхностью.
Ключевые слова: булевская функция, полиномиальная отделимость.
Задача анализа тональности играет важную роль в обработке естественного языка. Рассматривается задача классификации русскоязычного текста на два класса в зависимости от его эмоциональной окраски: положительный и отрицательный. В качестве классификатора используется наивный байесовский классификатор. Используются различные методы для отбора признаков, производится сравнение полученных результатов с результатами классификации англоязычного текста. Достигнута точность 78.4% на заданном тестовом наборе данных.
Ключевые слова: анализ тональности, наивный байесовский классификатор, выбор признаков.
В работе рассматривается задача построения дерева разводки сигнала с заданными величинами задержек сигнала до листьев дерева. Предложен алгоритм, который для заданного мультимножества натуральных чисел за линейное время строит дерево с величинами задержек до листьев дерева, совпадающими с элементами данного мультимножества, или говорит, что такое дерево построить нельзя.
Ключевые слова: синтез больших интегральных схем, разводка сигнала, дерево буферов.
Ранее была решена проблема полноты для класса линейноавтоматных функций над полем GF(2) с операциями композиции. В настоящей работе этот результат обобщен на класс линейно-автоматных функций над GF(p) для простого p. В рассматриваемом классе найдены все предполные подклассы.
Ключевые слова: конечный автомат, линейный автомат, линейно-автоматная функция, операции композиции, проблема полноты, критерий полноты, предполные классы, сумматор, задержка.
Рассматривается общая проблема построения различных типов схемных управляющих систем и некоторые функционалы их сложности. Особое внимание уделяется сложности моделирования схем на компьютере. Предложен общий метод моделирования схем, реализующих булевы функции.
Ключевые слова: схемы из функциональных элементов, контактные схемы, сложность управляющих систем, моделирование.