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

Авторы

  • Александр Валерьевич Прохоров д-р техн. наук, доцент, профессор кафедры информационных управляющих систем Национального аэрокосмического университета им. Н. Е. Жуковского «ХАИ», 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

Выпуск

№ 4(79) (2017)

Раздел

Статті

Лицензия

Copyright (c) 2019 Радиоэлектроника и информатика

Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.

The author(s) of a manuscript agree that if the manuscript is accepted  for publication in “Radioelectronics&Informatics Journal”, the published article will be copyrighted using a Creative Commons “Attribution-Non Commercial-Share Alike” license. This license allows the author(s) to retain the copyright, but also allows others to freely copy, distribute, and display the copyrighted work, and derivative works based upon it, under certain specified conditions.