|
Прохоров, А. В. Алгоритм унификации в методе резолюций для логики предикаторов [Текст] / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57.
Рассматривается проблема повышения эффективности интелектуальных систем, использующих в качестве механизма логического вывода метод резолюций для исчисления предикаторов первогопорядка. |