Представление и обработка знаний

76 В результате применения подстановки  1 :  1 = {( x  a ), ( y  b ), ( u  a ), ( v  b ), ( e  a )} получаем:  [ f 1 ( x , y , g ( x , 1))] = f 1 ( a , b , g ( a , 1));  [ f 2 ( u , v , g ( e , 1))] = f 2 ( a , b , g ( a , 1)). В результате применения подстановки  2 :  2 = {( x  a ), ( y  z ), ( u  a ), ( v  z ), ( e  a ) получаем:  2 [ f 1 ( x , y , g ( x , 1))] = f 1 ( a , z , g ( a , 1));  2 [ f 2 ( u , v , g ( e , 1))] = f 2 ( a , z , g ( a , 1)). Отметим, что подстановки  и  2 дают более общий унифи- катор, чем   . Наиболее общим унификатором для двух унифицируемых тер- мов t 1 и t 2 называется такой унификатор  , что какой бы ни был дру- гой унификатор   , для тех же термов существует  2 , что  1 =  2 *  . Наименьшая верхняя граница (НВГ) – это то, что из чего можно вывести t 1 и t 2 . Наибольшая нижняя граница (ННГ) для па- ры t 1 и t 2 это то, что выводимо из t 1 и t 2 (рис. 3.3). НВГ: h ( x , z , g ( y )) t 1 : h ( x , f ( a ), g ( y )) t 2 : h ( y , z , g ( b )) ННГ: h ( y, f ( a ), g ( b )) Рис. 3.3. Пример нахождения НВГ и ННГ Унификация термов осуществляется в следующей последо- вательности: 1. Если t 1 и t 2 не равны и t 1 и t 2  константы, то унифициро- вать нельзя.