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

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

Александр Валерьевич Прохоров, Валерий Павлович Прохоров

Аннотация


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


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


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

Полный текст:

PDF(Русский)

Литература


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.


Ссылки

  • На текущий момент ссылки отсутствуют.


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

Creative Commons License
Эта работа лицензирована Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.