Искусственный интеллект

на (А, В) л на (В, Стол) л на (С, Стол) л на (D, Стол). (4.157) 4—1141 97 4. Вывод в логике предикатов Вывод. Используя унифицированные клаузы (4.130), (4.151), которые после унификации превращаются в клаузы (4.158), (4.159), получаем резольвенту (4.160): на (A, Q, (4.158) -> на (А, С) v -1 свободен (A) v переместить (А, Стол), (4.159) -, свободен (A) v переместить (А, Стол). (4.160) Используя клаузы (4.134), (4.160), получаем резольвенту переместить (А, Стол). (4.161) Используя эту резольвенту и унифицированную клаузу (4.154), которая после унификации превратилась в клаузу (4.162), получаем резольвенту (4.163): -1 на (А, у) v -1 свободен (A) v -i переместить (А, Стол) v v свободен (у), (4.162) -1 на (А, у) v -, свободен (A) v свободен (у). (4.163) Затем, используя клаузы (4.130), (4.134) и унифицированный резольвент (4.163), получаем резольвенту