Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

Выясним, как получает программа ответ. Предложения (3.23) записывают­ ся в виде: родитель(Х,2)^предок(Х,2), poдитeль(X,Y)&пpeдoк(Y,Z)^пpeдoк(X,Z). Преобразовав эти формулы, получим: -1родитель(Х,2)упредок(Х,2), (3.24) -lpoдитeль(X,Y) \/-1предок(У,2)упредок(Х,2). (3.25) Вопрос к системе преобразуются к виду -1предок(пам,Х)уАК8(Х). (3.26) Для получения ответа используется предложения (дизъюнкты) (3.10)-(3.15) и дизъюнкты (3.24)-(3.26). Непосредственный потомок для Пам выявится, если из (3.24) и (3.26) по­ лучить бинарную резольвенту: -1родитель(пам,2)уАК8(2). (3.27) Затем получим ANS(6o6) как бинарную резольвенту из (3.27) и (3.10). Потомки второго уровня (внуки Пам) выявятся в результате получения следующих резольвент -lpoдитeль(пaм,Y) \/-lПpeдoк(Y,X)v ANS(X), (3.28) которое получено из (3.25) и (3.26), -1родитель(Х,У) \/-1родитель(пам,Х)у ANS(Y), (3.29) которое получено из (3.28) и (3.24), -1родитель(боб,У)\/АК8(У), (3.30) полученное из (3.29) и (3.10). Далее имеем: ANS (3HN) -получено из (3.30) и (3.13), ANS(naT) -получено из (3.30) и (3.14). Потомки третьего уровня (правнуки Пам) выявятся в результате следую­ щих преобразований -1родитель(пам,2)у ANS(Z), (3.31) получено из (3.26) и (3.24), -1предок(боб,Х)у ANS(X), (3.32) получено из (3.31) и (3.10), -lpoдитeль(бoб,Y) \/-1предок(У,Х)у ANS(X), (3.33) получено из (3.32) и (3.25), -lpoдитeль(X,Y) \/-1родитель(боб,Х)у ANS(Y), (3.34) получено из (3.33) и (3.24), -1родитель(пат,У)\/АК8(У), (3.35) получено из (3.34) и (3.14). Затем из (3.35) и (3.15) получим: АК8(джим). Отметим, что в каждом из рассмотренных случаев выполняется следую­ щее: 88