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

на (А, С) л свободен (А) л переместить (А, Стол) => на (А, Стол), (4.145) на (А, С) л свободен (А) л переместить (А, Стол) => свободен (С), (4.146) на (D, В) л свободен (D) л переместить (Д Стол) г> на (Д Стол), (4.147) на (Д В) л свободен (D) л переместить (Д Стол) => свободен (В). (4.148) В результате кубики А и D оказались на столе. Кубики С и В никуда не перемещались и, согласно начальному состоянию, остались на столе. Используя формулу (4.137), получим унифицированную формулу на (А, Стол) л свободен (А) л свободен (В) => переместить (А, В). (4.149) Наконец, воспользовавшись формулой (4.138), получим унифицированную формулу на (А, Стол) л свободен (А) А свободен (В) л переместить (А, В) => =>на (А, В). (4.150) 91 4. Вывод в логике предикатов |на(А В) л wafB, Стоп) л на(С. Стоп) л на(Р. C/nonj| Стол)л<жободен(А)лсвободен(В)лпереместить(А, В)