Любой унификатор получается из НОУ путем воздействия на него подходящей подстановкой. На рис. 6.1 приведено ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Тейз А.N. Логический подход к искусственному интеллекту


Любой унификатор получается из НОУ путем воздействия на него подходящей подстановкой. На рис. 6.1 приведено операционное описание унификации в виде рекурсивного алгоритма унифицирование. Входом являются два терма, которые надо унифици-оовать.

(cкачать страницу)

Смотреть книгу на libgen

Любой унификатор получается из НОУ путем воздействия на него подходящей подстановкой.  На рис. 6.1 приведено операционное описание унификации в виде рекурсивного алгоритма унифицирование.  Входом являются два терма,  которые надо унифици-оовать.