L международная выставка-презентация
научных, технических, учебно-методических и литературно-художественных изданий
Блок унификации с параллельным сопоставлением термов
| Название | Блок унификации с параллельным сопоставлением термов |
|---|---|
| Разработчик (Авторы) | Мельцов Василий Юрьевич, Куваев Алексей Сергеевич, Русов Вячеслав Сергеевич |
| Вид объекта патентного права | Изобретение |
| Регистрационный номер | 2659492 |
| Дата регистрации | 02.07.2018 |
| Правообладатель | федеральное государственное бюджетное образовательное учреждение высшего образования "Вятский государственный университет" (ВятГУ) |
| Область применения (класс МПК) | G06N 5/04 (2006.01) |
Описание изобретения
Изобретение относится к вычислительной технике. Технический результат заключается в сокращении времени унификации предикатов, обеспечивается блоком унификации с параллельным сопоставлением термов, содержащим внутреннюю рабочую память, входами соединеную с входной шиной данных, и выходом узла диспетчеризации, а выходы соединены с входом узла сопоставления переменных, входом узла сопоставления имен предикатов и входами узлов сопоставления термов, узел управления входами соединен с входной шиной управления, выходом узла сопоставления переменных, выходом узла сопоставления имен предикатов и выходами узлов сопоставления термов, узел диспетчеризации, входами соединенный с выходами узлов сопоставления термов, а выходы соединены с входом внутренней рабочей памяти и входами узлов сопоставления термов, узел сопоставления имен предикатов входом соединен с выходом внутренней рабочей памяти, а выход соединен с входом узла управления, узлы сопоставления термов, входы которых соединены с выходами внутренней рабочей памяти и выходами узла диспетчеризации, а выходы соединены с входами узла управления, входами узла согласования переменных и входами узла диспетчеризации, узел согласования переменных входами соединенный с выходами узлов сопоставления термов и выходом внутренней рабочей памяти. 9 ил.
Изобретение относится к вычислительной технике, а именно к устройствам обработки символьной информации, и направлено на увеличение производительности и расширение функциональных возможностей процессоров логического вывода и систем, основанных на знаниях, реализующих любой метод логического вывода.
Изобретение может быть использовано при проектировании и разработке специализированных процессоров логического вывода или как самостоятельное устройство для проведения исследований по анализу эффективности различных методов параллельной унификации.
В настоящее время в сфере компьютерных систем и технологий особенно актуальными становятся системы, решающие задачи обработки знаний. Представление знаний о выбранной предметной области является, как правило, достаточно трудоемкой задачей для интерпретации на ЭВМ, поэтому для работы с такой информацией необходимы новые семантические подходы к извлечению, представлению, хранению и обработке информации. К задачам интеллектуальной обработки данных и знаний относятся: управление крупными предприятиями, транспортная логистика, бизнес-аналитика, медицинская и техническая диагностика, логическое прогнозирование и т.д. Количество вышеуказанных задач неуклонно растет, а вычислительный аспект в них уходит на второй план. Именно поэтому были созданы специальные языки логического программирования, а также появился спрос на различного рода экспертные системы и системы поддержки принятия решений. Главная проблема в том, что при реализации на ЭВМ языки логического программирования используются неэффективно, так как они предназначены для обработки символьной информации, а написанные на них программы переводятся в набор микрокоманд для выполнения на серийных универсальных процессорах, предназначенных, в первую очередь, для обработки числовых данных.
Решением перечисленных проблем может стать аппаратная поддержка специализированных машин логического вывода, составляющих основу любой интеллектуальный системы обработки знаний.
В процессе логического вывода одной из самых частых операций над символьными данными является операция унификации предикатов. Известны обобщенная структура абстрактной машины логического вывода, а также форматы и структуры данных [Meltsov V.Yu. High-performance systems of deductive i nference: Monograph. -Yelm, WA, USA: Science Book Publishing House, 2014. - 216 p., с. 101, 124-132].......................
Формула изобретения
Блок унификации с параллельным сопоставлением термов, содержащий внутреннюю рабочую память, входы которой соединены с входной шиной данных и выходом узла диспетчеризации, а выходы соединены с входом узла сопоставления переменных, входом узла сопоставления имен предикатов и входами узлов сопоставления термов, узел управления, входы которого соединены с входной шиной управления, выходом узла сопоставления переменных, выходом узла сопоставления имен предикатов и выходами узлов сопоставления термов, узел диспетчеризации, входы которого соединены с выходами узлов сопоставления термов, а выходы соединены с входом внутренней рабочей памяти и входами узлов сопоставления термов, узел сопоставления имен предикатов, вход которого соединен с выходом внутренней рабочей памяти, а выход соединен с входом узла управления, узлы сопоставления термов, входы которых соединены с выходами внутренней рабочей памяти и выходами узла диспетчеризации, а выходы соединены с входами узла управления, входами узла согласования переменных и входами узла диспетчеризации, отличающийся тем, что дополнительно содержит узел согласования переменных, входы которого соединены с выходами узлов сопоставления термов и выходом внутренней рабочей памяти, а выходы соединены с входом узла управления и выходной шиной данных.
Медаль Альфреда Нобеля