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

опровержение цели, которая должна быть достигнута; преобразование аксиом в клаузальную форму; до тех пор, пока есть разрешимые клаузы, выполнение следующих шагов: 293 12. Планирование действий нахождение пары разрешимых клауз, начиная с опровержения цели, и разрешение их; добавление результата разрешения (резольвенты) к списку клауз. если достигнута пустая клауза (Nil), то прекращение процедуры и констатация факта нахождения плана; выписывание плана в явном виде и оценка возможности его выполнения; уели разрешимых клауз нет, а пустая клауза не достигнута, то констатация, что при данном множестве аксиом цель не может быть достигнута и план не может быть построен. 12.1.5. Клаузы Для нашего примера отрицание цели будет следующим: -1 состояние (А, 2, s) v -. состояние (В, 2, s). (12.1) Начальные клаузы имеют вид