АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ
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 138
- Downloads 0
Підхід до розв’язання нестаціонарних задач математичної фізики з нелокальними умовами
Розглядається застосування проекційного методу Бубнова-Гальоркіна до початково-крайової задачі для нестаціонарного рівняння теплопровідності з нелока-льною умовою. Для таких задач важливим є питання про вибір координатни...
ИССЛЕДОВАНИЕ МЕТОДОВ МНОГОКРИТЕРИАЛЬНОЙ ОЦЕНКИ УПРАВЛЕНИЯ ДЕЯТЕЛЬНОСТЬЮ СОВРЕМЕННОГО ПРЕДПРИЯТИЯ
Исследуются методы теории оптимизации, ориенти- рованные на определение и идентификацию наилу- чших вариантов решения, не прибегая к проверке всех возможных решений путем реализации их на практи- ке, а также методы много...
Влияние изменения зацепления и связности на сложность кода и его быстродействие в разработке программного обеспечения
Оценивается влияние мер сил взаимосвязанности внутри и между модулями на читабельность кода и скорость работы программного обеспечения. Для этого рассматриваются понятия связности и зацепления на уровне модульной архитек...
ДИНАМІЧНА МОДЕЛЬ ОПТИМІЗАЦІЇ ТРАНСПОРТНИХ ВИТРАТ З УРАХУВАННЯМ НЕВИЗНАЧЕНОСТІ ТЕРМІНІВ ДОСТАВКИ
Розглядається транспортно-логістична система обслуго- вування клієнтів з організацією доставки та вивезення інструментів. Пропонується динамічна модель виконан- ня портфеля замовлень на визначеному горизонті плану- вання...
Методы выявления деструктивных суггестивных информационно-психологических операций в информационно-социальном пространстве
Предлагаются подходы к выявлению деструктивных суггестивных воздействий на подсознание человека в текстовых сообщениях в условиях информационно- психологического противоборства. Выявление деструктивных воздействий предла...