АЛГОРИТМ УНИФИКАЦИИ В МЕТОДЕ РЕЗОЛЮЦИЙ ДЛЯ ЛОГИКИ ПРЕДИКАТОВ

Авторы

  • Александр Валерьевич Прохоров д-р техн. наук, доцент, профессор кафедры информационных управляющих систем Национального аэрокосмического университета им. Н. Е. Жуковского «ХАИ», Ukraine
  • Валерий Павлович Прохоров канд. техн. наук, с.н.с., генеральный директор научного парка «Радиоэлектроника и информатика» ХНУРЭ, Ukraine

DOI:

https://doi.org/10.30837/1563-0064.4(79).2017.152300

Ключевые слова:

интеллектуальные системы, метод резолюций, алгоритм унификации, алгоритмы дедуктивного вывода

Аннотация

Рассматривается проблема повышения эффективности интеллектуальных систем, использующих в качестве механизма логического вывода метод резолюций для исчисления предикатов первого порядка. Показывается, что метод резолюций в процессе поиска (вывода) решений (следствий) основан на порождении большого числа резольвент и многократном использовании процедуры унификации. Предлагается новый алгоритм унификации, построенный на теории множеств и простых и единых правилах преобразования матриц возможных подстановок, что повышает его эффективность по сравнению с известными эвристическими процедурами. Данный алгоритм унификации может быть использован не только в методе резолюций, но и в других алгоритмах дедуктивного вывода, разработанных для логики предикатов.

Библиографические ссылки

Shajkin A.N. Unifikacija v modeli logicheskogo vyvoda / A.N. Shajkin // Uchenye zapiski Rossijskogo gosudarstvennogo social'nogo universiteta. T.1, № 5. 2013. S. 54-57.

Andréka, H. On A New Semantics for First-Order Predicate Logic / H. Andréka, J. van Benthem, I. Németi // Journal of Philosophical Logic. Vol. 46. 2017. pp. 259-267.

Nil'son N. Iskusstvennyj intellekt. Metody poiska reshenij [Tekst] / Per. s angl. V.L. Stefanjuka / Pod red. S.V. Fomina. M.: Mir, 1973. 272 s.

Robinson J. A. A Machine-Oriented Logic Based on the Resolution Principle, J. ACM, 12, No, 1, 23-41. [Russkij perevod: sm. Kiberneticheskij sbornik, №7, Novaja serija, «Mir», M., 1970.]

Prohorov A. V. Oblachnaja platforma razrabotki intellektual'nyh sistem podderzhki prinjatija reshenij [Tekst] / A. V. Prohorov, V. P. Prohorov, A. O. Matjushko // Vіsnik Nacіonal'nogo tehnіchnogo unіversitetu «HPІ». Serіja: Sistemnij analіz, upravlіnnja ta іnformacіjnі tehnologії. 2015. H.: NTU «HPІ», №58 (1167). S. 72-76.

Prohorov V.P. Prijnjatie reshenij v sisteme kontrolja i analiza parametrov dvizhenija avtotransporta [Tekst] / V.P. Prohorov, A.V. Prohorov // Radiojelektronika i informatika. H.: HNURJe. №1 (72). 2016. C.32-38.

Загрузки

Опубликован

2017-12-27

Выпуск

Раздел

Статті