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

110 (х, у) л свободен (х) л свободен (z) л л переместить (х, z) => на (х, z), (4.140) I на (х, у) л свободен (х) л свободен (z) л переместить (х, z) => свободен (у). (4.141) Целевая формула. В соответствии с рис. 4.2 целевой будет следующая формула: на (А, В) л на (В, Стол) л на (С, Стол) л на (Д Стол). (4.142) 4.2.2. Прямой вывод Начнем с формулы (4.136), унифицируя которую получим формулы следующие формулы: на (А, С) л свободен (А) => переместить (А, Стол), (4.143) на (D, В) л свободен (D) => переместить (D, Стол). (4.144) На основании обобщенного правила модус поненс и формул (4.130), (4.134), (4.132), (4.135), (4.143), (4.144) делаем заключение о возможности выполнения действия по перемещению кубиков А и D на стол: истинны атомы переместить (А, Стол), переместить (D, Стол). Эти атомы помещаются в исходную базу знаний. Далее можно воспользоваться формулами (4.138), (4.139), унифицируя которые получим формулы