АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 4, Issue 4
Abstract
Рассматривается проблема повышения эффективно- сти интеллектуальных систем, использующих в каче- стве механизма логического вывода метод резолюций для исчисления предикатов первого порядка. Показы- вается, что метод резолюций в процессе поиска (вы- вода) решений (следствий) основан на порождении большого числа резольвент и многократном исполь- зовании процедуры унификации. Предлагается новый алгоритм унификации, построенный на теории мно- жеств и простых и единых правилах преобразования матриц возможных подстановок, что повышает его эффективность по сравнению с известными эвристи- ческими процедурами. Данный алгоритм унификации может быть использован не только в методе резолю- ций, но и в других алгоритмах дедуктивного вывода, разработанных для логики предикатов.
Authors and Affiliations
Александр Прохоров, Валерий Прохоров
Keywords
Related Articles
- EP ID EP585331
- DOI 10.30837/1563-0064.4(79).2017.152300
- Views 133
- Downloads 0
ОЦЕНКА ОСЕВОЙ РАЗРЕШАЮЩЕЙ СПОСОБНОСТИ СВЧ СЕНСОРА ДЛЯ ИССЛЕДОВАНИЙ БИОЛОГИЧЕСКИХ ОБЪЕКТОВ
Описывается теоретический анализ разрешающей способности СВЧ сенсора. Рассматривается задача описания полей в рабочей области такого сенсора. Геометрическая схема сенсора допускает возможность использо...
Разработка трехуровневого метода иерархической маршрутизации на основе принципа целевой координации
Предлагается трехуровневый метод иерархической маршрутизации, основанный на принципе целевой координации. Метод основан на декомпозиционном представлении потоковой модели маршрутизации и включает в себя три уровня иерарх...
ОСОБЛИВОСТІ РОСТУ І БУДОВИ КАТОДНОГО ДЕПОЗИТУ, ОТРИМАНОГО ПРИ ПЛАЗМОВО-ДУГОВОМУ СИНТЕЗІ ВУГЛЕЦЕВИХ НАНОТРУБОК
Проводиться критичний огляд опублікованих результатів, що стосуються утворення та властивостей катодного депозиту (КД), його ролі в процесі дугового розряду. Описуються оригінальні експериментальні результати...
Пасивно-активний метод супроводження повітряних цілей зі штучно зниженою площею віддзеркалення
Запропоновано виявлення і супроводження повітряних цілей зі штучно зменшеною площею віддзеркалення на основі комплексного використання як активного, передавального каналу, який здатний формувати резонансний радіосигнал,...
Решение задачи многометочной классификации для идентификации радионуклидов
Описывается определение изотопного состава радио-активных источников, состоящих из одного до пяти нуклидов (57Co, 137Cs, 131I, 133Ba и 241Am), по спектрам их гамма-излучения. Для получения спектров используется программа...