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

свободен (С). (4.164) Аналогично можем получить следующие резольвенты: на (А, Стол), (4.165) переместить (D, Стол), (4.166) свободен (В), (4.167) на (D, Стол). (4.168) Итак, кубики А и D могут быть перемещены на стол, в результате чего кубики В и С окажутся свободными. После этого, используя клаузы (4.134), (4.135), (4.165) и клаузу (4.152), которая после унификации превращается в клаузу (4.169), получаем резольвенту (4.170) -1 на (А, Стол) v -i свободен (A) v -i свободен (В) v переместить (А, В), (4.169) переместить {А, В). (4.170) Наконец, воспользовавшись клаузами (4.134), (4.135), (4.165), (4.170) и клаузой (4.155), которая после унификации превращается в клаузу (4.171), получим резольвенту (4.172):