Альгин М.Н., Мельцов В.Ю. 1(2017)

УДК 004.312.44

М. Н. Альгин, В. Ю. Мельцов

АКТОРНАЯ МОДЕЛЬ ЛОГИКО-ПОТОКОВЫХ ВЫЧИСЛЕНИЙ ИСПОЛНИТЕЛЬНОГО БЛОКА МАШИНЫ ЛОГИЧЕСКОГО ВЫВОДА

       Представление знаний о выбранной предметной области является, как правило, достаточно трудоёмкой задачей для интерпретации на ЭВМ, поэтому для работы с такой информацией необходимы новые семантические подходы к извлечению, представлению, хранению и обработке информации. К задачам интеллектуальной обработки данных и знаний относятся: логическое прогнозирование, управление предприятиями, транспортная логистика, бизнес-аналитика, медицинская и техническая диагностика и т.д. Количество вышеуказанных задач неуклонно растет, а вычислительный аспект в них уходит на второй план. В статье рассматриваются проблемы создания высокопроизводительных систем обработки знаний. В настоящее время есть недостатки как при аппаратном, так и программном подходах. Целью работы является создание компьютерной модели машины логического вывода, которая лежит в основе любой системы обработки знаний. Создание такой модели позволит исследовать возможности повышения производительности систем обработки знаний и оценить эффективность различных конфигураций машин логического вывода при решении конкретных задач логического вывода. В результате создана компьютерная модель машины логического вывода. На данном этапе исследований предложены формулы для рекомендации примерной структуры машины логического вывода для оптимального решения конкретной задачи.

       Ключевые слова: системы обработки знаний, машина логического вывода, компьютерная модель, исполнительный блок, блок унификации.