УДК 007:681.512.2
ИССЛЕДОВАНИЕ РЕШАТЕЛЕЙ ИНТЕЛЛЕКТУАЛЬНЫХ ЗАДАЧ С ПОМОЩЬЮ АЛГОРИТМИЧЕСКИХ АЛГЕБРАИЧЕСКИХ СИСТЕМ
И. Ю. Каширин, д.т.н., профессор кафедры ВПМ РГРТУ Рязань, Россия;
orcid.org/0000-0003-1694-7410, e-mail: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Рассматривается оригинальная технология применения алгоритмических алгебр для исследования и автоматизированного проектирования решателей многовариантных задач искусственного интеллекта. Конструктивно определяется семейство алгебраических систем, позволяющих адекватно описывать процессы перебора альтернативных планов решения задач. Рассматриваемая технология использует методы эвристического программирования и теории графов. Показывается возможность эффективного применения выражений универсальной алгоритмической алгебры для автоматизированного анализа и синтеза деревьев вариантов и сетей переходов (перемещений). Рассматриваются свойства алгебраических операций композиции элементов из множества планов решений с целью получения компактных схем решения для сложных эвристических задач. На примере планирования действий автономного беспилотного летательного аппарата рас- сматриваются способы получения трассировки перемещений, регулярных и оптимизированных нерегулярных алгебраических выражений, позволяющих проектировать соответствующие этим выражениям планы решений. Приводится алгоритм построения регулярной сети перемещений, удобной для ее представления алгебраическим выражением. Результаты исследования будут полезны в задачах поиска планов решений в интеллектуальных решателях сложных задач, использующих подзадачи разных классов. Целью работы как научной статьи является представление специалистам в области искусственного интеллекта оригинальной технологии автоматизированного проектирования эффективных интеллектуальных решателей задач с использованием семейства алгоритмических алгебр.
Ключевые слова: алгебраические системы, эвристическое программирование, деревья вариантов, планы решений, интеллектуальные решатели, регулярные схемы перемещений, автоматизированное проектирование.