Математическая логика и теория алгоритмов

Преобразовав эти формулы, получим: 1 родитель(Х,2)упредок(Х,2), (3.24) 1 родитель(Х,У)у1 предок(У,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). Потомки второго уровня (внуки Пам) выявятся в результате получения следующих резольвент 1 родитель(пам,У)у1 предок(У,Х)уАК8(Х), (3.28) которое получено из (3.25) и (3.26), 1 родитель(Х,У)у1 родитель(пам,Х)уАК8(У), (3.29) полученное из (3.28) и (3.24), 1 родитель(боб,У)уАМ8(У), (3.30) полученное из (3.29) и (3.10). Далее имеем: ANS (3H H ) - пол}'чено из (3.30) и (3.13), ANS (naT) - получено из (3.30) и (3.14). Пото\5ки третьего уровня (правнуки Пам) выявятся в результаге следующих преобразований; 126