АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ
Journal Title: Радиоэлектроника и информатика - Year 2017, Vol 4, Issue 4
Abstract
Рассматривается проблема повышения эффективно- сти интеллектуальных систем, использующих в каче- стве механизма логического вывода метод резолюций для исчисления предикатов первого порядка. Показы- вается, что метод резолюций в процессе поиска (вы- вода) решений (следствий) основан на порождении большого числа резольвент и многократном исполь- зовании процедуры унификации. Предлагается новый алгоритм унификации, построенный на теории мно- жеств и простых и единых правилах преобразования матриц возможных подстановок, что повышает его эффективность по сравнению с известными эвристи- ческими процедурами. Данный алгоритм унификации может быть использован не только в методе резолю- ций, но и в других алгоритмах дедуктивного вывода, разработанных для логики предикатов.
Authors and Affiliations
Александр Прохоров, Валерий Прохоров
Функциональная модель управления в сетях пиринговой связи
Предлагается математическая модель управления потоком фрагментов в пиринговой сети Р2Р-ТV при передаче видеоконтента с использованием критерия минимума суммарной потери времени на обслуживание N-фрагментов информационной...
ОСОБЛИВОСТІ РОСТУ І БУДОВИ КАТОДНОГО ДЕПОЗИТУ, ОТРИМАНОГО ПРИ ПЛАЗМОВО-ДУГОВОМУ СИНТЕЗІ ВУГЛЕЦЕВИХ НАНОТРУБОК
Проводиться критичний огляд опублікованих результатів, що стосуються утворення та властивостей катодного депозиту (КД), його ролі в процесі дугового розряду. Описуються оригінальні експериментальні результати...
ОБ ОПТИМАЛЬНОМ УПРАВЛЕНИИ ПЕРЕХОДНЫМИ ПРОЦЕССАМИ В ЭЛЕКТРИЧЕСКИХ ЦЕПЯХ
Изучается задача оптимального управления переходны- ми процессами в электрических цепях с сосредоточенны- ми линейными элементами. Качество управления харак- теризует квадратичный функционал энергии, зависящий от парамет...
Фотогальванический эффект в системах с пространственными ограничениями
Описывается фотогальванический эффект в системах с пространственными ограничениями. Для появления фототока в этих системах принимает участие поверхность. Направление фототока комбинируется из тензоров, относящихся к крис...
Оптимизационная модель отказоустойчивой маршрутизации с билинейными условиями защиты пути
Описывается усовершенствованная потоковая модель отказоустойчивой маршрутизации с защитой пути. Новизна предложенного усовершенствования заключается в том, что условия защиты пути включены в критерий оптимальности в били...