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